三角替换

三角替换

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

在求解不定积分时，我们常常会遇到被积函数包含三角函数的情形。面对这类问题，直接积分往往困难重重。本节将系统介绍处理三角函数积分问题的核心策略——三角替换，特别是被誉为“万能”的通用替换法。通过学习，你将掌握将复杂的三角有理式转化为标准有理式积分的方法，并理解其适用场景与局限性，从而在面对相关积分时能选择最有效的求解路径。

💡 核心导读

• 万能替换原理：通过令 $t = \tan \frac{x}{2}$，可以将任意关于 $\sin x, \cos x$ 的有理式 $R(\sin x, \cos x)$ 转化为关于 $t$ 的有理式积分。
• 替换公式推导：基于二倍角公式，可推导出 $\sin x = \frac{2t}{1+t^2}$, $\cos x = \frac{1-t^2}{1+t^2}$, $dx = \frac{2}{1+t^2} dt$ 这一组核心关系。
• 策略选择：万能替换是通用但计算可能繁琐的“终极大招”。对于特定结构的被积函数（如仅含 $\sin x$ 和 $\cos x$ 的奇偶次幂组合），存在更简洁的三角恒等变换或换元技巧。
• 认知边界：并非所有初等函数的原函数都能用初等函数表示（如 $\int e^{-x^2} dx$）。当用尽技巧仍无法求解时，应借助数学软件验证。

万能替换：三角有理式积分的通用解法

三角函数的有理式，是指由三角函数（如 $\sin x, \cos x, \tan x$ 等）及常数经过有限次加、减、乘、除运算所构成的表达式，记作 $R(\sin x, \cos x)$。例如： $$\frac{\sin^2 x + 2\cos x}{3\sin x - \cos^3 x}, \quad \frac{1}{1 + \sin x + \cos x}$$ 都是三角有理式。而像 $\sqrt{\sin x}$ 或 $\ln(\cos x)$ 则不是。

对于这类积分，一种强有力的通用方法是万能替换（亦称 Weierstrass 替换）： $$\boxed{t = \tan \frac{x}{2}}$$ 其核心思想是将所有三角函数统一用 $t$ 表示，从而将三角有理式的积分转化为关于 $t$ 的普通有理式的积分。

推导替换公式：

1. $\sin x$ 与 $\cos x$：利用二倍角公式 $\sin x = 2\sin\frac{x}{2}\cos\frac{x}{2}$，分子分母同除以 $\cos^2\frac{x}{2}$，并结合 $t = \tan\frac{x}{2}$，可得： $$\sin x = \frac{2\tan\frac{x}{2}}{1 + \tan^2\frac{x}{2}} = \frac{2t}{1+t^2}$$ 同理， $$\cos x = \frac{1 - \tan^2\frac{x}{2}}{1 + \tan^2\frac{x}{2}} = \frac{1-t^2}{1+t^2}$$
2. 微分关系：由 $t = \tan\frac{x}{2}$，两边微分得 $dt = \frac{1}{2}\sec^2\frac{x}{2} dx = \frac{1}{2}(1+t^2) dx$，所以： $$dx = \frac{2}{1+t^2} dt$$
3. 其他三角函数：可由 $\sin x$ 和 $\cos x$ 导出，例如： $$\tan x = \frac{\sin x}{\cos x} = \frac{2t}{1-t^2}, \quad \cot x = \frac{1-t^2}{2t}$$

应用示例：计算积分 $\int \frac{dx}{1+\sin x + \cos x}$。

1. 令 $t = \tan \frac{x}{2}$，则 $\sin x = \frac{2t}{1+t^2}$, $\cos x = \frac{1-t^2}{1+t^2}$, $dx = \frac{2}{1+t^2} dt$。
2. 代入原积分： $$\begin{aligned} I &= \int \frac{1}{1 + \frac{2t}{1+t^2} + \frac{1-t^2}{1+t^2}} \cdot \frac{2}{1+t^2} dt \ &= \int \frac{1}{\frac{(1+t^2) + 2t + (1-t^2)}{1+t^2}} \cdot \frac{2}{1+t^2} dt \ &= \int \frac{1}{2+2t} \cdot 2 dt \ &= \int \frac{dt}{1+t} \ &= \ln|1+t| + C \end{aligned}$$
3. 将 $t = \tan\frac{x}{2}$ 代回，得到最终结果： $$I = \ln\left| 1 + \tan\frac{x}{2} \right| + C$$

