三角函数积分类型：偶次余弦幂分式积分求解问询

嘿，你之前处理奇次余弦的思路特别靠谱——利用$\cos^3x = \cos x(1-\sin^2x)$拆分后代换的方法很经典！遇到偶次余弦的时候，核心思路其实是降幂+有理化代换，或者通过分式拆分简化积分，我给你一步步拆解这个例子：

首先先把分母做个因式分解，让结构更清晰：
$\sin^2x + \sin^4x = \sin^2x(1+\sin2x)$，原式可以写成：
$$\int \dfrac{\cos^4x}{\sin2x(1+\sin^2x)} dx$$

方法一：分式拆分+三角恒等式简化 #

1. 先把偶次的$\cos^4x$用$\cos2x = 1-\sin^2x$展开：
   $\cos^4x = (1-\sin^2x)2 = 1 - 2\sin^2x + \sin^4x$
2. 观察分子和分母的关系，我们可以把分子改写为$(1+\sin^2x)2 - 4\sin^{2x$（展开验证：$(1+\sin}2x)^2 = 1+2\sin^2x+\sin4x$，减去$4\sin^{2x$正好等于$1-2\sin}2x+\sin^4x$）
3. 拆分分式，把复杂积分拆成几个简单的部分：
   $$\dfrac{(1+\sin^2x)2 - 4\sin^2x}{\sin2x(1+\sin^2x)} = \dfrac{1+\sin^2x}{\sin2x} - \dfrac{4\sin^2x}{\sin2x(1+\sin^2x)} = \csc^2x + 1 - \dfrac{4}{1+\sin^2x}$$
4. 分别计算三个部分的积分：
   • $\int \csc^2x dx = -\cot x + C_1$（这是基本积分公式，直接套用就行）
   • $\int 1 dx = x + C_2$
   • 处理$\int \dfrac{4}{1+\sin^2x} dx$：分子分母同除以$\cos^2x$，得到$\int \dfrac{4\sec^2x}{\sec2x + \tan^2x} dx$，再利用$\sec^2x=1+\tan2x$，分母变为$1+2\tan^2x$。令$u=\tan x$，则$du=\sec^2x dx$，积分转化为：
     $$\int \dfrac{4}{1+2u^2} du = 4 \cdot \dfrac{1}{\sqrt{2}} \arctan(\sqrt{2}u) + C_3 = 2\sqrt{2}\arctan(\sqrt{2}\tan x) + C_3$$
5. 把三部分合并，得到最终结果：
   $$x - \cot x - 2\sqrt{2}\arctan(\sqrt{2}\tan x) + C$$

方法二：余切代换转化为有理函数积分 #

如果觉得三角恒等式拆分有点绕，也可以用余切代换把积分完全转化为有理函数，避开三角函数的繁琐：

1. 分子分母同除以$\sin^4x$，原式变为：
   $$\int \dfrac{\cot^4x}{\csc2x + 1} dx$$
2. 利用$\csc^2x=1+\cot2x$，分母替换为$\cot^2x + 2$。令$t=\cot x$，则$dt=-\csc^2x dx=-(1+t^{2)dx$，即$dx=-\dfrac{dt}{1+t}2}$
3. 代入后积分转化为纯有理函数的积分：
   $$-\int \dfrac{t^4}{(t2+1)(t^2+2)} dt$$
4. 拆分这个有理函数：
   • 先把$t^4$写成$(t2+1)(t^2+2) - 3t^2 -2$（因为$(t^2+1)(t2+2)=t^4+3t2+2$），所以：
     $$\dfrac{t^4}{(t2+1)(t^2+2)} = 1 - \dfrac{3t^2+2}{(t2+1)(t^2+2)}$$
   • 再用待定系数法拆分$\dfrac{3t^2+2}{(t2+1)(t^{2+2)}$，得到$\dfrac{-1}{t}2+1} + \dfrac{4}{t^2+2}$
5. 展开积分并计算：
   $$-\int \left(1 + \dfrac{1}{t^2+1} - \dfrac{4}{t^2+2}\right) dt = -t - \arctan t + 2\sqrt{2}\arctan\left(\dfrac{t}{\sqrt{2}}\right) + C$$
6. 把$t=\cot x$代回，再利用$\arctan(\cot x)=\dfrac{\pi}{2}-x$合并常数，最终结果和方法一完全等价：
   $$x - \cot x + 2\sqrt{2}\arctan\left(\dfrac{\cot x}{\sqrt{2}}\right) + C'$$

其实不管余弦是奇次还是偶次，核心都是通过三角恒等式把积分转化为更容易处理的形式——要么拆分后用基本积分，要么通过代换转化为有理函数积分。偶次的关键就是降幂或者用余切/正切代换，消去三角函数的幂次差异～

内容的提问来源于stack exchange，提问作者Erald Sn