Integration

欢迎来到进阶纯数 2 (Further Pure Mathematics 2) 的积分章节！

在 FP2 中，我们将运用你在 A Level 数学 (9709) 中掌握的积分技巧，去解决更困难、更前沿的函数以及复杂的几何问题。如果以前的积分学习让你感到吃力，请不要担心——我们将把这些进阶方法，如递推公式 (Reduction Formulae) 以及几何应用（弧长和表面积），拆解成易于掌握的步骤。

本章对于连接纯数学与几何、物理学至关重要，它将为你提供强大的工具，用以解决涉及曲线和体积的实际问题。让我们开始吧！

1. 双曲函数的积分

由于你已经学习了双曲函数（主题 2.1），积分过程仅仅是微分规则的逆运算。熟练掌握导数公式是关键！

1.1 标准结果

回想一下，双曲函数的导数与三角函数非常相似，但要特别注意符号的变化！

• \(\int \sinh x \, dx = \cosh x + C\)
• \(\int \cosh x \, dx = \sinh x + C\)
• \(\int \sech^2 x \, dx = \tanh x + C\)
• \(\int \sech x \tanh x \, dx = -\sech x + C\) （注意：与微分相比，这里的符号反转了）

1.2 幂函数与乘积的积分

就像普通的三角函数积分一样，处理双曲函数的幂次时，通常需要使用恒等式或代换法。

最基本的恒等式是：\(\cosh^2 x - \sinh^2 x = 1\)。

示例：对 \(\sinh^2 x\) 进行积分
我们无法直接对 \(\sinh^2 x\) 进行积分，因此需要使用二倍角公式（类似于 \(\cos 2x\) 的处理方式）： $$ \cosh 2x = \cosh^2 x + \sinh^2 x $$ 由于 \(\cosh^2 x = 1 + \sinh^2 x\)，代入后得到： $$ \cosh 2x = (1 + \sinh^2 x) + \sinh^2 x = 1 + 2\sinh^2 x $$ 整理得 \(\sinh^2 x\)： $$ \sinh^2 x = \frac{1}{2}(\cosh 2x - 1) $$ 现在，积分变得非常简单： $$ \int \sinh^2 x \, dx = \int \frac{1}{2}(\cosh 2x - 1) \, dx = \frac{1}{2}\left(\frac{\sinh 2x}{2} - x\right) + C $$

2. 反三角函数与反双曲函数的积分

在 FP2 中，你必须能够识别并计算三种会导致反三角函数或反双曲函数结果的特殊积分形式。

你知道吗？这些积分非常重要，因为在求复杂曲线的弧长时，它们会自然地出现！

2.1 三个关键标准形式

你需要能够计算以下形式的积分：

1. \(\frac{1}{\sqrt{a^2 - x^2}}\)（反正弦形式）：
   这种形式包含 (常数的平方 - 变量的平方) 的平方根，结果为反三角函数。 $$ \int \frac{1}{\sqrt{a^2 - x^2}} \, dx = \sin^{-1}\left(\frac{x}{a}\right) + C $$
2. \(\frac{1}{\sqrt{x^2 + a^2}}\)（反双曲正弦形式）：
   这种形式包含 (变量的平方 + 常数的平方) 的平方根。 $$ \int \frac{1}{\sqrt{x^2 + a^2}} \, dx = \sinh^{-1}\left(\frac{x}{a}\right) + C $$
3. \(\frac{1}{\sqrt{x^2 - a^2}}\)（反双曲余弦形式）：
   这种形式包含 (变量的平方 - 常数的平方) 的平方根。（限制条件：\(|x| > a\)）。 $$ \int \frac{1}{\sqrt{x^2 - a^2}} \, dx = \cosh^{-1}\left(\frac{x}{a}\right) + C $$

类比记忆法： 观察分母中的符号：

• 如果 \(a^2\) 为正且 \(x^2\) 为负 (\(a^2 - x^2\))：则是 Sine（标准三角函数）。
• 如果 \(x^2\) 为正 (\(x^2 + a^2\) 或 \(x^2 - a^2\))：则是 Hyperbolic（双曲函数）。

2.2 核心技巧：配方法 (Completing the Square)

通常，你遇到的积分不会直接表现为上述标准形式，这时必须首先对根号内的表达式进行配方。

过程示例： 计算 \(\int \frac{1}{\sqrt{x^2 + 6x + 13}} \, dx\)。

1. 配方： 关注二次式 \(x^2 + 6x + 13\)。 $$ x^2 + 6x + 13 = (x^2 + 6x + 9) + 13 - 9 = (x + 3)^2 + 4 $$
2. 代换与调整： 使用配方后的形式重写积分。 $$ \int \frac{1}{\sqrt{(x + 3)^2 + 4}} \, dx $$
3. 识别形式： 这匹配形式 2：\(\int \frac{1}{\sqrt{u^2 + a^2}} \, du\)，其中 \(u = x + 3\)，\(a = 2\)。由于代换 \(u = x+3\) 意味着 \(du = dx\)，不需要额外的调整系数。
4. 最终积分： 使用标准公式。 $$ \sinh^{-1}\left(\frac{u}{a}\right) + C = \sinh^{-1}\left(\frac{x+3}{2}\right) + C $$