万能替换是普适的，但计算过程可能产生复杂的有理式，需要运用部分分式分解等方法，计算量较大。因此，它常作为其他方法失效时的备选方案。

灵活运用三角恒等式与换元

万能替换虽“万能”，却非总是最简捷的。针对特定结构的被积函数，灵活运用三角恒等式和简单的换元法，往往能事半功倍。

策略一：利用微分形式直接凑微分 当被积函数可视为某个三角函数的复合函数与其导数的乘积时，直接换元是最佳选择。

示例：计算 $\int \frac{\cos x}{1+\sin^2 x} dx$。 观察到 $\cos x dx = d(\sin x)$。令 $t = \sin x$，则 $dt = \cos x dx$，积分化为： $$\int \frac{\cos x}{1+\sin^2 x} dx = \int \frac{dt}{1+t^2} = \arctan t + C = \arctan(\sin x) + C$$

策略二：针对 $\sin x$ 与 $\cos x$ 的齐次分式 对于形如 $\int R(\sin x, \cos x) dx$ 的积分，若 $R$ 是关于 $\sin x, \cos x$ 的齐次有理式（或可通过变形化为齐次），常考虑令 $t = \tan x$。

示例：计算 $\int \frac{dx}{\cos x (\sin x + \cos x)}$。

1. 分子分母同除以 $\cos x$，将被积函数化为关于 $\tan x$ 的表达式： $$\frac{1}{\cos x (\sin x + \cos x)} = \frac{\sec x}{\sin x + \cos x} = \frac{\sec x}{\cos x (\tan x + 1)} = \frac{\sec^2 x}{\tan x + 1}$$ 更直接地：$\frac{1}{\cos x (\sin x + \cos x)} = \frac{1}{\cos^2 x} \cdot \frac{1}{\tan x + 1} = \frac{\sec^2 x}{\tan x + 1}$。
2. 令 $t = \tan x$，则 $dt = \sec^2 x dx$，积分化为： $$\int \frac{\sec^2 x}{\tan x + 1} dx = \int \frac{dt}{t+1} = \ln|t+1| + C = \ln|\tan x + 1| + C$$ 注意：此结果与视频中通过部分分式得到的结果 $\frac{1}{2}\ln|\cos x + \sin x| + x + C$ 形式不同，但经求导验证或利用三角恒等式可证明二者仅相差一个常数，这是不定积分中允许的。

策略三：处理三角函数的偶次幂——倍角与半角公式 当被积函数是 $\sin x$ 或 $\cos x$ 的偶次幂时，利用倍角公式 $\cos 2\theta = 2\cos^2\theta - 1 = 1 - 2\sin^2\theta$ 或半角公式进行降幂是关键。

示例：计算 $\int \cos^4 x dx$。 利用降幂公式： $$\begin{aligned} \cos^4 x &= (\cos^2 x)^2 = \left( \frac{1+\cos 2x}{2} \right)^2 \ &= \frac{1}{4}(1 + 2\cos 2x + \cos^2 2x) \ &= \frac{1}{4}\left[1 + 2\cos 2x + \frac{1+\cos 4x}{2} \right] \ &= \frac{1}{8}(3 + 4\cos 2x + \cos 4x) \end{aligned}$$ 然后逐项积分： $$\begin{aligned} \int \cos^4 x dx &= \frac{1}{8} \int (3 + 4\cos 2x + \cos 4x) dx \ &= \frac{1}{8} \left( 3x + 2\sin 2x + \frac{1}{4}\sin 4x \right) + C \ &= \frac{3}{8}x + \frac{1}{4}\sin 2x + \frac{1}{32}\sin 4x + C \end{aligned}$$ 这种方法思路清晰，避免了复杂的有理式运算。

import sympy as sp

# 示例：使用sympy验证万能替换和简单换元的结果
x, u = sp.symbols('x u')
# 验证万能替换示例的结果
expr1 = 1/(1 + sp.sin(x) + sp.cos(x))
# 使用sympy直接积分
integral_direct = sp.integrate(expr1, x)
print("直接积分结果:", integral_direct.simplify())

# 手动应用万能替换进行验证（令 u = tan(x/2)，用独立符号 u 积分）
sin_sub = 2*u/(1+u**2)
cos_sub = (1-u**2)/(1+u**2)
dx_sub = 2/(1+u**2)
expr_sub = (1/(1 + sin_sub + cos_sub)) * dx_sub
# 对u积分，然后代回 u = tan(x/2)
integral_u = sp.integrate(expr_sub, u).subs(u, sp.tan(x/2))
print("万能替换后积分再代回的结果:", integral_u.simplify())

