第一换元法

第一换元法

小象实战讲义 · 人工智能数学基础

在上一节中，我们学习了不定积分的概念和基于基本积分公式的直接积分法。然而，面对更复杂的被积函数，直接套用公式往往行不通。本节将介绍不定积分计算中最核心、最常用的技巧之一——第一换元法（也称凑微分法）。掌握它，你将能处理大量复合函数形式的积分问题，为后续学习更高级的积分技巧和解决实际模型中的积分计算打下坚实基础。

💡 核心导读

本节将引导你掌握第一换元法的精髓，你将学到：

1. 原理溯源：从复合函数求导的链式法则出发，逆向推导出第一换元法的基本公式。
2. 操作心法：理解“凑微分”的本质——识别被积函数中隐含的“函数”与“其微分”，并将其组合成一个新的微分单元。
3. 典型套路：通过多项式、有理分式、三角函数等经典例题，熟悉常见的凑微分模式。
4. 技巧进阶：学习处理特殊形式（如平方差、和平方）的分式积分，以及利用三角恒等式进行巧妙换元。
5. 实践验证：使用 Python 的 SymPy 库验证换元积分的结果，加深对计算过程的理解。

第一换元法的原理与公式

第一换元法的思想源于复合函数求导的逆运算。回顾链式法则：若 $F’(u) = f(u)$ 且 $u = \phi(x)$，则 $$\frac{d}{dx} F(\phi(x)) = F’(\phi(x)) \cdot \phi’(x) = f(\phi(x)) \cdot \phi’(x).$$

对上述等式两边求不定积分，左边是 $F(\phi(x))$ 的导数积分，结果自然是 $F(\phi(x)) + C$。于是我们得到： $$\int f(\phi(x)) \cdot \phi’(x) , dx = F(\phi(x)) + C.$$

观察积分表达式 $\int f(\phi(x)) \cdot \phi’(x) , dx$。根据微分的定义，$\phi’(x) dx = d\phi(x)$。因此，积分可以改写为： $$\int f(\phi(x)) , d\phi(x).$$

如果我们令中间变量 $u = \phi(x)$，则上式变为 $\int f(u) , du$。这正是我们熟悉的、以 $u$ 为积分变量的形式。若其原函数为 $F(u)$，则最终结果为 $F(\phi(x)) + C$。

第一换元法（凑微分法）的核心公式： $$\int f(\phi(x)) \phi’(x) dx = \int f(\phi(x)) d\phi(x) \overset{u=\phi(x)}{=} \int f(u) du = F(u) + C = F(\phi(x)) + C.$$

操作关键：在给定的积分 $\int g(x) dx$ 中，识别出它可以被看作 $f(\phi(x)) \cdot \phi’(x)$ 的形式，从而将 $\phi’(x) dx$ “凑”成微分 $d\phi(x)$，完成换元。

基础应用：从识别到凑微分

让我们通过几个例子来熟悉这一过程。

例1：求 $\int \tan x , dx$。

我们知道 $\tan x = \frac{\sin x}{\cos x}$。观察分子 $\sin x$，它恰好是分母 $\cos x$ 的导数的相反数，即 $\sin x = -(\cos x)‘$。这提示我们可以进行凑微分。

$$\begin{aligned} \int \tan x , dx &= \int \frac{\sin x}{\cos x} dx \ &= \int \frac{-(\cos x)’}{\cos x} dx \quad \text{(识别出导数关系)} \ &= -\int \frac{1}{\cos x} d(\cos x) \quad \text{(凑微分： } (\cos x)’ dx = d\cos x \text{)} \end{aligned}$$

令 $u = \cos x$，则积分变为 $-\int \frac{1}{u} du = -\ln|u| + C$。回代 $u = \cos x$，得到： $$\int \tan x , dx = -\ln|\cos x| + C.$$

利用对数性质，上式也可写作 $\ln|\sec x| + C$。

例2：求 $\int \frac{x}{1+x^4} dx$。

直接积分困难。注意到分母是 $x^2$ 的平方加1，而分子 $x$ 与 $x^2$ 的微分 $d(x^2) = 2x dx$ 密切相关。我们可以尝试凑出 $x^2$ 的微分。

$$\begin{aligned} \int \frac{x}{1+x^4} dx &= \int \frac{x}{1+(x^2)^2} dx \ &= \frac{1}{2} \int \frac{1}{1+(x^2)^2} \cdot (2x dx) \quad \text{(凑出系数 } 2 \text{，以匹配 } d(x^2) \text{)} \ &= \frac{1}{2} \int \frac{1}{1+(x^2)^2} d(x^2) \quad \text{(完成凑微分)} \end{aligned}$$

令 $u = x^2$，则积分变为 $\frac{1}{2} \int \frac{1}{1+u^2} du = \frac{1}{2} \arctan u + C$。回代 $u = x^2$： $$\int \frac{x}{1+x^4} dx = \frac{1}{2} \arctan(x^2) + C.$$

