三角函数积分的换元法

对于三角函数有理式的积分$\int R(\cos x,\sin x)dx$。
可以利用万能公式进行计算，但是也可以采用其它替换方法

• 如果$R(\cos x,-\sin x)=-R(\cos x,\sin x)$则用：
  $t=\cos x$ 进行替换。
• 如果$R(-\cos x,\sin x)=-R(\cos x,\sin x)$则用：
  $t=\sin x$ 进行替换。
• 如果$R(-\cos x,-\sin x)=R(\cos x,\sin x)$则用：
  $t=\tan x$ 进行替换。

如果不符合上述所有情况，则可以进行万能公式替换，然后通过有理函数积分进行求解。

证明（此处只证明1、3，2和1雷同）：

①我们令：
$$\frac{R(\cos x,\sin x)}{\sin x}=R_1(\cos x,\sin x)$$
则有：
$$R_1(\cos x,-\sin x)=\frac{R(\cos x,-\sin x)}{-\sin x}=\frac{R(\cos x,\sin x)}{\sin x}=R_1(\cos x,\sin x)$$
根据上式，我们可知$\sin x$是以偶数次方的形式出现，因此我们令：
$R_1(\cos x,\sin x)=R_2(\cos x,{\sin }^{2}x)$
根据此进行积分可得：
$\int R(\cos x, \sin x) d x=\int R_1(\cos x, \sin x)\sin x d x=\int R_2(\cos x, \sin^2 x)\sin x d x=-\int R_2(\cos x, \sin^2 x) d \cos x
$
我们令$t=\cos x$得：
$\int R(\cos x,\sin x)dx=-\int R(t,1-t^2)dt$, 这样便进行了有理化。

②此时：
$$R(\cos x,\sin x)=R(\cos x,\sin x\ast \tan x)=R_1(\cos x,\tan x)$$
则由此可得：
$$R(-\cos x,-\sin x)=R(\cos x,\sin x)=R_1(-\cos x,\tan x)=R_1(\cos x,\tan x)$$
根据上式，我们可知$\cos x$是以偶数次方的形式出现，因此我们令：
$$R_1(\cos x,\sin x)=R_2({\cos }^{2}x,\sin x)$$
根据此进行积分可得：
$$\int R(\cos x,\sin x)dx=\int R_1(\cos x,\tan x)dx=\int R_2({\cos }^{2}x,\sin x)dx$$

$$=-\int \frac{R_2(\frac{1}{1+t^2},t)}{1+t^2}dt$$

这样便进行了有理化。