反函数求导公式表
全面解析反函数求导法则，涵盖基础公式、推导逻辑、典型例题及高频考点，助您轻松攻克微积分难点。
【核心】反函数求导公式总表
在微积分学习中，反函数求导公式是连接原函数与反函数导数关系的核心桥梁。其核心结论非常简洁：反函数的导数等于原函数导数的倒数。以下是常用基本初等函数的反函数及其导数对照表，建议收藏备用。
| 原函数 y = f(x) | 反函数 x = f⁻¹(y) | 定义域限制 | 反函数导数公式 (dx/dy) | 常见应用场景 |
|---|---|---|---|---|
| y = ex | y = ln x | x ∈ R | (ln x)' = 1/x | 对数运算、自然增长模型 |
| y = sin x (x ∈ [-π/2, π/2]) |
y = arcsin x | x ∈ [-1, 1] | (arcsin x)' = 1/√(1-x²) | 三角积分、物理振动分析 |
| y = cos x (x ∈ [0, π]) |
y = arccos x | x ∈ [-1, 1] | (arccos x)' = -1/√(1-x²) | 角度计算、几何问题 |
| y = tan x (x ∈ (-π/2, π/2)) |
y = arctan x | x ∈ R | (arctan x)' = 1/(1+x²) | 反正切积分、相位差计算 |
| y = cot x (x ∈ (0, π)) |
y = arccot x | x ∈ R | (arccot x)' = -1/(1+x²) | 高级三角变换 |
| y = sec x (x ∈ [0, π/2)∪[π, 3π/2)) |
y = arcsec x | |x| ≥ 1 | (arcsec x)' = 1/(|x|√(x²-1)) | 复杂三角积分 |
| y = csc x (x ∈ (0, π/2]∪(π, 3π/2]) |
y = arccsc x | |x| ≥ 1 | (arccsc x)' = -1/(|x|√(x²-1)) | 特殊积分场景 |
注：以上公式中，y 通常作为自变量，x 作为因变量讨论反函数导数，即 (f⁻¹)'(y) = 1/f'(x)。在实际解题中，通常需要将结果转换回关于 x 的表达式。
【原理】反函数求导法则的深度推导
许多同学在记忆反函数求导公式时感到困惑，为什么是倒数关系？理解其背后的几何意义和代数推导，能帮助您从根本上掌握这一知识点，避免死记硬背。
1. 几何直观理解
函数 y = f(x) 与其反函数 x = f⁻¹(y) 的图像关于直线 y = x 对称。在图像上任意一点 P(x₀, y₀) 处，原函数的切线斜率为 k = dy/dx。由于对称性，反函数在对应点 P'(y₀, x₀) 处的切线斜率 k' = dx/dy。根据对称原理，这两条切线关于 y=x 对称，因此它们的斜率互为倒数，即 k · k' = 1。
2. 代数推导过程
设 y = f(x) 在区间 I 上单调可导，且 f'(x) ≠ 0。其反函数为 x = f⁻¹(y)。
根据复合函数求导法则（链式法则），我们将 x 看作 y 的函数，y 看作 x 的函数：
d/dx [ f⁻¹(f(x)) ] = d/dx [ x ]
由链式法则展开左边：
f⁻¹'(f(x)) · f'(x) = 1
即：
f⁻¹'(y) · f'(x) = 1
所以：
f⁻¹'(y) = 1 / f'(x)
这就是反函数求导法则的严格数学证明。它告诉我们，求反函数在某点的导数，只需先求原函数在对应点的导数，然后取倒数即可。
【实战】反函数求导经典例题解析
理论结合实践是掌握数学知识的关键。以下通过三个不同难度的典型例题，展示反函数求导公式的具体应用步骤。
题目：求函数 y = arcsin x 的导数
分析：arcsin x 是 y = sin x (x ∈ [-π/2, π/2]) 的反函数。
步骤：
- 写出原函数关系：x = sin y
- 对 x 求导（隐函数求导视角）或直接使用公式：
(arcsin x)' = 1 / (sin y)' = 1 / cos y - 将 y 转换回 x：因为 x = sin y，且 y ∈ [-π/2, π/2]，所以 cos y = √(1 - sin²y) = √(1 - x²)
- 得出结论：(arcsin x)' = 1 / √(1 - x²)
结论：这是一个标准公式，需熟记。注意定义域为 (-1, 1)。
题目：已知 x = t + sin t, y = cos t，求 dy/dx 在 t=π/2 处的值
分析：虽然这不是直接的反函数求导，但涉及参数方程，常与反函数概念混淆。此处我们演示一个更贴切的反函数应用：求 y = x + e^x 的反函数在点 (1, 0) 处的导数。
步骤：
- 确定对应点：当 x=0 时，y=0+e^0=1。题目给的是反函数上的点 (1,0)，即原函数上的点 (0,1)？不对，检查：若原函数 y=f(x)，反函数为 x=f⁻¹(y)。题目求反函数在 y=1 处的导数？
让我们修正题目：求 y = f⁻¹(x) 在 x=1 处的导数，其中 f(x) = x + e^x。
我们需要找到 f(x)=1 时的 x 值。显然 x=0 时，f(0)=1。 - 应用公式：(f⁻¹)'(1) = 1 / f'(0)
- 计算 f'(x) = 1 + e^x
- 计算 f'(0) = 1 + e^0 = 2
- 得出结论：(f⁻¹)'(1) = 1/2
技巧：不必求出反函数的显式表达式，利用对应点代换是解题关键。
题目：求 y = arctan(√x) 的导数
分析：这是一个复合函数，外层是 arctan(u)，内层是 u = √x。虽然可以用链式法则直接求，但我们可以反其道而行之，利用反函数思想验证。
常规解法（链式法则）：
y' = [arctan(√x)]'
= 1 / (1 + (√x)²) (√x)'
= 1 / (1 + x) (1 / 2√x)
= 1 / (2√x(1 + x))
反函数视角验证：
设 y = arctan(√x)，则 tan y = √x，即 x = tan²y。
求 dx/dy = 2 tan y sec²y。
dy/dx = 1 / (2 tan y sec²y)。
将 tan y = √x 代入，sec²y = 1 + tan²y = 1 + x。
dy/dx = 1 / (2√x(1+x))。结果一致。
【详解】六大三角反函数求导细节
三角函数的反函数（即反三角函数）是反函数求导中的重灾区，因为涉及定义域和值域的严格限制，以及正负号的判断。以下逐一解析。
1. arcsin x & arccos x
公式：(arcsin x)' = 1/√(1-x²)，(arccos x)' = -1/√(1-x²)。
注意：两者导数互为相反数，因为 arcsin x + arccos x = π/2 (常数)，常数的导数为0，符合逻辑。定义域均为 [-1, 1]。
2. arctan x & arccot x
公式：(arctan x)' = 1/(1+x²)，(arccot x)' = -1/(1+x²)。
注意：同样互为相反数，因为 arctan x + arccot x = π/2。定义域均为 R。分母恒为正，故 arctan 导数恒正（单调增），arccot 导数恒负（单调减）。
3. arcsec x & arccsc x
公式：(arcsec x)' = 1/(|x|√(x²-1))，(arccsc x)' = -1/(|x|√(x²-1))。
注意：定义域为 |x| ≥ 1。绝对值符号 |x| 极易被遗漏，导致符号错误。当 x > 1 时为正，当 x < -1 时，需仔细讨论单调性。
【避坑】反函数求导常见误区与对策
根据历年考试数据及网民搜索热点，以下是在应用反函数求导公式时最容易出错的地方，请务必警惕。
问题描述：直接对 y=sin x 求导得到 cos x，然后取倒数 1/cos x，却忘记 y=sin x 必须限制在 [-π/2, π/2] 才有反函数。如果不限制，反函数不存在，求导更无从谈起。
对策：在求反函数导数前，首先确认原函数是否单调。只有单调函数才存在反函数。
问题描述：使用公式 (f⁻¹)'(y) = 1/f'(x) 时，最后结果中仍含有 x，而未将其转换为 y 的表达式。
对策：求导完成后，必须利用原函数关系式（如 sin y = x）将 x 换回 y。例如，求 (arcsin x)' 时，中间步骤得到 1/cos y，必须利用三角恒等式 cos y = √(1-sin²y) = √(1-x²) 进行转换。
问题描述：面对 y = arcsin(x²) 这类复合函数，直接套用反函数公式，忽略链式法则。
对策：明确识别复合结构。外层是 arcsin(u)，内层是 u=x²。应先对外层求导，再乘以内层导数。即：1/√(1-(x²)²) 2x。
【FAQ】反函数求导常见问题解答
Q: 反函数求导公式适用于所有函数吗？
A: 不适用。前提条件是原函数必须在某区间内单调且可导，且原函数的导数 f'(x) ≠ 0。如果不单调，则不存在全局反函数，只能分段讨论或求局部反函数。
Q: 为什么 arccos x 的导数是负的？
A: 因为 arccos x 在定义域 [-1, 1] 上是单调递减函数。单调递减函数的切线斜率恒为负，因此其导数必须为负值。从几何上看，arccos x 是 arcsin x 关于 x 轴对称并平移后的结果，斜率符号相反。
Q: 如何快速记忆反三角函数的导数？
A: 记住一个核心，其余类推。
1. 带 "arcc" 开头（arccos, arccot, arccsc）的导数通常带负号。
2. 不带 "arcc" 的（arcsin, arctan, arcsec）导数通常带正号。
3. 分母部分：arcsin/arccos 根号下是 1-x²；arctan/arccot 分母是 1+x²；arcsec/arccsc 分母是 |x|√(x²-1)。