技巧进阶：分式分解与三角恒等变换

对于更复杂的分式或三角函数积分，需要结合代数变形或恒等变换来创造凑微分的机会。

例3：求 $\int \frac{1}{a^2 - x^2} dx \quad (a>0)$。

分母是平方差形式，可以尝试分式分解。 $$\frac{1}{a^2 - x^2} = \frac{1}{(a-x)(a+x)} = \frac{1}{2a} \left( \frac{1}{a+x} + \frac{1}{a-x} \right).$$ 于是， $$\begin{aligned} \int \frac{1}{a^2 - x^2} dx &= \frac{1}{2a} \int \left( \frac{1}{a+x} + \frac{1}{a-x} \right) dx \ &= \frac{1}{2a} \left[ \int \frac{1}{a+x} dx + \int \frac{1}{a-x} dx \right]. \end{aligned}$$ 对于第一个积分，显然有 $\int \frac{1}{a+x} dx = \int \frac{1}{a+x} d(a+x) = \ln|a+x|$。 对于第二个积分，注意到 $d(a-x) = -dx$，所以 $dx = -d(a-x)$。因此， $$\int \frac{1}{a-x} dx = \int \frac{1}{a-x} \cdot [-d(a-x)] = -\int \frac{1}{a-x} d(a-x) = -\ln|a-x|.$$ 综合起来： $$\int \frac{1}{a^2 - x^2} dx = \frac{1}{2a} (\ln|a+x| - \ln|a-x|) + C = \frac{1}{2a} \ln\left| \frac{a+x}{a-x} \right| + C.$$

例4：求 $\int \frac{1}{a^2 + x^2} dx \quad (a>0)$。

目标是凑成反正切导数 $\frac{1}{1+u^2}$ 的形式。通过提取常数因子实现： $$\begin{aligned} \int \frac{1}{a^2 + x^2} dx &= \int \frac{1}{a^2 \left(1 + \left(\frac{x}{a}\right)^2\right)} dx \ &= \frac{1}{a^2} \int \frac{1}{1 + \left(\frac{x}{a}\right)^2} dx. \end{aligned}$$ 现在，我们希望凑出 $d\left(\frac{x}{a}\right)$。因为 $d\left(\frac{x}{a}\right) = \frac{1}{a} dx$，所以 $dx = a \cdot d\left(\frac{x}{a}\right)$。代入上式： $$\frac{1}{a^2} \int \frac{1}{1 + \left(\frac{x}{a}\right)^2} \cdot \left[ a \cdot d\left(\frac{x}{a}\right) \right] = \frac{1}{a} \int \frac{1}{1 + \left(\frac{x}{a}\right)^2} d\left(\frac{x}{a}\right).$$ 令 $u = \frac{x}{a}$，积分变为 $\frac{1}{a} \int \frac{1}{1+u^2} du = \frac{1}{a} \arctan u + C$。回代得： $$\int \frac{1}{a^2 + x^2} dx = \frac{1}{a} \arctan\left(\frac{x}{a}\right) + C.$$

例5：求 $\int \csc x , dx$，其中 $\csc x = \frac{1}{\sin x}$。

这是一个经典的技巧性例题。直接处理 $\frac{1}{\sin x}$ 困难。利用三角恒等式 $\sin x = 2 \sin\frac{x}{2} \cos\frac{x}{2}$ 进行降次（实际是升次）： $$\int \csc x , dx = \int \frac{1}{\sin x} dx = \int \frac{1}{2 \sin\frac{x}{2} \cos\frac{x}{2}} dx.$$ 进一步，将 $\sin\frac{x}{2}$ 写作 $\frac{\tan\frac{x}{2}}{\sec\frac{x}{2}} = \tan\frac{x}{2} \cdot \cos\frac{x}{2}$（因为 $\sec = 1/\cos$）。代入： $$= \int \frac{1}{2 \cdot (\tan\frac{x}{2} \cos\frac{x}{2}) \cdot \cos\frac{x}{2}} dx = \int \frac{1}{2 \tan\frac{x}{2} \cos^2\frac{x}{2}} dx.$$ 注意到 $d\left(\tan\frac{x}{2}\right) = \sec^2\frac{x}{2} \cdot \frac{1}{2} dx = \frac{1}{2\cos^2\frac{x}{2}} dx$。因此，$\frac{1}{2\cos^2\frac{x}{2}} dx = d\left(\tan\frac{x}{2}\right)$。 将其代入原积分： $$\int \csc x , dx = \int \frac{1}{\tan\frac{x}{2}} \cdot \left[ \frac{1}{2\cos^2\frac{x}{2}} dx \right] = \int \frac{1}{\tan\frac{x}{2}} d\left(\tan\frac{x}{2}\right).$$ 令 $u = \tan\frac{x}{2}$，则积分变为 $\int \frac{1}{u} du = \ln|u| + C$。回代得： $$\int \csc x , dx = \ln\left| \tan\frac{x}{2} \right| + C.$$

