# 对数与指数函数

> CIE A-Level 数学 · 9709 纯数学2 和 3（§2.2 / §3.2）
> 来源: https://www.owlsprep.com/zh/study/cie-9709-u2-logarithms-and-exponential-functions/

本子主题涵盖指数函数与对数函数的核心性质、代数运算法则、互逆关系，以及混合方程的求解方法，是P3中微积分学习的关键基础。

**先修:** [指数与指数运算法则](https://www.owlsprep.com/zh/study/cie-9709-u1-indices/); [二次方程求解](https://www.owlsprep.com/zh/study/cie-9709-u1-quadratic-equations/); [函数变换](https://www.owlsprep.com/zh/study/cie-9709-u1-function-transformations/)

## 学习目标

- 利用核心法则化简对数和指数表达式
- 求解包含对数和指数的混合方程
- 识别这些函数的关键特征并绘制图像
- 应用指数与对数之间的互逆关系
- 利用对数将 $y = kx^n$ 和 $y = ka^x$ 形式的关系化为线性形式

## 真题考频

据 OwlsPrep 对官方 CIE 9709 P2 真题的聚合（2016–2025）: **对数与指数函数** 近 10 年出现 **163 次**——占 P2 全部真题的 **21.5%**（455 题中 163 题）.

最常考形式: 对数定律与方程 (80), 指数与自然对数 (60), 化为线性对数形式 (25), 指数增长与衰减模型 (4).

## 核心定义与互逆关系

**对数** — 对于$a>0, a \neq 1, b>0$，以$a$为底$b$的对数是$a$需要被提升到的幂次，以得到$b$。

*记法:* $\log_a b = x \iff a^x = b$

*例:* $2^3 = 8 \implies \log_2 8 = 3$

**自然对数** — 底数为指数常数$e \approx 2.71828$的对数。指数函数与自然对数互为逆函数，因此对于$x>0$，有$e^{\ln x} = x$且$\ln(e^x) = x$。

*记法:* $\ln x = \log_e x$

*例:* $\ln e^5 = 5$

**例题:** 将$e^{2x} = 7$转换为对数形式，将$\log_3 (4y - 2) = 2$转换为指数形式。

1. 对于第一个方程，底数为$e$，根据自然对数的定义：
2. $$\ln 7 = 2x$$
3. 对于第二个方程，底数为$3$，右侧是幂次，因此根据定义：
4. $$3^2 = 4y - 2 \implies 9 = 4y - 2$$

> **考试提示:** 永远记住定义域要求：任何对数的真数必须始终为正。

## 对数运算法则

所有对数都遵循由指数法则直接推导而来的代数运算法则，这些法则可以让你化简复杂表达式，将多个对数项合并为一个。

- 乘积法则: $\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^n) = n \log_a x$
- 恒等式: $\log_a a = 1$, $a^{\log_a b} = b$, $\log_a 1 = 0$

> **mnemonic**
>
> 对数将乘积转化为和，幂转化为倍数。

**例题:** 将$3 \ln 2 - \frac{1}{2} \ln 36 + \ln 3$化简为单个对数。

1. 先对每一项应用幂法则：
2. $$3 \ln 2 = \ln 2^3 = \ln 8, \quad \frac{1}{2} \ln 36 = \ln 36^{1/2} = \ln 6$$
3. 代回原式：
4. $\ln 8 - \ln 6 + \ln 3$
5. 用乘积和商数法则合并项：
6. $$\ln \left(\frac{8 \times 3}{6}\right) = \ln 4 = 2 \ln 2$$

## 指数函数与对数函数的图像

由于指数函数和对数函数互为逆函数，它们的图像关于直线$y=x$对称。图像形状取决于底数大于1还是介于0和1之间。

| 函数 | 定义域 | 值域 | 渐近线 | 关键点 |
| --- | --- | --- | --- | --- |
| $y = a^x, a>1$ | $x \in \mathbb{R}$ | $y > 0$ | $y=0$ | $(0, 1)$ |
| $y = a^x, 0<a<1$ | $x \in \mathbb{R}$ | $y > 0$ | $y=0$ | $(0, 1)$ |
| $y = \log_a x, a>1$ | $x > 0$ | $y \in \mathbb{R}$ | $x=0$ | $(1, 0)$ |
| $y = \log_a x, 0<a<1$ | $x > 0$ | $y \in \mathbb{R}$ | $x=0$ | $(1, 0)$ |