3. 递推公式 (Reduction Formulae)

当被积函数包含高次幂时（如 \(\int x^4 e^x \, dx\) 或 \(\int \cos^5 x \, dx\)），积分往往很困难。递推公式允许你用较低幂次（如 \(n-1\) 或 \(n-2\)）的相似积分来表示含 \(n\) 次幂的积分。这样可以不断“降次”，直到达到可以直接计算的幂次（如 \(n=0\) 或 \(n=1\)）。

3.1 推导方法：分部积分法 (IBP)

绝大多数递推公式都是通过分部积分法 (Integration by Parts) 推导出来的，有时甚至需要多次应用。

回顾 IBP 公式：\(\int u \, \frac{dv}{dx} \, dx = uv - \int v \, \frac{du}{dx} \, dx\)。

分步推导过程

设 \(I_n\) 是你要简化的积分（例如 \(I_n = \int \sin^n x \, dx\)）。

1. 拆解被积函数： 将被积函数拆分为 \(u\) 和 \(\frac{dv}{dx}\) 两部分，使得应用 IBP 后得到的积分幂次降低。
   对于 \(I_n = \int \sin^n x \, dx\)，我们通常这样拆分： $$ I_n = \int \sin^{n-1} x \cdot (\sin x) \, dx $$
2. 应用 IBP： 选择 \(u\) 和 \(\frac{dv}{dx}\)。这需要策略性思考！
   若选 \(u = \sin^{n-1} x\) 且 \(\frac{dv}{dx} = \sin x\)：
   • \(v = -\cos x\)
   • \(\frac{du}{dx} = (n-1)\sin^{n-2} x \cos x\)
   代入 IBP： $$ I_n = \sin^{n-1} x (-\cos x) - \int (-\cos x) (n-1)\sin^{n-2} x \cos x \, dx $$
3. 简化并代入恒等式： 通常需要使用恒等式（如 \(\sin^2 x + \cos^2 x = 1\)）将新积分重新与 \(I_{n-2}\) 或 \(I_n\) 关联起来。 $$ I_n = -\cos x \sin^{n-1} x + (n-1) \int \sin^{n-2} x \cos^2 x \, dx $$ 用 \(1 - \sin^2 x\) 替换 \(\cos^2 x\)： $$ I_n = -\cos x \sin^{n-1} x + (n-1) \int \sin^{n-2} x (1 - \sin^2 x) \, dx $$ $$ I_n = -\cos x \sin^{n-1} x + (n-1) \left[ \int \sin^{n-2} x \, dx - \int \sin^n x \, dx \right] $$ $$ I_n = -\cos x \sin^{n-1} x + (n-1) I_{n-2} - (n-1) I_n $$
4. 分离 \(I_n\)： 求解所得方程，将 \(I_n\) 表示为 \(I_{n-2}\) 的函数（即递推公式）。 $$ I_n + (n-1) I_n = -\cos x \sin^{n-1} x + (n-1) I_{n-2} $$ $$ n I_n = -\cos x \sin^{n-1} x + (n-1) I_{n-2} $$ 这就是所求的递推公式。

3.2 使用递推公式

一旦推导完成，递推公式可用于反复计算定积分的值。

示例： 计算 \(\int_0^{\pi/2} \sin^4 x \, dx\)。
令 \(J_n = \int_0^{\pi/2} \sin^n x \, dx\)，由于边界项 \([-\cos x \sin^{n-1} x]_0^{\pi/2}\) 的值为零，公式可大大简化。

定积分的递推公式变为： $$ J_n = \frac{n-1}{n} J_{n-2} $$

从 \(n=4\) 开始： $$ J_4 = \frac{3}{4} J_2 $$ 接着求 \(J_2\)： $$ J_2 = \frac{1}{2} J_0 $$ 需计算 \(J_0 = \int_0^{\pi/2} \sin^0 x \, dx = \int_0^{\pi/2} 1 \, dx = [x]_0^{\pi/2} = \frac{\pi}{2}\)。

回代： $$ J_2 = \frac{1}{2} \left(\frac{\pi}{2}\right) = \frac{\pi}{4} $$ $$ J_4 = \frac{3}{4} J_2 = \frac{3}{4} \left(\frac{\pi}{4}\right) = \frac{3\pi}{16} $$

4. 积分的几何应用

积分可用于计算曲线的长度（弧长），以及曲线绕坐标轴旋转产生的表面积（旋转体表面积）。

4.1 弧长 (Arc Length)

弧长表示曲线两点间的轨迹长度。根据曲线的定义方式，我们使用不同的公式。

A. 直角坐标 (\(y = f(x)\))