用 SymPy 验证换元积分

理论学习后，我们可以借助 Python 的符号计算库 SymPy 来验证我们的积分结果，这既能检验计算正确性，也能辅助理解。

import sympy as sp

# 定义符号变量
x, a = sp.symbols('x a', real=True)
C = sp.symbols('C') # 积分常数

# 例1: tan(x) 的积分
expr1 = sp.tan(x)
int_result1 = sp.integrate(expr1, x)
print("例1: ∫ tan(x) dx =", int_result1)
# 验证：对结果求导应等于被积函数
print("验证导数:", sp.diff(int_result1, x).simplify(), "== tan(x)?", sp.simplify(sp.diff(int_result1, x) - expr1) == 0)
print("-" * 50)

# 例2: x/(1+x^4) 的积分
expr2 = x / (1 + x**4)
int_result2 = sp.integrate(expr2, x)
print("例2: ∫ x/(1+x^4) dx =", int_result2)
print("验证导数:", sp.diff(int_result2, x).simplify(), "== 原式?", sp.simplify(sp.diff(int_result2, x) - expr2) == 0)
print("-" * 50)

# 例3: 1/(a^2 - x^2) 的积分 (假设a>0)
expr3 = 1 / (a**2 - x**2)
int_result3 = sp.integrate(expr3, x)
print("例3: ∫ 1/(a^2 - x^2) dx =", int_result3)
# 注意：SymPy可能给出基于反双曲函数的等价形式，我们验证其导数
print("验证导数:", sp.diff(int_result3, x).simplify())
print("-" * 50)

# 例4: 1/(a^2 + x^2) 的积分
expr4 = 1 / (a**2 + x**2)
int_result4 = sp.integrate(expr4, x)
print("例4: ∫ 1/(a^2 + x^2) dx =", int_result4)
print("验证导数:", sp.diff(int_result4, x).simplify(), "== 原式?", sp.simplify(sp.diff(int_result4, x) - expr4) == 0)
print("-" * 50)

# 例5: csc(x) 的积分
expr5 = 1 / sp.sin(x)  # csc(x)
int_result5 = sp.integrate(expr5, x)
print("例5: ∫ csc(x) dx =", int_result5)
# SymPy可能给出ln形式，验证其导数
print("验证导数:", sp.diff(int_result5, x).simplify())

运行此代码，你可以看到 SymPy 计算出的积分结果（可能形式略有不同，但等价），并通过求导验证了其正确性。这有助于巩固对换元积分结果的理解。

📝 动手练一练

1. 运用第一换元法计算不定积分：$\int \frac{e^{\sqrt{x}}}{\sqrt{x}} dx$。 提示：观察 $\sqrt{x}$ 与其微分之间的关系。

2. 计算不定积分：$\int \cos^3 x \sin x , dx$。 提示：考虑 $\cos x$ 与 $\sin x$ 的导数关系。

参考答案：

1. 令 $u = \sqrt{x}$，则 $du = \frac{1}{2\sqrt{x}} dx$，故 $\frac{1}{\sqrt{x}} dx = 2 du$。原积分 $= \int e^u \cdot 2 du = 2e^u + C = 2e^{\sqrt{x}} + C$。
2. 注意到 $(\cos x)’ = -\sin x$，所以 $\sin x dx = -d(\cos x)$。原积分 $= \int \cos^3 x \cdot (-d(\cos x)) = -\int u^3 du$ （令 $u=\cos x$）$= -\frac{1}{4}u^4 + C = -\frac{1}{4}\cos^4 x + C$。

本章小结

本节深入探讨了不定积分计算的核心工具——第一换元法（凑微分法）。我们认识到，其实质是复合函数求导链式法则的逆运算。成功应用此法的关键在于敏锐地识别被积函数中“某个函数 $\phi(x)$”与“其微分 $\phi’(x)dx$”同时存在的结构，并通过恒等变形将其凑成 $d\phi(x)$ 的形式，从而简化积分。

学完本节，你的行动清单是：

1. 理解并默写公式：熟练掌握第一换元法的核心公式 $\int f(\phi(x))\phi’(x)dx = \int f(\phi(x)) d\phi(x)$，并理解每一步的数学含义。
2. 积累常见模式：整理并记忆例题中出现的经典凑微分模式，如：$x dx$ 与 $d(x^2)$，$\sin x dx$ 与 $d(\cos x)$，$\frac{1}{1+(kx)^2} dx$ 与 $d(kx)$ 等。
3. 动手实践验证：对于课后练习或自己找到的题目，不仅要用换元法手工计算，也尝试用 SymPy 等工具进行结果验证，确保计算准确并理解不同结果形式间的等价性。

— 小象教研组