指数函数的反函数

AP 预备微积分· AP 预备微积分课程与考试说明（CED）—— 指数函数与对数函数· 14 分钟阅读

1. 指数函数的一一性★★☆☆☆⏱ 4 min

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

📘 定义

一一函数

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

例:

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

📐 例题

判断 $f (x) = 5^{3 - 2 x}$ 在整个定义域 $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)$ 在 $R$ 上是一一函数，在整个定义域上存在有效反函数。

Exam tip:

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

2. 求变换后指数函数的反函数★★★☆☆⏱ 5 min

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

📘 定义

指数函数的反函数

$f^{- 1} (x)$

反转一一指数函数映射关系的对数函数。若 $y = b^{x}$ ，根据定义 $y = lo g_{b} x$ 就是其反函数。

例:

$y = 2^{x}$ 的反函数是 $y = lo g_{2} x$

📐 例题

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

1
写出 $y = 3 \cdot 2^{4 x - 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
这证明我们求得的反函数是正确的。

Exam tip:

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

3. 指数函数反函数的图像性质★★☆☆☆⏱ 3 min

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

Exam tip:

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

4. AP风格例题讲解★★★☆☆⏱ 2 min

📐 例题

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

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

1
令 $y = 4 e^{2 x} - 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.25 t}$ ，其中 $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头。

5. 常见陷阱

错误做法:

认为所有带指数项的函数都是一一函数，例如声称 $f (x) = 3^{x^{2}}$ 在全体实数上存在反函数。

原因:

学生泛化了'所有指数函数都是一一函数'的结论，但忘记这仅适用于指数为线性的指数函数，这类函数才对所有输入输出唯一结果。

正确做法:

对于指数为非线性的指数函数，始终要通过检验是否存在 $x_{1} \neq = x_{2}$ 使得 $f (x_{1}) = f (x_{2})$ 来判断是否为一一函数。

错误做法:

求解 $y = 2 b^{k x + c} + d$ 的反函数时，错误整理为 $x - 2 = b^{k x + 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 = lo g_{b} x + a$ ，而非正确的 $y = lo g_{b} x - a$ 。

原因:

学生在将指数从对数中提出时急于计算，错误应用了整理规则。

正确做法:

得到 $x = b^{y + a}$ 后，先明确写出 $lo g_{b} x = y + a$ ，再分步整理求解 $y$ 。

6. 速查表

类别	法则 / 公式	说明
指数函数反函数的定义	If $y = b^{x}$ , then $f^{- 1} (x) = lo g_{b} x$	适用于 $b > 0, b \neq = 1$ ；定义域 $(0, \infty)$ ，值域 $R$
指数函数的一一性法则	$b^{x_{1}} = b^{x_{2}} ⟺ x_{1} = x_{2}$	对所有 $b > 0, b \neq = 1$ 成立；仅适用于指数为线性的指数函数
反函数恒等式	$f (f^{- 1} (x)) = x$ and $f^{- 1} (f (x)) = x$	用于验证反函数计算正确
定义域/值域互换法则	$Dom (f^{- 1}) = Ran (f)$ , $Ran (f^{- 1}) = 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$ 的特殊情况，在应用中十分常用

真题中的出现

AI 根据考纲规律估算的考点位置,请对照官方真题核实准确性。仅作复习重点参考。

2024 · AP Precalculus
求变换后指数函数的反函数
2023 · AP Precalculus
指数函数反函数的图像性质

深入阅读

unit overviewAP 预备微积分第二单元概览本主题所属的母单元

下一步

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