函数体系总览：别急着记名字，先看它怎样变化

你已经见过一次函数和二次函数。可一旦指数、对数、根式、有理函数一起出现，很多人会突然觉得：怎么像在背一张越来越长的名词表？

先别背。

把函数想成一台机器更有用：你放进去一个允许的输入，它按照固定规则，吐出唯一一个输出。不同函数族真正不同的地方，不是名字，而是这台机器怎样让输出发生变化。

• 输入每次增加同样多，输出也增加同样多，通常会想到线性函数；
• 输出的增加量本身在匀速改变，常常是二次函数留下的痕迹；
• 输出不是“加多少”，而是每一步都“乘同一个倍数”，指数函数就出现了；
• 分母、偶次根、对数真数又会划出不能进入的区域，图像也会跟着断开或停在边界处。

说白了，这一章要练的不是“见到式子就贴标签”，而是建立一套稳定的判断顺序：

$$\text{输入是否合法} \longrightarrow \text{表达式怎样组成} \longrightarrow \text{输出怎样变化} \longrightarrow \text{图像有什么特征} \longrightarrow \text{模型是否符合情境}$$

后面所有章节都会回到这条主线。

---

先把“函数”这件事说清楚

假设你把 $x$ 放进一条规则，得到 $y$。要让这条规则成为函数，至少得说清楚两件事：

1. 哪些 $x$ 允许输入，也就是定义域；
2. 每个允许的 $x$ 必须对应唯一一个 $y$。

通常写成

$$y=f(x).$$

$f(3)$ 不是“$f$ 乘 $3$”，而是“把输入换成 $3$ 后得到的输出”。例如

$$f(x)=\frac{1}{x^2+1},$$

那么

$$f(0)=1,\qquad f(1)=\frac12,\qquad f(2)=\frac15.$$

这里有个容易被忽略的点：函数不一定非得由一条公式给出。它也可以由表格、图像、分段说明，甚至一段明确的文字规则给出。只要“允许哪些输入”和“每个输入对应哪个唯一输出”是清楚的，它就可以是一条函数规则。

定义域不是附加说明

看这个式子：

$$g(x)=\frac{\sqrt{x+3}}{x-5}.$$

你可以试着代几个数，但更快的办法是先找“雷区”。

• 偶次根要求被开方数非负，所以 $x+3\ge0$，即 $x\ge-3$；
• 分母不能为 $0$，所以 $x\ne5$。

于是自然定义域是

$$[-3,5)\cup(5,+\infty).$$

这不是算完函数值以后才补的一句话。定义域本来就是函数的一部分。两个表达式即使化简后看起来一样，只要定义域不同，它们就不是完全相同的函数。

公式、表格、图像、情境是同一件事的四种说法

拿 $f(x)=2x+1$ 来说：

• 公式告诉你怎样计算；
• 表格列出若干组输入和输出；
• 图像把所有点 $(x,f(x))$ 放进坐标系；
• 情境可以说成“先收 1 元固定费用，每增加 1 个单位再收 2 元”。

四种表示各有长处。公式适合推导，表格容易看差分，图像擅长暴露整体形状，情境则告诉你定义域和参数到底有没有现实意义。真正会读函数的人，会在这四种语言之间来回翻译。

---

一张地图：各个函数族到底是什么关系

先从你熟悉的二次函数出发：

$$f(x)=ax^2+bx+c,\qquad a\ne0.$$

如果把允许的非负整数次幂继续增加，就得到多项式函数：

