# 指数函数的反函数

> AP 预备微积分 · 指数函数与对数函数
> 来源: https://www.owlsprep.com/zh/study/ap-precalculus-u2-inverses-of-exponential-functions/

本模块为AP预备微积分考试备考内容，涵盖指数函数的一一性验证、反函数（即对数）的定义、变换后指数函数反函数的求解，以及反函数的图像性质。

**先修:** 一一函数的判定方法（水平线检验、代数检验）; 反函数的核心性质（定义域与值域互换、关于$y=x$对称）; 指数表达式的基本代数运算

## 学习目标

- 验证指数函数是否为一一函数并存在有效反函数
- 求变换后指数函数的反函数并写出其定义域
- 识别指数函数反函数的图像性质
- 将指数函数反函数应用于实际情境建模

## 指数函数的一一性

一个函数要存在有效的反函数，必须是一一函数：即对任意$x_1 \neq x_2$，都有$f(x_1) \neq f(x_2)$，这意味着函数通过水平线检验。对于形式为$f(x) = b^{kx + c}$（其中$b>0, b \neq 1$且$k \neq 0$）的指数函数，都满足一一性。唯一的例外是指数为非线性的指数函数（例如$f(x)=2^{x^2}$），这类函数中$x$和$-x$会得到相同输出，因此不是一一函数。

**一一函数** — 对所有不同输入都输出不同结果的函数。只有一一函数存在同样为函数的反函数。

*例:* $f(x)=5^{3-2x}$是一一函数；$f(x)=2^{x^2}$不是。

**例题:** 判断$f(x) = 5^{3-2x}$在整个定义域$\mathbb{R}$上是否存在有效反函数，并证明你的结论。

1. 从代数一一性检验开始：假设$f(x_1) = f(x_2)$

   $$5^{3-2x_1} = 5^{3-2x_2}$$
2. 对两边取自然对数

   $$\ln\left(5^{3-2x_1}\right) = \ln\left(5^{3-2x_2}\right)$$
3. 应用对数幂法则

   $$(3-2x_1)\ln 5 = (3-2x_2)\ln 5$$
4. 因为$5>0$且$5 \neq 1$，所以$\ln 5 \neq 0$，因此两边同时除以$\ln 5$

   $$3-2x_1 = 3-2x_2$$
5. 化简得到

   $$x_1 = x_2$$
6. 结论：因为$f(x_1) = f(x_2)$可推出$x_1 = x_2$，因此$f(x)$在$\mathbb{R}$上是一一函数，在整个定义域上存在有效反函数。

> **考试提示:** 如果在自由作答题（FRQ）中被要求证明函数的一一性，必须对图像使用水平线检验，或使用上文展示的代数检验；仅陈述'指数函数都是一一函数'而不给出证明无法获得满分。

## 求变换后指数函数的反函数

确认指数函数是一一函数后，我们可以用标准步骤求反函数：交换$x$和$y$，然后解出$y$。根据定义，$f(x) = b^x$的反函数是$f^{-1}(x) = \log_b x$，即对数函数。对于形式为$y = a \cdot b^{kx + c} + d$的变换后指数函数，我们遵循相同步骤可得到变换后的对数反函数。对任意反函数，原函数的定义域就是反函数的值域，原函数的值域就是反函数的定义域。

**指数函数的反函数** — 反转一一指数函数映射关系的对数函数。若$y = b^x$，根据定义$y = \log_b x$就是其反函数。

*记法:* $f^{-1}(x)$

*例:* $y = 2^x$的反函数是$y = \log_2 x$

**例题:** 求$f(x) = 3 \cdot 2^{4x - 1} + 2$的反函数，写出反函数的定义域，并利用反函数恒等式$f(f^{-1}(x)) = x$验证结果。

1. 写出$y = 3 \cdot 2^{4x - 1} + 2$，然后交换$x$和$y$

   $$x = 3 \cdot 2^{4y - 1} + 2$$
2. 分离指数项：减去2，再除以3

   $$\frac{x - 2}{3} = 2^{4y - 1}$$
3. 从指数形式转化为对数形式

   $$\log_2\left(\frac{x - 2}{3}\right) = 4y - 1$$
4. 解出$y$得到反函数

   $$y = \frac{1}{4}\left(\log_2\left(\frac{x - 2}{3}\right) + 1\right) = f^{-1}(x)$$
