# AP 预备微积分 反函数

> AP 预备微积分 · 第2单元：指数与对数函数
> 来源: https://www.owlsprep.com/zh/study/ap-precalculus-u2-inverse-functions/

本指南涵盖反函数存在性、代数求反、图像对称、复合验证和定义域限制，符合AP预备微积分第2单元备考的学习目标。

**先修:** 代数函数的定义域与值域; 函数的复合; 函数的竖直线检验法

## 学习目标

- 解释反函数存在的条件
- 用代数方法求反函数并通过复合验证
- 识别反函数的图像性质
- 不需要求出完整反函数即可计算反函数的单个值
- 对非一一映射函数限制定义域使其成为可逆函数

## 定义与核心性质

反函数反转原可逆函数的输入输出映射关系。如果原函数$f$将输入$x$映射为输出$y = f(x)$，那么反函数$f^{-1}$将输入$y$映射为输出$x = f^{-1}(y)$。

**反函数** — 反转原可逆函数映射关系的函数，满足核心复合恒等式：$f(f^{-1}(y)) = y$ 和 $f^{-1}(f(x)) = x$。

*记法:* $f^{-1}$

*例:* 若 $f(x) = 2x$，则 $f^{-1}(x) = \frac{x}{2}$，因为 $f(f^{-1}(5)) = f(2.5) = 5$。

> **warning**
>
> 一个常见的关键误区：$f^{-1}$ **绝不表示** $\frac{1}{f(x)}$。这里的指数$-1$表示函数求反，不是倒数。

反函数是AP预备微积分的基础内容，约占考试分值的6-8%，是定义对数的基础，而对数是第2单元的核心内容。

## 反函数的存在性与水平线检验法

反函数仅当原函数在定义域内是一一映射（单射）时才存在。根据定义：若对任意$f(a) = f(b)$都有$a = b$，则函数是一一映射，即两个不同输入不会产生同一个输出。

判断是否为一一映射最简单的图像方法是**水平线检验法**：若没有任何一条水平线与函数图像相交超过一次，则函数通过检验。若存在水平线相交多次，则函数在整个定义域内不可逆。

许多常见函数（如二次函数）在整个定义域内不是一一映射，但我们可以将定义域限制在函数严格单调（始终递增或始终递减）的区间内，这就能保证函数成为一一映射且可逆。

**例题:** 判断$f(x) = 3x^3 - 6$在整个定义域$\mathbb{R}$上是否存在反函数，若不存在请解释原因。

1. 应用代数一一映射检验：令$f(a) = f(b)$

   $$3a^3 - 6 = 3b^3 - 6$$
2. 化简方程：两边加6后除以3

   $$a^3 = b^3 \implies a = b$$
3. 用水平线检验法验证：$f(x)$是严格递增的三次函数，因此每条水平线仅与它相交一次。
4. 结论：$f$在$\mathbb{R}$上是一一映射，因此在整个定义域上存在反函数。

> **考试提示:** 在要求从一组图像中识别可逆函数的选择题中，对每个图像画2-3条测试水平线即可快速检查是否有多个交点——不要仅靠记忆函数形状判断。

## 代数求反与复合验证

确认函数可逆（或将其限制在可逆定义域内）后，我们可以用标准四步法代数求反：

1. 将$f(x)$替换为$y$
2. 交换$x$和$y$的位置（对应$f$和$f^{-1}$之间定义域和值域的交换）
3. 解关于$y$的新方程
4. 将$y$替换为$f^{-1}(x)$，并令$f^{-1}$的定义域等于原函数$f$的值域。

根据定义，任何有效反函数都必须同时满足两个复合恒等式：$f(f^{-1}(x)) = x$ 和 $f^{-1}(f(x)) = x$。检验这两个恒等式是确认代数计算正确的最可靠方法。

**例题:** 求$x > 4$时$f(x) = \frac{3x + 2}{x - 4}$的反函数，并验证结果。

1. 步骤1：将$f(x)$替换为$y$

   $$y = \frac{3x + 2}{x - 4}$$
2. 步骤2：交换$x$和$y$

   $$x = \frac{3y + 2}{y - 4}$$
3. 步骤3：整理项后解出$y$

   $$x(y-4) = 3y + 2 \\ xy - 4x = 3y + 2 \\ xy - 3y = 4x + 2 \\ y(x-3) = 4x + 2 \\ y = \frac{4x + 2}{x - 3}$$