$$P(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0, \qquad a_n\ne0.$$

一次函数和二次函数都在这个大家族里。再把多项式放进分子、分母，就得到有理函数；把幂运算反过来读，会遇到根式函数。它们是本课程里最常见的代数函数主线。

另一边，若变量走进指数位置，例如 $2^x$，变化规则就从“幂次叠加”变成了“倍数累积”。反过来追问“底数要乘方多少次才得到这个数”，就是对数。

先看一张压缩版识别表。现在不必把每格背下来，重点看“最先检查什么”。

---

用变化方式认函数：差、二次差和倍数

假设我们只看三个函数：

$$L(x)=2x+1,\qquad Q(x)=x^2,\qquad E(x)=2^x.$$

把 $x$ 每次增加 $1$：

线性列的相邻差是

$$2,\ 2,\ 2,\ 2.$$

二次列的相邻差是

$$1,\ 3,\ 5,\ 7,$$

虽然不恒定，但再做一次差，得到

$$2,\ 2,\ 2.$$

指数列则是

$$\frac21=2,\quad \frac42=2,\quad \frac84=2,\quad \frac{16}{8}=2.$$

这就是三种最重要的变化指纹：固定差、固定二次差、固定倍数。

为什么二次函数的二次差恒定

别只记结论，我们把它算出来。令

$$f(x)=ax^2+bx+c,$$

输入每次增加固定步长 $h$。第一次差分是

$$\begin{aligned} f(x+h)-f(x) &=a(x+h)^2+b(x+h)+c-(ax^2+bx+c)\\ &=2ahx+ah^2+bh. \end{aligned}$$

它仍然含有 $x$，所以第一次差不会固定。再让 $x$ 增加一次 $h$，两次“一阶差”相减：

$$\begin{aligned} &\bigl[f(x+2h)-f(x+h)\bigr] -\bigl[f(x+h)-f(x)\bigr]\\ &=2ah^2. \end{aligned}$$

右边不再含 $x$。所以等间隔取样时，任意二次函数的二次差都是常数 $2ah^2$。当步长 $h=1$ 时，就是 $2a$。

这里有个很实用的反推：若单位步长表格的二次差是 $6$，二次项系数就是

$$a=\frac{6}{2}=3.$$

平均变化率把表格和图像接起来

从 $x=a$ 到 $x=b$，函数的平均变化率是

$$\frac{f(b)-f(a)}{b-a}.$$

它表示连接 $(a,f(a))$ 与 $(b,f(b))$ 的割线斜率。

• 线性函数在任何区间上的平均变化率都相同；
• 二次函数的平均变化率会随区间位置改变；
• 底数大于 $1$ 的指数函数，在增长方向上通常会越来越陡。

你可以试试：对 $x^2$，区间 $[0,1]$ 上的平均变化率是 $1$，区间 $[3,4]$ 上却是 $7$。同一个函数，后面明显比前面陡。

---

代数函数主线：多项式、有理式和根式

多项式：有限个幂项叠在一起

单变量多项式的标准形式是

$$P(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0.$$

$n$ 叫次数，$a_nx^n$ 叫首项。这里的指数必须是非负整数，所以

$$3x^4-2x+7$$

是多项式，而

$$x^{-1}+2,\qquad \sqrt{x}+1,\qquad 2^x+1$$

都不是多项式。

观察多项式时，先问三个问题。

1. 首项是什么？ 当 $|x|$ 很大时，低次项影响相对变小，图像远处的方向主要由首项决定。
2. 零点在哪里？ $P(x)=0$ 的解就是图像与 $x$ 轴的交点横坐标。
3. 可能转向几次？ $n$ 次多项式最多有 $n-1$ 个转向位置，也最多有 $$ 个实零点，但“最多”不等于“一定”。

例如

$$P(x)=-2x^4+3x^2-x+5.$$

当 $x\to+\infty$ 或 $x\to-\infty$ 时，首项 $-2x^4$ 都走向负无穷，所以图像左右两端都向下。中间具体怎么弯，还得继续看零点、局部高低和对称性，不能只凭次数脑补。

有理函数：一出现分母，定义域先接管全局

有理函数通常写成

$$R(x)=\frac{P(x)}{Q(x)},\qquad Q(x)\ne0,$$

其中 $P,Q$ 都是多项式。

这里最要紧的不是先约分，而是先记录原分母不能为 $0$ 的位置。看一个经典例子：

$$R(x)=\frac{x^2-1}{x-1}.$$

因式分解后，

$$R(x)=\frac{(x-1)(x+1)}{x-1}=x+1,$$

但这一步只对 $x\ne1$ 有效。原函数在 $x=1$ 没有定义，所以它的图像是直线 $y=x+1$ 挖掉点 $(1,2)$，留下一个空洞。

再看

$$H(x)=\frac{2}{x-1}+2.$$

当 $x$ 靠近 $1$ 时，分母绝对值很小，函数值的绝对值会变得很大，所以 $x=1$ 是竖直渐近线。当 $|x|$ 越来越大时，$2/(x-1)$ 越来越接近 $0$，于是图像靠近 ，它是水平渐近线。

根式函数：把幂运算倒过来读

若 $y^2=x$ 且要求 $y\ge0$，那么

$$y=\sqrt{x}=x^{1/2}.$$

更一般地，在合适的实数范围内，

$$\sqrt[n]{x}=x^{1/n}.$$

根指数的奇偶会直接改变定义域：

• $\sqrt{x}$ 只接受 $x\ge0$；
• $\sqrt[4]{x}$ 同样只接受 ；

拿到复合根式，例如

$$f(x)=\sqrt{5-2x},$$

先让被开方数非负：

$$5-2x\ge0 \quad\Longrightarrow\quad x\le\frac52.$$

图像会在 $x=5/2$ 处碰到边界，而不是继续向右延伸。

这里还有一个高频坑：

$$\sqrt{x^2}=|x|,$$

不是 $x$。因为平方根符号表示非负平方根。若 $x=-3$，左边是 $\sqrt9=3$，显然不等于 $-3$。

---

指数和对数：一个管“累积倍数”，一个追问“用了几次”

先看数列

$$2,4,8,16,32,\ldots$$

每一项都是前一项的 $2$ 倍，可以写成

$$2^1,2^2,2^3,2^4,2^5,\ldots$$

继续往回走，为了让同底数幂的规则始终成立，自然会得到

$$2^0=1,\qquad 2^{-1}=\frac12,\qquad 2^{-2}=\frac14.$$

这正是指数函数的骨架。一般形式可以写成

$$f(x)=A b^x, \qquad A\ne0,\ b>0,\ b\ne1.$$

当输入增加 $1$ 时，

$$\frac{f(x+1)}{f(x)} =\frac{Ab^{x+1}}{Ab^x} =b.$$

所以指数函数最稳定的不是差，而是倍数。

• $b>1$ 时，向右呈指数增长；
• $0<b<1$ 时，向右呈指数衰减；
• $b=1$ 时只剩常数，不再表现出指数增长或衰减，所以要排除。

对数就是指数问题的反向问法

若

$$2^3=8,$$

那么把问题倒过来，“$2$ 的几次方等于 $8$”，答案就是

$$\log_2 8=3.$$

一般地，

$$b^u=v \quad\Longleftrightarrow\quad \log_b v=u,$$

其中

$$b>0,\qquad b\ne1,\qquad v>0.$$

你可以把指数函数上的点交换横、纵坐标：

因此 $y=2^x$ 和 $y=\log_2x$ 互为反函数，图像关于直线 $y=x$ 对称。代数上则有两条互相“撤销”的关系：

$$\log_b(b^x)=x,$$

以及

$$b^{\log_b x}=x,\qquad x>0.$$

把它们和根式放在一起看，会更清楚：

• 根式函数反向追问“哪个数做 $n$ 次幂得到现在的数”；
• 对数函数反向追问“底数做多少次幂得到现在的数”。

区别就在于：根式在找底数，对数在找指数。

---

模型选择：别看曲线像什么，要问变化为什么发生

现实数据不会举着牌子告诉你“我是指数函数”。建模时最好按下面的顺序查。

下面这些情境，可以帮你形成第一反应。

两个点不够证明线性

任意两个横坐标不同的点，都能确定一条直线。可这只能说明“有一条直线穿过它们”，不能说明真实关系就是线性的。

比如一株植物在第 $1$ 天高 $10$ 厘米，第 $2$ 天高 $12$ 厘米。你不能只凭这两个点断定它以后每天都长 $2$ 厘米。多取几个等间隔数据点，检查差分是否稳定，再谈模型。

小范围像直线，不等于全局就是直线

许多曲线在很短的一段上都显得接近直线。账户余额按年增长 $6\%$，头两年增加的金额可能相差不大；时间拉长后，复利的倍数累积才会明显显现。模型选择一定要和观察范围绑在一起。

---

四个完整例子：从数据走到判断

例 1：由二次差反推出二次式

某函数表如下：

相邻一阶差是

$$-5,-1,3,7,$$

二次差是

$$4,4,4.$$

单位步长下，二次差等于 $2a$，所以

$$2a=4\quad\Longrightarrow\quad a=2.$$

设

$$f(x)=2x^2+bx+c.$$

由 $f(0)=1$ 得 $c=1$。再用 $f(1)=0$：

$$2+b+1=0 \quad\Longrightarrow\quad b=-3.$$

因此

$$f(x)=2x^2-3x+1.$$

最后别忘了复核一个没用于求系数的点：

$$f(3)=2\cdot9-3\cdot3+1=10,$$

与表格一致。

例 2：一个式子可能跨着几个熟悉的家族

判断

$$g(x)=\frac{\sqrt{x+2}}{x-3}$$

的结构和定义域。

它不是单纯的“平方根基本函数”，也不是两个多项式的商；它由根式和除法组合而成，仍在代数函数主线里。定义域要同时满足

$$x+2\ge0$$

和

$$x-3\ne0.$$

所以

$$D_g=[-2,3)\cup(3,+\infty).$$

这里有个坑：只看到根号就写 $x\ge-2$，会漏掉分母的禁区 $x=3$。

例 3：固定倍数怎样变成指数模型

某消息从第 $0$ 轮开始有 $120$ 人知道，之后数据是

$$120,180,270,405,\ldots$$

相邻比值为

$$\frac{180}{120} =\frac{270}{180} =\frac{405}{270} =1.5.$$

因此可用

$$N(n)=120(1.5)^n, \qquad n=0,1,2,\ldots$$

描述。注意定义域在情境里是非负整数，而不是任意实数。公式本身可以对实数 $n$ 计算，不代表“第 $2.7$ 轮”一定有实际意义。

例 4：对数怎样解开指数里的未知数

若

$$3\cdot2^t=96,$$

那么

$$2^t=32=2^5,$$

所以 $t=5$。

若右边换成 $50$，就没有这么整齐：

$$3\cdot2^t=50 \quad\Longrightarrow\quad 2^t=\frac{50}{3}.$$

此时对数正好回答“$2$ 的几次方等于 $50/3$”：

$$t=\log_2\frac{50}{3}.$$

这就是对数最自然的出场方式，不是凭空多出的一套符号，而是把指数位置上的未知数取出来。

---

常见误区：这里最容易“看着差不多”

误区一：图像是弯的，所以一定是二次函数

指数、对数、根式、有理函数的图像都可能弯。判断时还要看定义域、渐近线、差分或比值。只凭“像抛物线”不够。

误区二：输出一直增加，所以一定是指数增长

$x^2$ 在 $x\ge0$ 上也一直增加，$\sqrt{x}$ 也一直增加。指数增长的关键是等间隔输入下输出按近似固定倍数改变，不是单纯“越变越大”。

误区三：一阶差不固定，就立刻去看比值

二次函数的一阶差也不固定，但二次差固定。正确顺序通常是：先看一阶差，再看二次差，然后再看比值，同时确认输入间隔相等。

误区四：约分以后把原来的禁区放回来

$$\frac{(x-2)(x+5)}{x-2}=x+5$$

只在 $x\ne2$ 时成立。原函数图像在 $(2,7)$ 处有空洞。

误区五：把 $\sqrt{x^2}$ 写成 $x$

正确结果是 $|x|$。平方会抹掉正负号，平方根只能返回非负结果。

误区六：把指数函数和幂函数混为一谈

$$x^3$$

是幂函数，变量在底数；

$$3^x$$

是指数函数，变量在指数。它们的定义域、变化率和反函数都不同。

误区七：忘记对数真数必须为正

在实数范围内，

$$\log_b x$$

要求 $x>0$。所以 $\log_2 0$ 和 $\log_2(-8)$ 都没有实数意义。

---

一套可以带走的判断流程

拿到新函数或一组数据时，你可以依次问：

1. 哪些输入不合法？ 先查分母、偶次根、对数真数和情境限制。
2. 变量出现在哪里？ 是非负整数次幂、分母、根号，还是指数位置？
3. 输入等间隔吗？ 不等间隔时不要直接比较普通差分。
4. 稳定的是差、二次差、倍数还是乘积？ 这一步常能迅速缩小候选范围。
5. 图像有没有边界、空洞、渐近线、对称或转向？ 用图像核对代数结构。
6. 模型在情境里说得通吗？ 人数是否应取整数？时间能否为负？远期预测会不会离谱？

这六问比死记七个函数族更可靠。因为以后即使遇到没见过的组合函数，你仍然知道从哪里下手。

---

自检与练习

1. 函数 $f(x)=\dfrac{\sqrt{x-1}}{x-4}$ 的定义域是什么？

显示答案

1. 偶次根要求 $x-1\ge0$，分母要求 $x\ne4$，所以定义域是 $[1,4)\cup(4,+\infty)$。

学完这一章，你真正要带走的不是一排函数名字，而是一双会找“变化指纹”的眼睛：先守住定义域，再看结构；先检查差分和倍数，再用图像与情境复核。后面研究函数变换、复合与反函数，或者进入幂、根式、指数、对数、多项式和有理函数时，这张地图会一直派上用场。