5. 求定义域：原函数$f(x)$的值域是$(2, \infty)$，因此$f^{-1}(x)$的定义域是$(2, \infty)$
6. 验证反函数恒等式

   $$f(f^{-1}(x)) = 3 \cdot 2^{4\left(\frac{1}{4}\left(\log_2\left(\frac{x-2}{3}\right)+1\right)\right) - 1} + 2 = 3 \cdot 2^{\log_2\left(\frac{x-2}{3}\right)} + 2 = (x-2) + 2 = x$$
7. 这证明我们求得的反函数是正确的。

> **考试提示:** 在自由作答题（FRQ）中必须写出反函数的定义域；AP阅卷官通常会对遗漏反函数定义域限制的答案扣分。

## 指数函数反函数的图像性质

所有反函数的图像都是原函数图像关于直线$y=x$的对称图形。这个性质让我们不需要求出反函数的完整表达式，就能快速识别反函数的关键点、截距、渐近线和端点行为。关于$y=x$作反射会交换所有关键点的坐标、交换定义域和值域，并将水平渐近线变为垂直渐近线。例如，$y = b^x$的y截距在$(0,1)$，水平渐近线为$y=0$，因此其反函数$y = \log_b x$的x截距在$(1,0)$，垂直渐近线为$x=0$。

**例题:** 原函数$f(x) = 4^{x+2} - 3$的水平渐近线为$y = -3$，且经过点$(-1, 1)$。不求反函数的表达式，写出$f^{-1}(x)$图像的渐近线和一个经过的点。

1. 记住原函数$f$上所有点$(a, f(a))$对应反函数$f^{-1}(x)$上的点$(f(a), a)$
2. 交换给定点的坐标得到$f^{-1}$上的点

   $$(1, -1)$$
3. 渐近线类型互换：原函数的水平渐近线$y=k$会变为反函数的垂直渐近线$x=k$
4. 转换原渐近线得到反函数的渐近线：$x=-3$
5. 最终结果：$f^{-1}(x)$的垂直渐近线为$x=-3$，且经过点$(1, -1)$

> **考试提示:** 如果被要求画出指数函数反函数的图像，先标出2-3个经过反射的关键点和变换后的渐近线，再绘制曲线；这可以避免端点行为出错。

## AP风格例题讲解

**例题:** 以下哪个选项正确给出了$f(x) = 4e^{2x} - 7$的反函数，并正确说明了反函数的定义域？

A) $f^{-1}(x) = \frac{1}{2}\ln\left(\frac{x + 7}{4}\right)$, domain $(-7, \infty)$
B) $f^{-1}(x) = \ln\left(\frac{x + 7}{2}\right)$, domain $(-7, \infty)$
C) $f^{-1}(x) = \frac{1}{2}\ln\left(\frac{x - 7}{4}\right)$, domain $(7, \infty)$
D) $f^{-1}(x) = 2\ln\left(\frac{x + 7}{4}\right)$, domain $(-\infty, \infty)$

1. 令$y = 4e^{2x} - 7$，交换$x$和$y$

   $$x = 4e^{2y} - 7$$
2. 分离指数项

   $$\frac{x + 7}{4} = e^{2y}$$
3. 对两边取自然对数，解出$y$

   $$\ln\left(\frac{x + 7}{4}\right) = 2y \implies y = \frac{1}{2}\ln\left(\frac{x + 7}{4}\right)$$
4. 原函数$f(x)$的值域是$(-7, \infty)$，因此反函数的定义域是$(-7, \infty)$，对应选项A。

**例题:** 保护生物学家将狼群数量建模为$P(t) = 8 \cdot 2^{0.25t}$，其中$t$是重新引入后的时间（单位：年）。求以种群数量为自变量、时间为因变量的反函数，并计算种群数量达到64头需要多少年。

1. 从原模型开始，用$P$表示$t$并求解

   $$P = 8 \cdot 2^{0.25t}$$
2. 分离指数项

   $$\frac{P}{8} = 2^{0.25t}$$
3. 转化为对数形式

   $$\log_2\left(\frac{P}{8}\right) = 0.25t$$
4. 解出$t$得到反函数

   $$t(P) = 4 \log_2\left(\frac{P}{8}\right)$$
5. 代入$P=64$计算时间

   $$t(64) = 4 \log_2\left(\frac{64}{8}\right) = 4 \log_2(8) = 4(3) = 12$$
6. 结论：狼群重新引入后需要12年才能增长到64头。

## 常见错误

- **错误做法:** 认为所有带指数项的函数都是一一函数，例如声称$f(x) = 3^{x^2}$在全体实数上存在反函数。
  - 原因: 学生泛化了'所有指数函数都是一一函数'的结论，但忘记这仅适用于指数为线性的指数函数，这类函数才对所有输入输出唯一结果。
  - 正确做法: 对于指数为非线性的指数函数，始终要通过检验是否存在$x_1 \neq x_2$使得$f(x_1) = f(x_2)$来判断是否为一一函数。
