# 指数函数与对数函数

> IB 数学：分析与方法 HL · IB AA HL
> 来源: https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-exponential-and-logarithmic-functions/

本模块讲解指数函数与对数函数的核心性质、图像、代数运算法则和解题方法，是IB AA HL中微积分和建模应用的基础。

**先修:** [指数与指数法则](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-indices-and-exponents/); [反函数](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-inverse-functions/)

## 学习目标

- 识别指数函数与对数函数的核心性质，包括定义域、值域和渐近线
- 运用对数运算法则化简表达式并解方程
- 绘制指数函数、对数函数及其变换后的图像
- 求解指数方程和对数方程，并识别增根

## 指数函数的定义与核心性质

**指数函数** — 底数为正常数、指数为变量的函数，对所有实数输入都有定义。

*记法:* f(x) = a^x, \quad a > 0, a \neq 1

*例:* $2^x$, $e^x$, $(\frac{1}{3})^x$

所有指数函数都有共同的核心性质：它们对所有实数 $x$ 都连续，都经过点 $(0, 1)$（因为对任意 $a \neq 0$ 都有 $a^0 = 1$），未变换的原函数在 $y=0$ 处有一条水平渐近线。若 $a>1$，函数严格递增；若 $0<a<1$，函数严格递减。

**例题:** 对于 $f(x) = 3^{(x-2)} + 1$，写出其定义域、值域和水平渐近线方程。

1. 步骤1：指数 $x-2$ 可以取任意实数值，因此水平平移不会改变指数函数的定义域。
2. $f(x)$ 的定义域是全体实数：$(-\infty, \infty)$
3. 步骤2：原指数函数 $3^{u}$（对任意实数 $u$）的值域是 $(0, \infty)$。
4. 步骤3：函数向上平移了1个单位，因此值域的下界变为 $0 + 1 = 1$，无上界。
5. 值域是 $(1, \infty)$
6. 步骤4：当 $x \to -\infty$ 时，$3^{x-2} \to 0$，因此 $f(x) \to 1$，所以水平渐近线是 $y=1$。

> **考试提示:** 求变换后指数函数的渐近线和值域时，一定要考虑垂直平移——这是常见的得分点。

## 作为反函数的对数与对数法则

**对数** — 指数函数 $a^y = x$ 的反函数，仅对正 $x$ 有定义，其中 $a>0, a \neq 1$。

*记法:* \log_a x = y

*例:* $\log_2 8 = 3$, 因为 $2^3 = 8$

作为指数函数的反函数，对数函数交换了指数函数的定义域和值域：对数函数的定义域是 $x>0$，值域是全体实数。所有核心对数法则都直接由指数法则推导而来。

- 乘积法则：$\log_a (xy) = \log_a x + \log_a y$
- 商法则：$\log_a \left(\frac{x}{y}\right) = \log_a x - \log_a y$
- 幂法则：$\log_a (x^k) = k \log_a x$
- 换底公式：$\log_a b = \frac{\log_c b}{\log_c a}$ 对任意 $c>0, c \neq 1$ 成立

> **mnemonic**
>
> 对数法则会提升运算层级：乘法变加法，除法变减法，幂变乘法。

**例题:** 将 $2 \ln 3 + \ln 4 - \ln 12$ 化简为单个对数。

1. 步骤1：对第一项应用幂法则：
2. $$2 \ln 3 = \ln 3^2 = \ln 9$$
3. 步骤2：应用乘积法则将前两项相加：
4. $$\ln 9 + \ln 4 = \ln (9 \times 4) = \ln 36$$
5. 步骤3：应用商法则减去最后一项：
6. $$\ln 36 - \ln 12 = \ln \left(\frac{36}{12}\right) = \ln 3$$

## 图像与变换

由于指数函数和对数函数互为反函数，它们的图像关于直线 $y=x$ 对称。当 $a>1$ 时（考试中最常见的情况），核心性质如下：

| 函数 | 渐近线 | 关键点 | 单调性 |
| --- | --- | --- | --- |
| $y = a^x$ | 水平 $y=0$ | $(0, 1)$ | 严格递增 |
| $y = \log_a x$ | 竖直 $x=0$ | $(1, 0)$ | 严格递增 |

变换遵循所有函数都适用的相同法则：水平平移会水平移动渐近线，垂直平移会垂直移动渐近线。描点前一定要先找到新的渐近线。

**例题:** 对于 $y = \log_2 (x+1) - 2$，写出其渐近线和截距。