4. 步骤4：确定$f^{-1}$的定义域：$x>4$时$f(x)$的值域是$y \neq 3$，因此

   $$f^{-1}(x) = \frac{4x + 2}{x - 3}, \quad x > 3$$
5. 验证复合恒等式$f(f^{-1}(x)) = x$

   $$f(f^{-1}(x)) = \frac{3\left(\frac{4x+2}{x-3}\right) + 2}{\left(\frac{4x+2}{x-3}\right) - 4} = \frac{14x}{14} = x$$
6. 恒等式成立，因此反函数正确。

> **考试提示:** 在自由作答题中，务必至少用一个复合恒等式验证你的反函数才能拿到满分，永远不要忘记写出反函数的定义域，使其匹配原函数的值域。

## 反函数的图像性质

$y = f^{-1}(x)$的图像是$y = f(x)$的图像关于直线$y = x$的对称图形，这对应了求反函数时交换$x$和$y$的代数步骤。

- $f$图像上的点$(a,b)$对应$f^{-1}$图像上的点$(b,a)$，因此若已知$f(a) = b$，我们可以直接得到$f^{-1}(b)$。
- 若$f$严格递增，则$f^{-1}$也严格递增；若$f$严格递减，则$f^{-1}$也严格递减。
- 在AP预备微积分范围内，$f$和$f^{-1}$几乎所有交点都在直线$y=x$上。

**例题:** 可逆函数$f(x)$的图像经过点$(-3, 0)$、$(0, 5)$、$(2, -1)$和$(4, 2)$，求$f^{-1}(2)$的值。

1. 根据对称性质，当且仅当$f(a) = k$时，$f^{-1}(k) = a$。
2. 我们需要求$f^{-1}(2)$，因此寻找满足$f(a) = 2$的输入$a$。
3. 从给定点可知$f(4) = 2$，因此$a = 4$。
4. 结论：$f^{-1}(2) = 4$。

> **考试提示:** 如果题目只要求$f^{-1}(k)$的单个值，不要浪费时间计算整个反函数。只需解方程$f(x) = k$求$x$，解就是答案。

## AP风格练习题详解

**例题:** 若$f(x) = 4 - 3x^3$可逆，则$f^{-1}(-20)$等于多少？

A) $-2$
B) $2$
C) $\frac{1}{2}$
D) $-\frac{16}{3}$

1. 利用反函数性质：$f^{-1}(k)$是方程$f(x) = k$的解，因此我们不需要求出整个反函数。令$f(x) = -20$

   $$4 - 3x^3 = -20$$
2. 化简并解出$x$

   $$-3x^3 = -24 \\ x^3 = 8 \\ x = 2$$
3. 因为$f(2) = -20$，所以$f^{-1}(-20) = 2$，正确答案是B。

**例题:** 设$f(x) = x^2 + 6x + 10$，定义域限制为$x \geq -3$。

(a) 解释为什么$f(x)$在该定义域上可逆。
(b) 求$f^{-1}(x)$并写出$f^{-1}$的定义域。
(c) 用复合恒等式$f(f^{-1}(x)) = x$验证你的反函数。

1. 问题(a)：配方法改写

   $$f(x) = (x+3)^2 + 1$$
2. 当$x \geq -3$时，$f(x)$严格递增，因此是一一映射，通过水平线检验，是可逆函数。
3. 问题(b)：求反函数：令$y = (x+3)^2 + 1$，交换$x$和$y$

   $$x = (y+3)^2 + 1$$
4. 整理并解出$y$。$f^{-1}$的值域等于$f$的定义域，因此$y \geq -3$，我们取正根

   $$(y+3)^2 = x - 1 \\ f^{-1}(x) = \sqrt{x - 1} - 3$$
5. 原函数$f(x)$的值域是$[1, \infty)$，因此$f^{-1}(x)$的定义域是$[1, \infty)$。
6. 问题(c)：验证复合恒等式

   $$f(f^{-1}(x)) = \left(\sqrt{x-1}\right)^2 + 1 = (x-1) + 1 = x$$
7. 恒等式成立，因此反函数正确。

## 常见错误

