指数函数的反函数 — AP 预备微积分
AP 预备微积分 · 指数函数与对数函数 · 14 min read
1. 指数函数的一一性 ★★☆☆☆ ⏱ 4 min
一个函数要存在有效的反函数，必须是一一函数：即对任意$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$会得到相同输出，因此不是一一函数。
Exam tip: 如果在自由作答题（FRQ）中被要求证明函数的一一性，必须对图像使用水平线检验，或使用上文展示的代数检验；仅陈述'指数函数都是一一函数'而不给出证明无法获得满分。
2. 求变换后指数函数的反函数 ★★★☆☆ ⏱ 5 min
确认指数函数是一一函数后，我们可以用标准步骤求反函数：交换$x$和$y$，然后解出$y$。根据定义，$f(x) = b^x$的反函数是$f^{-1}(x) = \log_b x$，即对数函数。对于形式为$y = a \cdot b^{kx + c} + d$的变换后指数函数，我们遵循相同步骤可得到变换后的对数反函数。对任意反函数，原函数的定义域就是反函数的值域，原函数的值域就是反函数的定义域。
Exam tip: 在自由作答题（FRQ）中必须写出反函数的定义域；AP阅卷官通常会对遗漏反函数定义域限制的答案扣分。
3. 指数函数反函数的图像性质 ★★☆☆☆ ⏱ 3 min
所有反函数的图像都是原函数图像关于直线$y=x$的对称图形。这个性质让我们不需要求出反函数的完整表达式，就能快速识别反函数的关键点、截距、渐近线和端点行为。关于$y=x$作反射会交换所有关键点的坐标、交换定义域和值域，并将水平渐近线变为垂直渐近线。例如，$y = b^x$的y截距在$(0,1)$，水平渐近线为$y=0$，因此其反函数$y = \log_b x$的x截距在$(1,0)$，垂直渐近线为$x=0$。
Exam tip: 如果被要求画出指数函数反函数的图像，先标出2-3个经过反射的关键点和变换后的渐近线，再绘制曲线；这可以避免端点行为出错。
4. AP风格例题讲解 ★★★☆☆ ⏱ 2 min
Common Pitfalls
Why: 学生泛化了'所有指数函数都是一一函数'的结论，但忘记这仅适用于指数为线性的指数函数，这类函数才对所有输入输出唯一结果。
Why: 学生急于分离指数项，错误地减去首项系数而不是除以它。
Why: 学生混淆了原指数函数的定义域和反函数的定义域，忘记反函数一定会交换原函数的定义域和值域。
Why: 学生记得关于$y=x$反射，但忘记反射后水平线会变为竖直线，反之亦然。
Why: 学生忘记反函数恒等式要求两个复合函数都成立，对于定义域有限制的函数尤其如此。
Why: 学生在将指数从对数中提出时急于计算，错误应用了整理规则。
Quick Reference Cheatsheet