简介：掌握积分的“捷径”
欢迎来到约化公式 (Reduction Formulae) 的世界！如果你曾经看着像 \(\int \sin^{10} x \, dx\) 这样的积分，心想：“难道除了做十次分部积分法（Integration by Parts）之外，就没有更好的办法了吗？”那么你来对地方了。
在 H3 数学中，我们会在 H2 微积分的基础上进一步延伸。约化公式本质上就是一条数学阶梯。它让我们能将一个高次方（如 \(n\)）的复杂积分，表示成一个次方较低（如 \(n-1\) 或 \(n-2\)）的简单版本。一旦建立了这种关系，我们就能顺着阶梯“逐级而下”，直到抵达一个可以直接得出答案的简单积分！
究竟什么是约化公式？
约化公式是一个方程，它将包含参数（通常是一个整数 \(n\)）的积分，链接到一个参数值较小的同类积分。
我们通常将这些积分记作 \(I_n\)。例如：
\(I_n = \int x^n e^x \, dx\)
此积分的约化公式看起来可能是 \(I_n = x^n e^x - n I_{n-1}\)。这告诉我们，如果想求 \(I_5\)，只需先求出 \(I_4\)，以此类推。
你知道吗？约化公式就像你在计算机科学中可能见过的“递归函数”（Recursive Functions）。它们通过将一个大问题拆解成该问题的一个稍小的版本来进行求解。
秘诀：分部积分法 (Integration by Parts, IBP)
要推导几乎所有的约化公式，我们都会用到 H2 的得力工具：分部积分法。
快速温习一下公式：
\( \int u \frac{dv}{dx} \, dx = uv - \int v \frac{du}{dx} \, dx \)
如果起初觉得棘手，不必担心！目标始终是选取 \(u\) 和 \(dv\)，使得第二个积分 (\( \int v \frac{du}{dx} \, dx \)) 看起来像原来的积分，只是次方降低了。
推导公式的步骤指南
1. 标记你的积分： 将原表达式称为 \(I_n\)。
2. 拆分项： 如果有 \(x^n\)，你可以保留它作为 \(u\)。如果你有 \(\sin^n x\)，可以将其拆分为 \(\sin^{n-1} x \cdot \sin x\)。
3. 运用 IBP： 对选定的 \(u\) 求导，并对选定的 \(dv\) 进行积分。
4. 重组： 将所有看起来像原积分的项移到方程的一侧。
5. 识别 \(I_{n-k}\)： 用标记（如 \(I_{n-1}\) 或 \(I_{n-2}\)）替换掉那个简化后的新积分。
快速回顾框：
- 目标： 将 \(I_n\) 与 \(I_{n-1}\) 或 \(I_{n-2}\) 连接起来。
- 主要工具： 分部积分法。
- 关键动作： 代数重组。
例题 1：代数幂次
让我们求 \(I_n = \int x^n e^x \, dx\) 的约化公式。
第 1 步：选择 u 和 dv。
令 \(u = x^n\) 且 \(\frac{dv}{dx} = e^x\)。
那么 \(\frac{du}{dx} = nx^{n-1}\) 且 \(v = e^x\)。
第 2 步：运用 IBP。
\(I_n = x^n e^x - \int (nx^{n-1}) e^x \, dx\)
第 3 步：简化并建立联系。
我们可以将常数 \(n\) 提到积分符号外：
\(I_n = x^n e^x - n \int x^{n-1} e^x \, dx\)
注意 \(\int x^{n-1} e^x \, dx\) 正是我们原来的 \(I_n\)，只是把 \(n\) 换成了 \(n-1\)！
所以，\(I_n = x^n e^x - n I_{n-1}\)。
登登！你刚刚推导出了你的第一个约化公式。
例题 2：三角函数的技巧
有时在 IBP 之后，你需要用到三角恒等式。让我们看看 \(I_n = \int \sin^n x \, dx\)。
技巧： 将 \(\sin^n x\) 拆分为 \(\sin^{n-1} x \cdot \sin x\)。
令 \(u = \sin^{n-1} x\) 且 \(\frac{dv}{dx} = \sin x\)。
对 \(u\) 求导：\(\frac{du}{dx} = (n-1)\sin^{n-2} x \cos x\)。
对 \(dv\) 积分：\(v = -\cos x\)。
运用 IBP：
\(I_n = -\sin^{n-1} x \cos x - \int (-\cos x)(n-1)\sin^{n-2} x \cos x \, dx\)
\(I_n = -\sin^{n-1} x \cos x + (n-1) \int \sin^{n-2} x \cos^2 x \, dx\)
恒等式： 使用 \(\cos^2 x = 1 - \sin^2 x\)。
\(I_n = -\sin^{n-1} x \cos x + (n-1) \int \sin^{n-2} x (1 - \sin^2 x) \, dx\)
\(I_n = -\sin^{n-1} x \cos x + (n-1) [\int \sin^{n-2} x \, dx - \int \sin^n x \, dx]\)
\(I_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2} - (n-1)I_n\)
最终重组：
将 \(-(n-1)I_n\) 移到左侧：
\(I_n + (n-1)I_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2}\)
\(n I_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2}\)
\(I_n = \frac{1}{n} [-\sin^{n-1} x \cos x + (n-1)I_{n-2}]\)
重点提示： 对于像 \(\sin^n x\) 或 \(\cos^n x\) 这样的三角函数，你通常会一次下降两个次方（即 \(I_{n-2}\)）而不是一个。
处理定积分
在考试题目中，经常会要求你计算带有上下限的定积分。过程是一样的，但你必须将 \(uv\) 部分代入上下限进行计算。
“基本情况”（Base Case）： 要找出特定值（如 \(I_4\)），你需要不断应用公式直到达到 \(I_0\) 或 \(I_1\)。
- \(I_0\) 通常非常容易求。如果 \(I_n = \int_0^{\pi/2} \sin^n x \, dx\)，那么 \(I_0 = \int_0^{\pi/2} 1 \, dx = \frac{\pi}{2}\)。
- \(I_1\) 只是该函数的标准积分。
应避免的常见错误
1. 忘记“n”系数： 当你进行分部积分时，来自幂次的 \(n\) 或 \(n-1\) 经常会变成乘数，别让它消失了！
2. 正负号错误： 特别是三角积分（如 \(\int \sin x = -\cos x\)），很容易遗漏负号。使用括号来保持计算清晰。
3. 下标标记错误： 确保你的 \(I_{n-1}\) 真实对应于 \(I_n\) 的定义。如果积分限或函数本身变了，它可能不再是同一个数列。
总结与重点回顾
1. 定义： 约化公式将 \(I_n\) 表示为 \(I_{n-1}\)、\(I_{n-2}\) 等项。
2. 技术： 分部积分法是你的主要武器。
3. 策略： 对于代数项（如 \(x^n\)），对 \(x^n\) 求导。对于三角项（如 \(\sin^n x\)），拆出一个因子来进行积分。
4. 应用： 反复使用公式，将高次方积分化简为一个可轻松求解的“基本情况”。
继续练习！约化公式看起来可能很吓人，因为方程很长，但步骤总是千篇一律。你只是在为得出答案搭建阶梯！