第四章：指数函数与对数函数

人教版（2019 新课标）高中数学必修第一册
这是高一上学期最"硬核"的一章——运算规则多、公式多、图像对比多。但本质只有一条：对数和指数互为逆运算，掌握了这条主线，所有公式都能自己推。

4.1 指数与指数幂的运算

$n$ 次方根

若 $x^n = a$，则 $x$ 叫做 $a$ 的 $n$ 次方根（$n > 1$ 且 $n \in \mathbb{N}^*$）。

$n$ 为奇数：$a$ 的 $n$ 次方根只有一个，记作 $\sqrt[n]{a}$
$n$ 为偶数：正数 $a$ 的 $n$ 次方根有两个，互为相反数，记作 $\pm\sqrt[n]{a}$；负数没有偶次方根
0 的任何次方根都是 0

分数指数幂

$$a^{\frac{m}{n}} = \sqrt[n]{a^m} \quad (a > 0, m,n \in \mathbb{N}^*, n > 1)$$

$$a^{-\frac{m}{n}} = \frac{1}{a^{\frac{m}{n}}} = \frac{1}{\sqrt[n]{a^m}}$$

指数幂的运算性质（$a > 0, b > 0, r,s \in \mathbb{R}$）

$a^r \cdot a^s = a^{r+s}$（同底数乘法 = 指数相加）
$(a^r)^s = a^{rs}$（幂的乘方 = 指数相乘）
$(ab)^r = a^r \cdot b^r$（积的乘方 = 分别乘方再相乘）

⚠️ 常见错误

$a^r + a^s$ 不能合并为 $a^{r+s}$！加法没有指数的运算法则。
$(a+b)^r \neq a^r + b^r$，这和初中学的完全平方公式是同一类错误。
$0^0$ 没有意义，考试看到 $0^0$ 直接写"无意义"。

4.2 指数函数 $y = a^x$

定义与图像

一般地，函数 $y = a^x$（$a > 0$ 且 $a \neq 1$）叫做指数函数，定义域为 $\mathbb{R}$。

图像特征（必须牢牢记住两幅图）：

特征	$a > 1$	$0 < a < 1$
图像趋势	从左到右急剧上升	从左到右急剧下降
过定点	$(0, 1)$	$(0, 1)$
值域	$(0, +\infty)$	$(0, +\infty)$
$x$ 轴	渐近线（永不相交）	渐近线（永不相交）
$x \to +\infty$	$y \to +\infty$	$y \to 0$
$x \to -\infty$	$y \to 0$	$y \to +\infty$

一句话：$a>1$ 时爆炸式增长，$0<a<1$ 时断崖式下降，两者都不过 $x$ 轴，都过 $(0,1)$。

指数函数的性质

定义域：$\mathbb{R}$；值域：$(0, +\infty)$——函数值永远为正
恒过定点：$(0, 1)$，因为 $a^0 = 1$
单调性：$a>1$ 时在 $\mathbb{R}$ 上单调递增；$0
非奇非偶：指数函数没有奇偶性

指数函数图像的应用

比较大小的核心思路：化同底或化同指。

例：比较 $1.7^{2.5}$ 和 $1.7^{3}$。

解：底数相同（$1.7 > 1$），指数越大值越大，所以 $1.7^{2.5} < 1.7^{3}$。

4.3 对数与对数运算

对数的定义

若 $a^b = N$（$a > 0, a \neq 1$），则 $b$ 叫做以 $a$ 为底 $N$ 的对数，记作：

$$\log_a N = b$$

其中 $a$ 叫底数，$N$ 叫真数。

核心理解：对数就是"指数反过来问"——$a$ 的多少次方等于 $N$？答案就是 $\log_a N$。

两个特殊对数

$\log_a 1 = 0$（因为 $a^0 = 1$）
$\log_a a = 1$（因为 $a^1 = a$）

常用对数与自然对数

常用对数：以 10 为底，记作 $\lg N$
自然对数：以 $e \approx 2.71828\cdots$ 为底，记作 $\ln N$

对数的运算性质

设 $a > 0, a \neq 1, M > 0, N > 0$：

公式	一句话
$\log_a(MN) = \log_a M + \log_a N$	积的对数 = 对数之和
$\log_a\frac{M}{N} = \log_a M - \log_a N$	商的对数 = 对数之差
$\log_a M^n = n\log_a M$	幂的对数 = 指数拉下来

换底公式（超级重要）

$$\log_a b = \frac{\log_c b}{\log_c a}$$

推论：
- $\log_a b \cdot \log_b a = 1$（即 $\log_a b = \frac{1}{\log_b a}$）
- $\log_{a^n} b^m = \frac{m}{n}\log_a b$

换底公式的妙用：把不同底的对数统一成相同的底（通常换成 10 或 $e$），然后就能用计算器算了。在证明题中，换底公式也经常用来消去对数。

4.4 对数函数 $y = \log_a x$

定义与图像