1. 步骤1：从原函数 $y = \log_2 x$ 开始，它的竖直渐近线是 $x=0$。
2. 步骤2：将 $x$ 替换为 $x+1$，图像向左平移1个单位，渐近线变为 $x = -1$。
3. 步骤3：令 $x=0$ 求y截距：$y = \log_2 (0+1) - 2 = 0 - 2 = -2$，因此y截距是 $(0, -2)$。
4. 步骤4：令 $y=0$ 求x截距：
5. $$0 = \log_2(x+1) - 2 \implies \log_2(x+1) = 2 \implies x+1 = 2^2 = 4 \implies x=3$$
6. 因此x截距是 $(3, 0)$。

> **考试提示:** 平移后的渐近线几乎总是这类函数绘图题的必填得分点。

## 求解指数方程与对数方程

对于底数无法统一的指数方程，对两边取对数将指数降下来。对于对数方程，用法则将所有项合并为单个对数，再转换为指数形式。一定要检查是否存在超出原函数定义域的增根。

> **warning**
>
> 任何使对数真数为负或零的解都是无效的，即使它来自正确的代数运算。

**例题:** 求解方程 $2e^{2x} - 5e^x + 2 = 0$ 的 $x$。

1. 步骤1：识别出这是关于 $e^x$ 的二次方程。令 $u = e^x$，代入得：
2. $$2u^2 - 5u + 2 = 0$$
3. 步骤2：对二次方程因式分解：
4. $$(2u - 1)(u - 2) = 0 \implies u = \frac{1}{2} \text{ or } u = 2$$
5. 步骤3：回代 $u = e^x$，对两边取自然对数：
6. $$e^x = \frac{1}{2} \implies x = \ln \left(\frac{1}{2}\right) = -\ln 2$$
7. $$e^x = 2 \implies x = \ln 2$$
8. 步骤4：检验：$e^x$ 始终为正，因此两个解都有效。最终解为 $x = \pm \ln 2$。

*计算器:* allowed for checking only

## 常见错误

- **错误做法:** 认为 $\log_a(x + y) = \log_a x + \log_a y$
  - 原因: 学生混淆了对数乘积法则，该法则适用于真数的乘积，而非对数内部的和。
  - 正确做法: 记住 $\log_a(xy) = \log_a x + \log_a y$，该法则不适用于 $\log_a(x+y)$。
- **错误做法:** 求解对数方程时忘记检验增根
  - 原因: 代数运算可能会得到超出原对数函数定义域的解。
  - 正确做法: 将所有候选解代回原方程，确认所有对数的真数都是正数。
- **错误做法:** 认为 $a^x$ 的定义域是 $x \geq 0$
  - 原因: 将指数函数（指数为变量）和幂函数（底数为变量）混淆，幂函数通常定义域受限。
  - 正确做法: 任意指数函数 $a^x$（$a>0$）的定义域都是全体实数 $(-\infty, \infty)$。
- **错误做法:** 忽略 $e^{\ln x} = x$ 仅在 $x>0$ 时成立
  - 原因: 学生认为逆关系对所有输入都成立，但逆函数仅对内函数定义域内的输入有定义。
  - 正确做法: 处理 $e^{\ln x}$ 或 $\log_a(a^x)$ 时，任何 $x \leq 0$ 的解都是自动无效的。

## 速查表

| 性质 | 指数函数 $a^x$, $a>1$ | 对数函数 $\log_a x$, $a>1$ |
| --- | --- | --- |
| 定义域 | $(-\infty, \infty)$ | $x > 0$ |
| 值域 | $y > 0$ | $(-\infty, \infty)$ |
| 渐近线 | 水平: $y=0$ | 竖直: $x=0$ |
| 关键点 | $(0, 1)$ | $(1, 0)$ |
| 单调性 | 严格递增 | 严格递增 |
| 乘积法则 | $a^m a^n = a^{m+n}$ | $\log_a(xy) = \log_a x + \log_a y$ |
| 商法则 | $a^m/a^n = a^{m-n}$ | $\log_a(x/y) = \log_a x - \log_a y$ |
| 幂法则 | $(a^m)^n = a^{mn}$ | $\log_a x^k = k \log_a x$ |
| 逆关系 | $a^{\log_a x} = x \ (x>0)$ | $\log_a(a^x) = x \ (\forall x)$ |

## 下一步

指数函数与对数函数是IB AA HL几乎所有后续主题的基础。它们对微积分至关重要，后续你将学习这些函数的求导和积分；它们也是对现实世界现象（如人口增长、放射性衰变、复利）建模的核心工具。它们还经常出现在微分方程中，这是Paper 3的核心主题。现在掌握它们的性质和代数运算，将为课程后续更高级的主题带来很大帮助。

- [基础三角函数](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-basic-trigonometric-functions/)
- [反三角函数（仅HL）](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-inverse-trigonometric-functions/)
- [三角恒等式](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-trigonometric-identities/)

---

来自 [OwlsPrep](https://www.owlsprep.com) —— A-Level / IB / AP / IGCSE 免费学习指南，依据官方考纲编写。原页面：https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-exponential-and-logarithmic-functions/