**例题:** 绘制$y = 3e^{-x} + 2$的图像，标出渐近线和y轴截距。

1. 这是$y=e^x$的变换：沿y轴翻折，垂直方向拉伸为原来的3倍，向上平移2个单位。
2. $y=e^{-x}$原来的渐近线是$y=0$，因此向上平移2个单位后得到新的渐近线：
3. $$y = 2$$
4. 当$x=0$时求y轴截距：
5. $$y = 3e^{0} + 2 = 3(1) + 2 = 5$$
6. y轴截距在$(0,5)$，该函数对所有$x$单调递减，且对所有$x$都有$y>2$。

## 求解含指数和对数的方程

**考试命令词**

本主题中常见的指令术语有明确的考试要求：

- **Solve** — 找出所有有效解，记住舍去违反定义域要求的无效解 *(Solve $2\ln x = \ln(x + 6)$)*

- **Express in terms of** — 仅用给定变量重写表达式 *(Express $\log_2 (8x)$ in terms of $\log_2 x$)*

**概念自测**

继续学习前先测试你的基础知识：

1. $3^{2\log_3 4}$的值是多少？

   - 6
   - 8
   - 16
   - 12

   *解析:* 使用幂法则和互逆恒等式: $3^{\log_3 4^2} = 4^2 = 16$

**例题:** 求解$e^{2x} - 4e^x - 5 = 0$。

1. 这是关于$e^x$的二次方程。令$y = e^x$，代入得：
2. $$y^2 - 4y - 5 = 0$$
3. 对二次方程因式分解：
4. $$(y - 5)(y + 1) = 0 \implies y = 5 \text{ 或 } y = -1$$
5. 由于对所有实数$x$，$y = e^x$始终为正，因此舍去负根$y=-1$。
6. 对两边取自然对数求解$e^x = 5$：
7. $$x = \ln 5 \approx 1.61 \quad (3 \text{ 位有效数字})$$

**例题:** 求解$2\log_3 x = \log_3 (x + 12)$。

1. 对左侧应用幂法则：
2. $\log_3 x^2 = \log_3 (x + 12)$
3. 由于对数是一一对应的，相等的对数意味着真数相等：
4. $$x^2 = x + 12 \implies x^2 - x - 12 = 0$$
5. 因式分解并求解: $(x - 4)(x + 3) = 0 \implies x = 4$ 或 $x = -3$
6. 检验定义域：$\log_3 x$要求$x>0$，因此$x=-3$无效，唯一解为$x=4$。

**例题:** 求解不等式 $2^x > 5$，并说明对于 $0.6^x < 0.7$ 方法有何不同。

1. 对 $2^x > 5$ 两边取自然对数。由于 $\ln 2 > 0$，除以 $\ln 2$ 时不等号方向不变：
2. $$x\ln 2 > \ln 5 \implies x > \frac{\ln 5}{\ln 2} \approx 2.32$$
3. 对于 $0.6^x < 0.7$，取对数得 $x\ln 0.6 < \ln 0.7$。这里底数介于 0 和 1 之间，所以 $\ln 0.6 < 0$，除以它时不等号翻转：
4. $$x > \frac{\ln 0.7}{\ln 0.6}$$
5. 只要底数位于 $(0, 1)$，它的对数就是负数，因此在除以它的那一步记得把不等号反向。

## 化为线性形式

对于被认为遵循幂律 $y = kx^n$ 或指数律 $y = ka^x$ 的实验数据，可以通过对两边取对数将其转化为一条直线。一旦化为线性形式，未知常数就可以直接从直线的梯度和纵轴截距读出。

- 幂律 $y = kx^n$：取对数得 $\ln y = n\ln x + \ln k$。以 $\ln y$ 对 $\ln x$ 作图（对数-对数图），得到一条梯度为 $n$、截距为 $\ln k$ 的直线。
- 指数律 $y = ka^x$：取对数得 $\ln y = (\ln a)x + \ln k$。以 $\ln y$ 对 $x$ 作图（对数-线性图），得到一条梯度为 $\ln a$、截距为 $\ln k$ 的直线。
- 两种情形下截距都是 $\ln k$，因此 $k = e^{\text{截距}}$。对于幂律，$n$ 直接由梯度读出；对于指数律，则 $a = e^{\text{梯度}}$。