- **错误做法:** 题目要求$f(x)$的反函数时，错误写成$f^{-1}(x) = \frac{1}{f(x)}$
  - 原因: 学生将反函数符号$f^{-1}$和倒数的指数符号混淆，后者中$x^{-1} = 1/x$
  - 正确做法: 记住$f^{-1}$专门表示反转$f$映射的反函数，不是倒数，通过复合恒等式验证即可避免这个错误。
- **错误做法:** 对非一一映射函数求反前忘记限制原函数的定义域，且忘记让反函数的定义域匹配原函数的值域
  - 原因: 学生只关注代数求反步骤，跳过定义域/值域检查，而这些步骤在自由作答题中是拿满分必需的
  - 正确做法: 求反后，始终令$\text{dom}(f^{-1}) = \text{range}(f)$，其中$f$是已限制定义域的原函数。
- **错误做法:** 为得到$f^{-1}(x)$，错误地将$f(x)$的图像关于x轴（$y=0$）对称，而非关于$y=x$对称
  - 原因: 学生混淆不同函数变换的对称规则，将反函数的对称和竖直对称搞混
  - 正确做法: 记住交换$x$和$y$会将$(a,b)$映射为$(b,a)$，这只有关于$y=x$对称时才会发生，其他直线都不行。
- **错误做法:** 求$x \geq 0$时$f(x) = x^2$的反函数，错误写成$f^{-1}(x) = \pm \sqrt{x}$
  - 原因: 学生记得平方有两个平方根，但忘记原函数限制在非负输入，因此反函数必须有非负输出
  - 正确做法: $f^{-1}$的值域等于$f$的定义域，因此我们只取非负根，得到$x \geq 0$时$f^{-1}(x) = \sqrt{x}$。
- **错误做法:** 验证反函数时只检查一个复合恒等式就停止，即使对非一一映射函数也是如此
  - 原因: 学生认为如果一个复合成立，另一个必然成立，但即使反函数定义错误，在受限定义域上一个复合也可能等于$x$
  - 正确做法: 在整个定义域上检查两个复合恒等式，才能确认反函数正确。

## 速查表

| 类别 | 公式 / 规则 | 备注 |
| --- | --- | --- |
| 反函数核心恒等式 | $f^{-1}(f(x)) = x$ <br> $f(f^{-1}(x)) = x$ | 对内层函数定义域内的所有$x$都成立 |
| 定义域-值域交换 | $\text{dom}(f^{-1}) = \text{range}(f)$ <br> $\text{range}(f^{-1}) = \text{dom}(f)$ | 代数求出反函数后必须应用此规则 |
| 水平线检验法 | 判断可逆性的图像检验 | 若存在水平线与$f(x)$相交超过一次，则$f$在整个定义域上不可逆 |
| 代数求反步骤 | 1. 替换$f(x)$为$y$ <br> 2. 交换$x$和$y$ <br> 3. 解出$y$ <br> 4. 替换$y$为$f^{-1}(x)$ | 代数函数的标准方法 |
| 图像性质 | $f^{-1}(x)$的图像 = $f(x)$关于$y=x$的对称图形 | 将$f$上的$(a,b)$映射为$f^{-1}$上的$(b,a)$ |
| 求反函数单个值 | $f^{-1}(k) = x \iff f(x) = k$ | 不需要求出整个反函数即可得到单个值 |
| 单调函数规则 | 所有严格递增/递减函数都是可逆的 | 无需水平线检验即可确认可逆性 |

## 下一步

反函数是第2单元下一个核心主题——对数的基础先修内容。根据定义，对数是指数函数的反函数，因此对数的所有核心性质都直接来自本章介绍的反函数性质。如果不掌握如何检验可逆性、求反函数、使用定义域值域交换性质，你将无法正确化简对数表达式、求解指数对数方程、或在实际场景中解释对数刻度。除了第2单元，反函数对第3单元的反三角函数，以及未来AP微积分课程中反函数的导数也至关重要。

- [反三角函数](https://www.owlsprep.com/zh/study/ap-precalculus-u3-inverse-trigonometric-functions/)
- [对数表达式](https://www.owlsprep.com/zh/study/ap-precalculus-u2-logarithmic-expressions/)
- [指数函数的反函数](https://www.owlsprep.com/zh/study/ap-precalculus-u2-inverses-of-exponential-functions/)

---

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