形如1/(a+bsinx)的积分公式的证明

需要求解的积分具有如下形式：
$$\int \frac{1}{a+b\sin x}dx$$
这种积分比较常见，可以考虑记一下它的结果，结果为：

$$\int \frac{1}{a+b\sin x}dx=\frac{2}{\sqrt{a^2-b^2}}\cdot \arctan \cdot \left\{\frac{a\tan \left(\frac{x}{2}\right)+b}{\sqrt{a^2-b^2}}\right\}$$

---

证：

已知
$$\sin x=\frac{2\tan \frac{x}{2}}{1+{\tan }^2\frac{x}{2}}$$

故有
$$\int \frac{1}{a+b\sin x}dx=\int \frac{1}{a+b\frac{2\tan \frac{x}{2}}{1+{\tan }^2\frac{x}{2}}}dx(\ast )$$

令$\tan \frac{x}{2}=t$，则$dx=\frac{2}{1+t^2}dt$
则有
$$\begin{array}{rl}\int \frac{1}{a+b\cdot \frac{2t}{1+t^2}}\cdot \frac{2}{1+t^2}dt& =\frac{1}{a}\int \frac{2}{1+t^2+\frac{2b}{a}t}dt\\ & =\frac{2}{a}\int \frac{1}{t^2+\frac{2b}{a}t+\frac{b^2}{a^2}+1-\frac{b^2}{a^2}}dt\\ & =\frac{2}{a}\frac{1}{1-\frac{b^2}{a^2}}\int \frac{1}{\frac{a^2}{a^2-b^2}\cdot {\left(t+\frac{b}{a}\right)}^2+1}dt(\ast \ast )\end{array}$$

再令$y=\frac{a}{\sqrt{a^2-b^2}}\cdot \left(t+\frac{b}{a}\right)$，则$dt=\frac{\sqrt{a^2-b^2}}{a}dy$

故有
$$\begin{array}{rl}(\ast \ast )& =\frac{2a}{a^2-b^2}\int \frac{\sqrt{a^2-b^2}/a}{y^2+1}dy\\ & =\frac{2}{\sqrt{a^2-b^2}}\arctan y(\ast \ast \ast )\end{array}$$

最后再将$y=\frac{a}{\sqrt{a^2-b^2}}\left(\tan \frac{x}{2}+\frac{b}{a}\right)$代入$(\ast \ast \ast )$中便可证得。