> **tip**
>
> 根据模型选择坐标轴：$x$ 的幂需要用 $\ln y$ 对 $\ln x$；常数底数的 $x$ 次幂需要用 $\ln y$ 对 $x$。截距始终给出 $\ln k$。

**例题:** 一组数据被认为满足 $y = kx^n$。以 $\ln y$ 对 $\ln x$ 作图，得到一条梯度为 $2$、纵轴截距为 $1.5$ 的直线。求 $n$ 和 $k$，并写出 $y$ 与 $x$ 的关系。

1. 对 $y = kx^n$ 取对数，得到线性形式：
2. $$\ln y = n\ln x + \ln k$$
3. 与 $\ln y = (\text{梯度})\ln x + (\text{截距})$ 比较，梯度等于 $n$：
4. $$n = 2$$
5. 截距等于 $\ln k$，因此：
6. $$\ln k = 1.5 \implies k = e^{1.5} \approx 4.48$$
7. 所以 $y \approx 4.48x^2$（3 位有效数字）。

> **考试提示:** 先看坐标轴标签：$\ln y$ 对 $\ln x$ 表示幂律 $y = kx^n$，而 $\ln y$ 对 $x$ 表示指数律 $y = ka^x$。纵轴截距始终是 $\ln k$。

## 常见错误

- **错误做法:** 解对数方程后忘记检验解
  - 原因: 对数仅对正真数有定义，因此代数解可能无效
  - 正确做法: 始终将每个解代回原方程，确认所有真数都是正数
- **错误做法:** 将$\log_a(x + y)$展开为$\log_a x + \log_a y$
  - 原因: 乘积法则仅适用于对数内部的乘积，不适用于和
  - 正确做法: 对数内部的和不能拆分为多个独立对数，只有乘积可以拆分
- **错误做法:** 将$n\log x$写为$\log(nx)$而非$\log x^n$
  - 原因: 记错了对数的幂法则
  - 正确做法: 对数的系数成为真数的指数，而非乘数
- **错误做法:** 求解关于$e^x$的二次方程时保留负根
  - 原因: $e^x$对所有实数$x$始终为正，因此不可能等于负数
  - 正确做法: 求解$e^x$时立即舍去所有负根
- **错误做法:** 混淆指数函数和对数函数的定义域与值域
  - 原因: 混淆了两种函数之间的互逆关系
  - 正确做法: 指数函数：定义域为全体实数$x$，值域为$y>0$；对数：定义域为$x>0$，值域为全体实数$y$

## 速查表

| 法则类型 | 对数法则 | 指数法则 |
| --- | --- | --- |
| 核心关系 | $a^x = b \iff x = \log_a b$ | $e^{\ln x} = x, x>0$ |
| 乘积 | $\log(xy) = \log x + \log y$ | $a^m a^n = a^{m+n}$ |
| 商数 | $\log(x/y) = \log x - \log y$ | $a^m / a^n = a^{m-n}$ |
| 幂 | $\log x^n = n \log x$ | $(a^m)^n = a^{mn}$ |
| 定义域/值域 | $y = \log_a x: x>0, y \in \mathbb{R}$ | $y = a^x: x \in \mathbb{R}, y>0$ |

## 下一步

对数和指数是CIE 纯数学2 和 3 几乎所有剩余主题的基础。接下来你将学习如何对这些函数求导和积分，这项技能在 P2 和 P3 考试中都占很大比重。你还会用这些工具求解微分方程（微分方程是P3大纲的核心组成部分，仅出现在P3中）。掌握本子主题的代数法则会让你后续所有涉及指数和对数的学习轻松很多。

- [三角学](https://www.owlsprep.com/zh/study/cie-9709-u2-trigonometry/)
- [微分求导](https://www.owlsprep.com/zh/study/cie-9709-u2-differentiation/)
- [积分](https://www.owlsprep.com/zh/study/cie-9709-u2-integration/)

---

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