- **错误做法:** 求解$y = 2b^{kx + c} + d$的反函数时，错误整理为$x - 2 = b^{kx + c} - d$，没有正确分离指数项。
  - 原因: 学生急于分离指数项，错误地减去首项系数而不是除以它。
  - 正确做法: 始终分步分离指数项：先对常数项做加减，再对首项系数做乘除，让指数项单独留在等式一侧。
- **错误做法:** 忘记交换定义域和值域，将反函数的定义域写为$(-\infty, \infty)$，和原指数函数的定义域相同。
  - 原因: 学生混淆了原指数函数的定义域和反函数的定义域，忘记反函数一定会交换原函数的定义域和值域。
  - 正确做法: 求出反函数表达式后，先写出原指数函数的值域；这个值域就是反函数的定义域。
- **错误做法:** 错误反射渐近线：将原函数的水平渐近线$y = 5$错误变为反函数的$y=5$，而非正确的$x=5$。
  - 原因: 学生记得关于$y=x$反射，但忘记反射后水平线会变为竖直线，反之亦然。
  - 正确做法: 反函数的反射规则：任意水平渐近线$y = k$都会变为垂直渐近线$x = k$，任意垂直渐近线$x = k$都会变为水平渐近线$y = k$。
- **错误做法:** 验证反函数时，只计算了$f^{-1}(f(x))$就停止，没有检查两个复合函数。
  - 原因: 学生忘记反函数恒等式要求两个复合函数都成立，对于定义域有限制的函数尤其如此。
  - 正确做法: 在验证类问题中，始终要确认两个复合函数都化简为$x$才能获得满分。
- **错误做法:** 将$x = b^{y + a}$错误转化为$y = \log_b x + a$，而非正确的$y = \log_b x - a$。
  - 原因: 学生在将指数从对数中提出时急于计算，错误应用了整理规则。
  - 正确做法: 得到$x = b^{y + a}$后，先明确写出$\log_b x = y + a$，再分步整理求解$y$。

## 速查表

| 类别 | 法则 / 公式 | 说明 |
| --- | --- | --- |
| 指数函数反函数的定义 | If $y = b^x$, then $f^{-1}(x) = \log_b x$ | 适用于$b>0, b \neq 1$；定义域$(0, \infty)$，值域$\mathbb{R}$ |
| 指数函数的一一性法则 | $b^{x_1} = b^{x_2} \iff x_1 = x_2$ | 对所有$b>0, b \neq 1$成立；仅适用于指数为线性的指数函数 |
| 反函数恒等式 | $f(f^{-1}(x)) = x$ and $f^{-1}(f(x)) = x$ | 用于验证反函数计算正确 |
| 定义域/值域互换法则 | $\text{Dom}(f^{-1}) = \text{Ran}(f)$, $\text{Ran}(f^{-1}) = \text{Dom}(f)$ | 适用于所有反函数，包括指数函数的反函数 |
| 图像反射法则 | Graph of $f^{-1}(x)$ = reflection of $f(x)$ over $y=x$ | 交换所有点的坐标 $(a,b) \to (b,a)$ |
| 渐近线互换法则 | Horizontal $y=k$ → vertical $x=k$ on inverse | 所有原指数函数都有水平渐近线，因此其反函数都有垂直渐近线 |
| 自然指数函数的反函数 | Inverse of $y = e^x$ is $y = \ln x$ | 底数为$e$的特殊情况，在应用中十分常用 |

## 下一步

本主题是所有对数函数相关内容的基础，而对数函数是AP预备微积分第二单元剩余内容的核心。掌握指数函数的反函数后，你接下来会学习对数的性质、指数与对数方程的求解，以及指数对数函数在实际场景中的建模。如果不扎实理解对数如何定义为指数函数的反函数，你就无法正确证明对数的性质、求解方程，或在情境中解释对数模型。本主题还巩固了AP预备微积分中更广泛的概念，比如一一函数、反函数性质和函数族的变换。

- [对数函数](https://www.owlsprep.com/zh/study/ap-precalculus-u2-logarithmic-functions/)
- [对数函数变形](https://www.owlsprep.com/zh/study/ap-precalculus-u2-logarithmic-function-manipulation/)
- [指数与对数方程及不等式](https://www.owlsprep.com/zh/study/ap-precalculus-u2-exponential-and-logarithmic-equations-and/)

---

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