反三角函数的微积分 (FP2.7)
欢迎来到本章，我们将共同揭开一组极其有用的函数——反三角函数（也称为反函数）的微积分奥秘。
你已经掌握了正弦、余弦和正切函数的求导与积分，现在我们将目光转向它们的“逆运算”：\(\sin^{-1} x\)、\(\cos^{-1} x\) 和 \(\tan^{-1} x\)。这些概念在解决某些高难度的积分问题时至关重要，特别是在处理涉及平方根或平方和的分式表达式时。
快速回顾：什么是反三角函数？
你可以把反三角函数看作一种提出角度问题的数学方式：
如果 \(\sin(\theta) = x\)，那么反函数要问的是：\(\theta\) 是多少？
我们将其写为 \(\theta = \sin^{-1} x\)（或 \(\theta = \arcsin x\)）。
- 符号检查： 在高等数学（Further Maths）中，我们主要使用符号 \(\sin^{-1} x\)、\(\cos^{-1} x\) 和 \(\tan^{-1} x\)。
- 定义域与值域： 请记住，为了确保反函数仍然是函数，其值域必须限制在主值区间（例如，\(\sin^{-1} x\) 通常被限制在 \([-\frac{\pi}{2}, \frac{\pi}{2}]\范围内）。 \n
\n\n
1. 反三角函数的导数
\n\n\n不必担心在考试中推导这些公式——它们会提供在公式手册（formulae booklet）中！你的任务是熟悉并能够正确应用它们，尤其是当函数的自变量比简单的 \(x\) 更复杂时。
关键导数（摘自公式手册）
这是你必须熟记的基础公式：
(i) \(y = \sin^{-1} x\) 的导数
若 \(y = \sin^{-1} x\)，则：
(ii) \(y = \cos^{-1} x\) 的导数
若 \(y = \cos^{-1} x\)，则：
发现其中的规律了吗？
注意 \(\cos^{-1} x\) 的导数与 \(\sin^{-1} x\) 的导数完全相同，只是多了一个负号！这是一个极好的记忆窍门，记住一个，另一个也就顺手记住了。
(iii) \(y = \tan^{-1} x\) 的导数
若 \(y = \tan^{-1} x\)，则：
快速回顾：关键导数特征
- \(\sin^{-1} x \rightarrow\) 带根号的正分式。
- \(\cos^{-1} x \rightarrow\) 带根号的负分式。
- \(\tan^{-1} x \rightarrow\) 不带根号的正分式。
链式法则的应用
当自变量是 \(x\) 的函数时，即 \(y = \sin^{-1} (f(x))\)，你必须使用链式法则（Chain Rule）。这意味着将标准导数乘以内部函数 \(f'(x)\) 的导数。
示例：求 \(y = \tan^{-1} (2x)\) 的导数。
设 \(u = 2x\)，则 \(\frac{du}{dx} = 2\)。
使用链式法则，\(\frac{dy}{dx} = \frac{1}{1 + u^2} \cdot \frac{du}{dx}\)。
\[ \frac{dy}{dx} = \frac{1}{1 + (2x)^2} \cdot 2 = \frac{2}{1 + 4x^2} \]
求导要点总结： 熟记三个标准导数（它们在手册里！）。记住，当自变量不只是简单的 \(x\) 时，一定要使用链式法则。
2. 导致反三角函数的积分
积分本质上是微分的逆运算。因此，如果我们对标准导数进行积分，就能回到反三角函数。这些积分被称为标准积分，是 FP2 中必不可少的解题工具。
包含常数 \(a\) 的标准形式也包含在你的公式手册中。这是你必须能够辨别并使用的两种形式：
标准积分形式
(i) 导出 \(\tan^{-1}\) 的积分（平方和）
该积分由 \(\tan^{-1} x\) 的导数推广而来，引入了常数 \(a\)。
类比：完美分母
如果你看到一个分母看起来像是数字的平方加上变量的平方 (\(a^2 + x^2\))，就要想到 \(\tan^{-1}\)。结果始终在反正切函数外包含 \(\frac{1}{a}\) 这个因子，内部则是 \(\frac{x}{a}\)。
常见的易错点： 忘记在结果前面加上 \(\frac{1}{a}\)！
(ii) 导出 \(\sin^{-1}\) 的积分（根号下的平方差）
该积分由 \(\sin^{-1} x\) 的导数推广而来，引入了常数 \(a\)。
注意事项：至关重要的顺序
对于反正弦积分，形式必须是 \(\sqrt{\mathbf{a^2 - x^2}}\)。常数的平方项在根号下必须排在前面。
你知道吗？ 如果顺序颠倒成 \(\sqrt{x^2 - a^2}\)，结果将涉及反双曲余弦函数 (\(\cosh^{-1}\))，这会在 FP2.9 中介绍。由于 FP2.7 的教学大纲仅包含反正弦形式，因此请只关注 \(\sqrt{a^2 - x^2}\)。
积分要点总结： 常数 \(a\) 非常关键。你必须辨认出分母中的 \(a^2\) 是多少（从而确定 \(a\) 的值），以便正确代入最终公式。
3. 策略：通过变换使积分符合标准形式
很多时候，你遇到的积分不会直接呈现为标准形式，但你可以通过两种关键技巧对其进行变换：配方法（Completing the Square）和换元法（Substitution）。
3.1 配方法
如果分母是一个二次表达式，你可能需要配方以达到标准形式：\(\int \frac{1}{(A)^2 + (f(x))^2} \, dx\) 或 \(\int \frac{1}{\sqrt{(A)^2 - (f(x))^2}} \, dx\)。
分步示例（\(\tan^{-1}\) 情况）：
考虑 \(\int \frac{1}{x^2 + 4x + 5} \, dx\)。
- 配方： \(x^2 + 4x + 5 = (x + 2)^2 - 4 + 5 = (x + 2)^2 + 1\)。
- 重写积分： \[ \int \frac{1}{(x + 2)^2 + 1} \, dx \]
- 识别参数： 将其与 \(\int \frac{1}{u^2 + a^2} \, du\) 进行比较。
此处 \(u = x + 2\)（所以 \(du = dx\)），且 \(a^2 = 1\)，即 \(a = 1\)。 - 应用公式： 积分为 \(\frac{1}{a} \tan^{-1} \left( \frac{u}{a} \right) + C\)。
\[ \frac{1}{1} \tan^{-1} \left( \frac{x + 2}{1} \right) + C = \tan^{-1} (x + 2) + C \]
3.2 使用换元法（逆向运用链式法则）
如果反三角函数内部涉及 \(x\) 的表达式比较复杂，或者分子包含了分母内部函数的导数，你就需要使用换元法。
如果你看到 \(\int \frac{f'(x)}{\sqrt{a^2 - (f(x))^2}} \, dx\)，就应该尝试令 \(u = f(x)\) 进行换元。
示例：计算 \(\int \frac{2x}{\sqrt{4 - x^4}} \, dx\)
这看起来很复杂！让我们试着将其转化为 \(\sin^{-1}\) 形式，即 \(\int \frac{1}{\sqrt{a^2 - u^2}} \, du\)。
- 选择换元： 注意根号下的项是 \(x^4 = (x^2)^2\)。令 \(u = x^2\)。
- 求 \(du\)： \(\frac{du}{dx} = 2x\)，所以 \(du = 2x \, dx\)。
- 重写积分： 分子 \(2x \, dx\) 变为 \(du\)，分母变为 \(\sqrt{4 - u^2}\)。
\[ \int \frac{du}{\sqrt{4 - u^2}} \] - 识别参数： 将其与 \(\int \frac{1}{\sqrt{a^2 - u^2}} \, du\) 进行比较。
此处 \(a^2 = 4\)，即 \(a = 2\)。 - 应用公式： 积分为 \(\sin^{-1} \left( \frac{u}{a} \right) + C\)。
\[ \sin^{-1} \left( \frac{u}{2} \right) + C \] - 还原为 \(x\)： 将 \(u = x^2\) 代回。
\[ \sin^{-1} \left( \frac{x^2}{2} \right) + C \]
鼓励一下： 如果换元法看起来很有挑战性，请不要灰心；关键在于识别模式。如果你看到分子是分母某一部分的导数，那么换元法通常就是正解！
快速回顾：反三角函数微积分清单
微分 (\(\frac{d}{dx}\))：
1. \(\sin^{-1} x \rightarrow \frac{1}{\sqrt{1 - x^2}}\)。
2. \(\cos^{-1} x \rightarrow -\frac{1}{\sqrt{1 - x^2}}\)。
3. \(\tan^{-1} x \rightarrow \frac{1}{1 + x^2}\)。
*若自变量复杂，请务必使用链式法则。*
积分 (\(\int\))：
1. \(\int \frac{1}{a^2 + x^2} \, dx\) (平方和) \(\rightarrow \frac{1}{a} \tan^{-1} (\frac{x}{a}) + C\)。
2. \(\int \frac{1}{\sqrt{a^2 - x^2}} \, dx\) (根号下常数减变量平方) \(\rightarrow \sin^{-1} (\frac{x}{a}) + C\)。
*注意通过配方或换元将积分化为标准形式。*