$$$1 - \tan{\left(x \right)}$$$の積分

$$$\int \left(1 - \tan{\left(x \right)}\right)\, dx$$$ を求めよ。

項別に積分せよ:

$${\color{red}{\int{\left(1 - \tan{\left(x \right)}\right)d x}}} = {\color{red}{\left(\int{1 d x} - \int{\tan{\left(x \right)} d x}\right)}}$$

$$$c=1$$$ に対して定数則 $$$\int c\, dx = c x$$$ を適用する:

$$- \int{\tan{\left(x \right)} d x} + {\color{red}{\int{1 d x}}} = - \int{\tan{\left(x \right)} d x} + {\color{red}{x}}$$

正接を$$$\tan\left(x\right)=\frac{\sin\left(x\right)}{\cos\left(x\right)}$$$に書き換える:

$$x - {\color{red}{\int{\tan{\left(x \right)} d x}}} = x - {\color{red}{\int{\frac{\sin{\left(x \right)}}{\cos{\left(x \right)}} d x}}}$$

$$$u=\cos{\left(x \right)}$$$ とする。

すると $$$du=\left(\cos{\left(x \right)}\right)^{\prime }dx = - \sin{\left(x \right)} dx$$$（手順は»で確認できます）、$$$\sin{\left(x \right)} dx = - du$$$ となります。

したがって、

$$x - {\color{red}{\int{\frac{\sin{\left(x \right)}}{\cos{\left(x \right)}} d x}}} = x - {\color{red}{\int{\left(- \frac{1}{u}\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}{u}$$$ に対して適用する:

$$x - {\color{red}{\int{\left(- \frac{1}{u}\right)d u}}} = x - {\color{red}{\left(- \int{\frac{1}{u} d u}\right)}}$$

$$$\frac{1}{u}$$$ の不定積分は $$$\int{\frac{1}{u} d u} = \ln{\left(\left|{u}\right| \right)}$$$ です:

$$x + {\color{red}{\int{\frac{1}{u} d u}}} = x + {\color{red}{\ln{\left(\left|{u}\right| \right)}}}$$

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

$$x + \ln{\left(\left|{{\color{red}{u}}}\right| \right)} = x + \ln{\left(\left|{{\color{red}{\cos{\left(x \right)}}}}\right| \right)}$$

したがって、

$$\int{\left(1 - \tan{\left(x \right)}\right)d x} = x + \ln{\left(\left|{\cos{\left(x \right)}}\right| \right)}$$

積分定数を加える:

$$\int{\left(1 - \tan{\left(x \right)}\right)d x} = x + \ln{\left(\left|{\cos{\left(x \right)}}\right| \right)}+C$$

$$$\int \left(1 - \tan{\left(x \right)}\right)\, dx = \left(x + \ln\left(\left|{\cos{\left(x \right)}}\right|\right)\right) + C$$$A