曲线从 \(x=a\) 到 \(x=b\) 的长度 \(L\) 为： $$ L = \int_a^b \sqrt{1 + \left(\frac{dy}{dx}\right)^2} \, dx $$

B. 参数方程 (\(x = x(t), y = y(t)\))

如果曲线由参数 \(t\) 从 \(t_1\) 到 \(t_2\) 定义： $$ L = \int_{t_1}^{t_2} \sqrt{\left(\frac{dx}{dt}\right)^2 + \left(\frac{dy}{dt}\right)^2} \, dt $$

C. 极坐标 (\(r = f(\theta)\))

如果曲线由极坐标从 \(\theta=\alpha\) 到 \(\theta=\beta\) 定义： $$ L = \int_{\alpha}^{\beta} \sqrt{r^2 + \left(\frac{dr}{d\theta}\right)^2} \, d\theta $$

关键预处理： 在积分前，必须求出导数（\(\frac{dy}{dx}\)、\(\frac{dx}{dt}\) 或 \(\frac{dr}{d\theta}\)），平方它们，并尽可能简化根号下的表达式。这种简化往往能凑成完全平方，从而使积分变得简单。

4.2 旋转体表面积 (Surface Area of Revolution)

计算二维曲线绕轴旋转生成的 3D 表面面积。我们使用弧长公式，但要乘以 \(2\pi \times (\text{半径})\)。

公式为：\(\text{面积} = \int 2\pi (\text{半径}) \, dL\)

A. 绕 x 轴旋转

旋转半径为到 x 轴的距离，即 \(y\)。 $$ S_x = \int_a^b 2\pi y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} \, dx $$ （若是参数形式，用 \(y(t)\) 替换 \(y\)，用 \(\sqrt{(\frac{dx}{dt})^2 + (\frac{dy}{dt})^2} \, dt\) 替换 \(\sqrt{1 + (\frac{dy}{dx})^2} \, dx\)。）

B. 绕 y 轴旋转

旋转半径为到 y 轴的距离，即 \(x\)。 $$ S_y = \int_a^b 2\pi x \sqrt{1 + \left(\frac{dy}{dx}\right)^2} \, dx $$

注意：本大纲仅要求计算直角坐标或参数形式下的旋转体表面积。极坐标下的表面积计算不在此范围。

5. 积分近似、边界与导出不等式

本主题将面积近似的几何概念（使用矩形，称为黎曼和）与涉及求和的代数不等式联系起来。

5.1 使用矩形进行面积近似

定积分 \(\int_a^b f(x) \, dx\) 表示曲线下的面积。我们可以通过求和多个细窄矩形的面积来近似该面积。

• 如果函数 \(f(x)\) 在区间内单调递增，使用区间左端点计算高度得到的是下界近似值，使用右端点得到的是上界近似值。
• 如果函数 \(f(x)\) 是单调递减的，情况正好相反。

通过策略性地放置矩形（在曲线内或外），我们可以为精确的积分值建立严格的边界。

5.2 导出不等式

你应当能够使用此概念导出有关级数（和）的不等式或极限。这通常涉及将离散求和 \(\sum_{r=a}^b f(r)\) 与连续积分 \(\int_a^b f(x) \, dx\) 进行比较。

示例：调和级数与对数
考虑函数 \(f(x) = \frac{1}{x}\)，它在 \(x > 0\) 时是递减的。我们希望将求和 \(S_n = \sum_{r=1}^n \frac{1}{r}\) 与积分 \(\int \frac{1}{x} \, dx = \ln x\) 联系起来。

如果我们考虑从 \(r=1\) 到 \(r=n\)（单位宽度 \(\delta x = 1\)）的矩形求和：

• 上界： 如果使用区间 \([r, r+1]\) 的左端点，矩形高度为 \(f(r) = \frac{1}{r}\)。 $$ \sum_{r=1}^n \frac{1}{r} > \int_1^{n+1} \frac{1}{x} \, dx $$ $$ \sum_{r=1}^n \frac{1}{r} > [\ln x]_1^{n+1} = \ln(n+1) - \ln(1) = \ln(n+1) $$
• 下界： 如果使用每个区间的右端点，高度为 \(f(r+1)\)。此和略小于总和 \(S_n\)。 $$ \sum_{r=1}^{n-1} \frac{1}{r+1} < \int_1^n \frac{1}{x} \, dx $$ 如果看求和 \(S_n\) 并分离出第一项 (\(1\))： $$ S_n = 1 + \sum_{r=2}^n \frac{1}{r} $$ 利用积分 \(\int_1^n \frac{1}{x} \, dx = \ln n\)： $$ \sum_{r=2}^n \frac{1}{r} < \int_1^n \frac{1}{x} \, dx = \ln n $$ 因此，\(S_n = 1 + \sum_{r=2}^n \frac{1}{r} < 1 + \ln n\)。

结合这些边界，得出调和级数的标准不等式： $$ \ln(n+1) < \sum_{r=1}^n \frac{1}{r} < 1 + \ln n $$