函数 $y = \log_a x$（$a > 0$ 且 $a \neq 1$）叫做对数函数，定义域为 $(0, +\infty)$。

特征	$a > 1$	$0 < a < 1$
图像趋势	从左到右缓慢上升	从左到右缓慢下降
过定点	$(1, 0)$	$(1, 0)$
值域	$\mathbb{R}$	$\mathbb{R}$
$y$ 轴	渐近线	渐近线

一句话：$a>1$ 时缓慢增长，$0<a<1$ 时缓慢下降，两者都不过 $y$ 轴，都过 $(1,0)$。

对数函数 vs 指数函数

$y = \log_a x$ 和 $y = a^x$ 互为反函数——图像关于直线 $y = x$ 对称。

指数函数过 $(0, 1)$，对数函数过 $(1, 0)$
指数函数定义域 $\mathbb{R}$、值域 $(0, +\infty)$
对数函数定义域 $(0, +\infty)$、值域 $\mathbb{R}$（反过来）

对数不等式的解法

关键：化为同底，然后根据底数判断单调性。

解 $\log_2(x-1) < 3$

化为 $x-1 < 2^3 = 8$（因为 $y = \log_2 x$ 递增）。还要注意定义域 $x-1 > 0$。

解集：$1 < x < 9$。

⚠️ 很容易忘：对数不等于 0 不等于无意义

$\log_a 1 = 0$，不是"不存在"！很多同学看到 $\log_a 1$ 就懵了。

4.5 不同函数增长的比较

这是一个"数学建模意识"的知识点——不同函数增长速率的对比：

函数类型	$x$ 很大时的增长	例子
一次函数 $y = kx$	匀速增长	$y = 2x$
指数函数 $y = a^x (a>1)$	爆炸式增长	$y = 2^x$
对数函数 $y = \log_a x$	极其缓慢增长	$y = \log_2 x$
幂函数 $y = x^\alpha$	介于指数和对数之间	$y = x^2$

结论：当 $x$ 充分大时，$a^x \gg x^\alpha \gg \log_a x$。指数增长最终碾压一切。

4.6 函数的零点与方程的解

函数的零点

对于函数 $y = f(x)$，使 $f(x) = 0$ 的实数 $x$ 叫做函数的零点。

注意：零点是一个数（$x$ 的值），不是一个点！说"零点是 $(2,0)$"是错的，应该说"零点是 $2$"。

零点存在定理

若 $f(x)$ 在 $[a, b]$ 上连续，且 $f(a) \cdot f(b) < 0$（端点函数值异号），则 $f(x)$ 在 $(a, b)$ 内至少有一个零点。

注意：这只能保证"至少一个"，不能确定"恰好一个"。且函数必须连续。

二分法

不断取中点缩小区间，逼近零点的方法叫二分法。每次迭代区间长度减半，用于求方程的近似解。

📝 经典例题

例 1：对数换底

计算 $\log_2 3 \cdot \log_3 4 \cdot \log_4 5 \cdot \log_5 8$

解：用换底公式统一为 $\ln$：
$$\frac{\ln 3}{\ln 2} \cdot \frac{\ln 4}{\ln 3} \cdot \frac{\ln 5}{\ln 4} \cdot \frac{\ln 8}{\ln 5} = \frac{\ln 8}{\ln 2} = \log_2 8 = 3$$

例 2：比较大小

比较 $a = \log_2 3$，$b = \log_3 2$，$c = \log_{\frac{1}{2}} 3$ 的大小。

解：$a = \log_2 3 > \log_2 2 = 1$，所以 $a > 1$。

$b = \log_3 2 < \log_3 3 = 1$，且 $b > 0$，所以 $0 < b < 1$。

$c = \log_{\frac{1}{2}} 3$：底数 $< 1$，递减，$3 > 1$，所以 $c < \log_{\frac{1}{2}} 1 = 0$。

综上：$a > b > c$。

例 3：指数方程

解方程 $4^x - 2^{x+1} - 3 = 0$

解：令 $t = 2^x$（$t > 0$），则 $4^x = (2^x)^2 = t^2$。

方程变为 $t^2 - 2t - 3 = 0$，得 $(t-3)(t+1) = 0$。

$t = 3$ 或 $t = -1$（舍去，$t > 0$）。

$2^x = 3 \implies x = \log_2 3$。

🔑 本章小结

知识点	核心	易错
指数运算	$a^r \cdot a^s = a^{r+s}$，$(a^r)^s = a^{rs}$	加减法不能合并指数！
指数函数	恒过 $(0,1)$，$a>1$ 增 / $0	图像永远不会碰到 $x$ 轴
对数定义	$\log_a N = b \iff a^b = N$	真数必须 $> 0$！
对数运算	积→和，商→差，幂→拉下来	换底公式 $\log_a b = \frac{\log_c b}{\log_c a}$
对数函数	恒过 $(1,0)$，过 $(a,1)$	定义域 $(0, +\infty)$，解不等式别忘
函数零点	零点是一个数，不是一个点	零点存在定理只给"至少一个"