$$$\frac{1}{3 \cos{\left(x \right)} - 5}$$$の積分

$$$\int \frac{1}{3 \cos{\left(x \right)} - 5}\, dx$$$ を求めよ。

公式$$$\cos{\left(x \right)}=\frac{1 - \tan^{2}{\left(\frac{x}{2} \right)}}{\tan^{2}{\left(\frac{x}{2} \right)} + 1}$$$を用いて被積分関数を書き換えよ:

$${\color{red}{\int{\frac{1}{3 \cos{\left(x \right)} - 5} d x}}} = {\color{red}{\int{\frac{1}{\frac{3 \left(1 - \tan^{2}{\left(\frac{x}{2} \right)}\right)}{\tan^{2}{\left(\frac{x}{2} \right)} + 1} - 5} d x}}}$$

$$$u=\tan{\left(\frac{x}{2} \right)}$$$ とする。

すると $$$x=2 \operatorname{atan}{\left(u \right)}$$$ および $$$dx=\left(2 \operatorname{atan}{\left(u \right)}\right)^{\prime }du = \frac{2}{u^{2} + 1} du$$$（手順は»で確認できます）。

したがって、

$${\color{red}{\int{\frac{1}{\frac{3 \left(1 - \tan^{2}{\left(\frac{x}{2} \right)}\right)}{\tan^{2}{\left(\frac{x}{2} \right)} + 1} - 5} d x}}} = {\color{red}{\int{\frac{2}{\left(u^{2} + 1\right) \left(\frac{3 \left(1 - u^{2}\right)}{u^{2} + 1} - 5\right)} d u}}}$$

簡単化:

$${\color{red}{\int{\frac{2}{\left(u^{2} + 1\right) \left(\frac{3 \left(1 - u^{2}\right)}{u^{2} + 1} - 5\right)} d u}}} = {\color{red}{\int{\left(- \frac{1}{4 u^{2} + 1}\right)d u}}}$$

定数倍の法則 $$$\int c f{\left(u \right)}\, du = c \int f{\left(u \right)}\, du$$$ を、$$$c=-1$$$ と $$$f{\left(u \right)} = \frac{1}{4 u^{2} + 1}$$$ に対して適用する:

$${\color{red}{\int{\left(- \frac{1}{4 u^{2} + 1}\right)d u}}} = {\color{red}{\left(- \int{\frac{1}{4 u^{2} + 1} d u}\right)}}$$

$$$v=2 u$$$ とする。

すると $$$dv=\left(2 u\right)^{\prime }du = 2 du$$$（手順は»で確認できます）、$$$du = \frac{dv}{2}$$$ となります。

この積分は次のように書き換えられる

$$- {\color{red}{\int{\frac{1}{4 u^{2} + 1} d u}}} = - {\color{red}{\int{\frac{1}{2 \left(v^{2} + 1\right)} d v}}}$$

定数倍の法則 $$$\int c f{\left(v \right)}\, dv = c \int f{\left(v \right)}\, dv$$$ を、$$$c=\frac{1}{2}$$$ と $$$f{\left(v \right)} = \frac{1}{v^{2} + 1}$$$ に対して適用する:

$$- {\color{red}{\int{\frac{1}{2 \left(v^{2} + 1\right)} d v}}} = - {\color{red}{\left(\frac{\int{\frac{1}{v^{2} + 1} d v}}{2}\right)}}$$

$$$\frac{1}{v^{2} + 1}$$$ の不定積分は $$$\int{\frac{1}{v^{2} + 1} d v} = \operatorname{atan}{\left(v \right)}$$$ です:

$$- \frac{{\color{red}{\int{\frac{1}{v^{2} + 1} d v}}}}{2} = - \frac{{\color{red}{\operatorname{atan}{\left(v \right)}}}}{2}$$

次のことを思い出してください $$$v=2 u$$$:

$$- \frac{\operatorname{atan}{\left({\color{red}{v}} \right)}}{2} = - \frac{\operatorname{atan}{\left({\color{red}{\left(2 u\right)}} \right)}}{2}$$

次のことを思い出してください $$$u=\tan{\left(\frac{x}{2} \right)}$$$:

$$- \frac{\operatorname{atan}{\left(2 {\color{red}{u}} \right)}}{2} = - \frac{\operatorname{atan}{\left(2 {\color{red}{\tan{\left(\frac{x}{2} \right)}}} \right)}}{2}$$

したがって、

$$\int{\frac{1}{3 \cos{\left(x \right)} - 5} d x} = - \frac{\operatorname{atan}{\left(2 \tan{\left(\frac{x}{2} \right)} \right)}}{2}$$

積分定数を加える:

$$\int{\frac{1}{3 \cos{\left(x \right)} - 5} d x} = - \frac{\operatorname{atan}{\left(2 \tan{\left(\frac{x}{2} \right)} \right)}}{2}+C$$

$$$\int \frac{1}{3 \cos{\left(x \right)} - 5}\, dx = - \frac{\operatorname{atan}{\left(2 \tan{\left(\frac{x}{2} \right)} \right)}}{2} + C$$$A