# 验证两个结果是否等价（可能相差一个常数）
print("两者之差为常数:", (integral_direct - integral_u).simplify())

# 验证简单换元示例的结果
expr2 = sp.cos(x)/(1 + sp.sin(x)**2)
integral_expr2 = sp.integrate(expr2, x)
print("\n∫cosx/(1+sin²x) dx =", integral_expr2)

认知边界：原函数的初等表示问题

一个重要的数学事实是：并非所有初等函数的原函数都能用初等函数表示。所谓初等函数，是指由常数、幂函数、指数函数、对数函数、三角函数、反三角函数这六类基本初等函数经过有限次四则运算和复合运算所构成的函数。

例如，下列积分（原函数）无法用初等函数表示： $$\int e^{-x^2} dx, \quad \int \frac{\sin x}{x} dx, \quad \int \frac{dx}{\ln x}, \quad \int \sqrt{1-k^2\sin^2 x} dx \ (0<k^2<1)$$ 尽管这些函数在其定义域内连续，原函数必然存在，但其原函数无法用我们熟悉的有限形式的初等函数组合来表达。在概率论、物理学等领域，这类积分通常以特殊函数（如误差函数 $\text{erf}(x)$、正弦积分 $\text{Si}(x)$、椭圆积分等）的形式被定义和研究。

因此，在求解不定积分时，如果尝试了所有常规技巧（换元、分部积分、三角替换、有理式分解等）仍无法得出结果，一个合理的步骤是使用数学软件（如 Mathematica, Maple, SymPy）进行验证。这有助于判断问题是源于技巧不足，还是该积分本就“不可积”（指原函数无初等表示）。

📝 动手练一练

1. 计算积分：$\int \frac{dx}{2\sin x + \cos x + 3}$。

2. 计算积分：$\int \sin^2 x \cos^4 x dx$。（提示：考虑使用倍角公式降幂，或利用 $\sin^2 x = 1 - \cos^2 x$ 进行变形）

参考答案：

1. 令 $t = \tan \frac{x}{2}$，代入万能替换公式，原积分化为 $\int \frac{dt}{t^2 + 2t + 2}$。配方后得到 $\int \frac{dt}{(t+1)^2 + 1} = \arctan(t+1) + C$。代回 $t$，得 $\arctan(\tan\frac{x}{2} + 1) + C$。
2. 方法一：利用恒等式 $\sin^2 x \cos^4 x = (\sin x \cos x)^2 \cos^2 x = \frac{1}{4}\sin^2 2x \cdot \frac{1+\cos 2x}{2} = \frac{1}{8}\sin^2 2x + \frac{1}{8}\sin^2 2x \cos 2x$。分别计算 $\int \sin^2 2x dx = \frac{x}{2} - \frac{\sin 4x}{8} + C_1$ 和 $\int \sin^2 2x \cos 2x dx$（令 $u=\sin 2x$），最后合并。方法二：直接使用 sympy 等工具可得结果为 $\frac{x}{16} - \frac{\sin 2x}{64} - \frac{\sin 4x}{64} + \frac{\sin^3 2x}{48} + C$。

本章小结

本节深入探讨了求解三角函数积分问题的核心方法——三角替换，并建立了清晰的解题策略层次。

要点回顾：

• 万能替换 ($t = \tan\frac{x}{2}$) 是处理三角有理式 $R(\sin x, \cos x)$ 积分的通用且系统的方法，其核心是将三角积分转化为有理式积分。
• 灵活换元与恒等变形 往往更为高效。例如：凑微分 $d(\sin x)$ 或 $d(\cos x)$；对于含 $\tan x$ 的表达式令 $t = \tan x$；对偶次幂运用倍角/半角公式降幂。
• 认知边界：接受“某些初等函数的原函数无初等表示”这一事实，并学会在必要时借助数学软件进行验证与求解。

行动清单：

1. 熟记公式：熟练掌握万能替换的三个核心公式 $\sin x = \frac{2t}{1+t^2}$, $\cos x = \frac{1-t^2}{1+t^2}$, $dx = \frac{2}{1+t^2} dt$，并理解其推导过程。
2. 优先判断：遇到三角函数积分时，养成先观察结构，优先尝试简单换元或恒等变形，将万能替换作为备选方案的习惯。
3. 工具实践：使用 Python 的 SymPy 库验证本节例题及练习题的结果，体验符号计算在验证积分结果和探索“不可积”积分方面的强大功能。

— 小象教研组