📚 Inverse Functions | 反函数
Inverse functions are a cornerstone concept in IB Mathematics, allowing us to reverse the effect of a function and solve equations where the input and output roles are swapped. Understanding how to find, verify, and apply inverse functions deepens your grasp of function theory, symmetry, and the interplay between domain and range.
反函数是 IB 数学中的一个核心概念，它让我们能够逆转函数的作用，并解决输入与输出角色互换的方程。理解如何求取、验证和应用反函数，能加深你对函数理论、对称性以及定义域与值域相互关系的把握。
1. Understanding Inverse Functions | 理解反函数
An inverse function, denoted f⁻¹, essentially "undoes" what the original function f does. If f takes an input a and produces an output b, then f⁻¹ takes b and returns a. For a function to have an inverse that is also a function, it must be one-to-one (injective), meaning each output comes from exactly one input.
反函数，记作 f⁻¹，本质上是“撤销”原函数 f 所做的工作。如果 f 接受输入 a 并产生输出 b，那么 f⁻¹ 接受 b 并返回 a。一个函数要想拥有一个同样是函数的反函数，它必须是一一对应的（单射），即每个输出都恰好来自一个输入。
2. One-to-One Functions and the Horizontal Line Test | 一一对应函数与水平线测试
ally, this is tested with the horizontal line test: if any horizontal line intersects the graph more than once, the function is not one-to-one and does not have an inverse function on its entire domain without restriction.
函数 f 是一一对应的，当没有两个不同的输入产生相同的输出：f(x₁) = f(x₂) 蕴含着 x₁ = x₂。从图像上看，这可以通过水平线测试来检验：如果任何一条水平线与图像相交超过一次，那么该函数在整个定义域上就不是一一对应的，若不加以限制则没有反函数。
3. Notation and Key Properties | 符号与关键性质
The notation f⁻¹(x) is read as "f inverse of x" and must not be confused with the reciprocal 1/f(x). The exponent −1 here signifies the inverse function, not an arithmetic power. Key properties include: the domain of f⁻¹ equals the range of f, and the range of f⁻¹ equals the domain of f.
符号 f⁻¹(x) 读作 “f 逆 of x”，切勿与倒数 1/f(x) 混淆。这里的指数 −1 表示反函数，而非算术乘方。关键性质包括：f⁻¹ 的定义域等于 f 的值域，而 f⁻¹ 的值域等于 f 的定义域。
4. Steps to Find an Inverse Function | 求反函数的步骤
our result by checking that f(f⁻¹(x)) = x and f⁻¹(f(x)) = x, verifying the undo operation.
要通过代数方法求反函数，请遵循以下步骤：从 y = f(x) 开始；交换 x 和 y，得到 x = f(y)；然后解这个新方程，用 x 表示 y；最后将 y 替换为 f⁻¹(x)。总是通过验证 f(f⁻¹(x)) = x 和 f⁻¹(f(x)) = x 来确认结果，以核实这种撤销操作。
5. Domain and Range Swap | 定义域与值域的交换
Because the inverse function exchanges the roles of inputs and outputs, the domain and range are interchanged. If f has domain D and range R, then f⁻¹ has domain R and range D. This property is extremely useful when determining restricted domains to make a non-injective function invertible.
由于反函数交换了输入与输出的角色，定义域和值域也随之互换。如果 f 的定义域为 D，值域为 R，那么 f⁻¹ 的定义域就是 R，值域为 D。在确定限制定义域以使非单射函数可逆时，这一性质极为有用。
6. Graphical Relationship: Reflection over y = x | 图像关系：关于y=x对称
The graph of an inverse function is the reflection of the original function' (a, b) lies on the graph of f, then the point (b, a) lies on the graph of f⁻¹. This geometric property helps to sketch inverses quickly and understand their symmetry.
反函数的图像是原函数图像关于直线 y = x 的反射。如果点 (a, b) 在 f 的图像上，那么点 (b, a) 就在 f⁻¹ 的图像上。这一几何性质有助于快速绘制反函数的草图并理解其对称性。
7. Composition of a Function and Its Inverse | 函数与其反函数的复合
x for all x in the domain of f⁻¹. These identities serve as the formal test for inverses.
涉及函数及其反函数的复合函数，在有效定义域内应用时会产生恒等函数。即，对于 f 定义域中的所有 x，有 f⁻¹(f(x)) = x；对于 f⁻¹ 定义域中的所有 x，有 f(f⁻¹(x)) = x。这些恒等式是对反函数的正式检验。
8. Restricting the Domain to Create an Inverse | 限制定义域以构造反函数
can define an inverse. For instance, f(x) = x² with domain x ≥ 0 has the inverse f⁻¹(x) = √x. Similarly, the sine function is restricted to [−π/2, π/2] to define arcsin.
许多函数，例如 f(x) = x²，在其自然定义域上并非一一对应。通过将定义域限制在函数单调的区域，我们可以定义一个反函数。例如，当定义域为 x ≥ 0 时，f(x) = x² 的反函数为 f⁻¹(x) = √x。类似地，正弦函数被限制在 [−π/2, π/2] 来定义反正弦。
9. Common Inverse Function Pairs | 常见反函数对
IB Mathematics requires familiarity with standard inverse pairs. Below is a table of the most frequently encountered ones, which are essential for exam success.
IB 数学要求熟悉标准的反函数对。下表列出了最常遇到的几组，它们对考试成功至关重要。
| Original Function (f) | Inverse Function (f⁻¹) | Domain of f⁻¹ / Notes |
|---|---|---|
| f(x) = ex | 指数函数 | f⁻¹(x) = ln x | 自然对数 | x > 0 |
| f(x) = ax (a>0, a≠1) | f⁻¹(x) = log_a x | x > 0; 底数为 a 的对数 |
| f(x) = x², x ≥ 0 | f⁻¹(x) = √x | x ≥ 0 |
| f(x) = x³ | f⁻¹(x) = ³√x (立方根) | All real numbers |
| f(x) = 1/x, x ≠ 0 | f⁻¹(x) = 1/x | x ≠ 0 (自逆函数) |
| f(x) = mx + c (m≠0) | f⁻¹(x) = (x − c)/m | All real numbers |
10. Inverse Trigonometric Functions | 反三角函数
π/2]. For y = arccos x, domain is [−1, 1] and range is [0, π]. For y = arctan x, domain is ℝ and range is (−π/2, π/2).
反三角函数在 IB HL 中至关重要，常出现在微积分和几何问题中。它们通过限制原三角函数的定义域来定义。对于 y = arcsin x，定义域为 [−1, 1]，值域为 [−π/2, π/2]。对于 y = arccos x，定义域为 [−1, 1]，值域为 [0, π]。对于 y = arctan x，定义域为 R，值域为 (−π/2, π/2)。
ne). Memorizing the ranges is vital for solving equations like sin θ = 0.5 for all angles.
这些受限的定义域确保了反函数确实是函数（一一对应）。记住这些值域对于求解像 sin θ = 0.5 的所有角度这类方程至关重要。
11. Derivatives of Inverse Functions (HL Extension) | 反函数的导数 (HL扩展)
nction can be found without explicitly computing the inverse. If f is differentiable and f'(f⁻¹(x)) ≠ 0, then the derivative is given by (f⁻¹)'(x) = 1 / f'(f⁻¹(x)). A classic application is deriving the derivative of ln x from ex: since f(x)=ex gives f'(x)=ex, then for y = ln x we get dy/dx = 1 / eln x = 1/x.
对于 HL 学生，反函数的导数可以不必显式求出反函数而找到。如果 f 可导且 f'(f⁻¹(x)) ≠ 0，那么导数由 (f⁻¹)'(x) = 1 / f'(f⁻¹(x)) 给出。一个经典应用是由 ex 推导 ln x 的导数：由于 f(x)=ex 给出 f'(x)=ex，那么对于 y = ln x，我们得到 dy/dx = 1 / eln x = 1/x。
This formula is often used in conjunction with implicit differentiation and is a powerful tool for functions whose inverses are hard to express algebraically.
该公式常与隐函数求导结合使用，对于其反函数难以用代数方式表达的函数而言，它是一个强大的工具。
12. Applications and Problem-Solving Tips | 应用与解题技巧
ange of f. In exam questions, you may need to prove two functions are inverses by showing both compositions yield x, or to find an inverse of a composite function: (g ∘ f)⁻¹ = f⁻¹ ∘ g⁻¹.
在求解涉及反函数的方程时，务必检查该值是否位于反函数的定义域内。例如，若你得到 f⁻¹(k) = 2，那么要验证 k 是否在 f 的值域内。在考试题中，你可能需要通过证明两种复合都得到 x 来证明两个函数互为反函数，或者求一个复合函数的反函数：(g ∘ f)⁻¹ = f⁻¹ ∘ g⁻¹。
Also, be comfortable with reflecting graphs to solve inequalities or transform functions. Understanding the inverse relationship is key to mastering logarithms, exponential growth, and trigonometric equations.
同时，要能熟练地利用图像反射来求解不等式或变换函数。理解反函数关系是掌握对数、指数增长和三角方程的关键。
Published by TutorHao | IB Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图