$$$\frac{1}{\tan{\left(x \right)}}$$$の積分
入力内容
$$$\int \frac{1}{\tan{\left(x \right)}}\, dx$$$ を求めよ。
解答
$$$u=\tan{\left(x \right)}$$$ とする。
すると $$$x=\operatorname{atan}{\left(u \right)}$$$ および $$$dx=\left(\operatorname{atan}{\left(u \right)}\right)^{\prime }du = \frac{du}{u^{2} + 1}$$$(手順は»で確認できます)。
この積分は次のように書き換えられる
$${\color{red}{\int{\frac{1}{\tan{\left(x \right)}} d x}}} = {\color{red}{\int{\frac{1}{u \left(u^{2} + 1\right)} d u}}}$$
$$$v=u^{2} + 1$$$ とする。
すると $$$dv=\left(u^{2} + 1\right)^{\prime }du = 2 u du$$$(手順は»で確認できます)、$$$u du = \frac{dv}{2}$$$ となります。
したがって、
$${\color{red}{\int{\frac{1}{u \left(u^{2} + 1\right)} d u}}} = {\color{red}{\int{\frac{1}{2 v \left(v - 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 \left(v - 1\right)}$$$ に対して適用する:
$${\color{red}{\int{\frac{1}{2 v \left(v - 1\right)} d v}}} = {\color{red}{\left(\frac{\int{\frac{1}{v \left(v - 1\right)} d v}}{2}\right)}}$$
部分分数分解を行う (手順は»で確認できます):
$$\frac{{\color{red}{\int{\frac{1}{v \left(v - 1\right)} d v}}}}{2} = \frac{{\color{red}{\int{\left(\frac{1}{v - 1} - \frac{1}{v}\right)d v}}}}{2}$$
項別に積分せよ:
$$\frac{{\color{red}{\int{\left(\frac{1}{v - 1} - \frac{1}{v}\right)d v}}}}{2} = \frac{{\color{red}{\left(- \int{\frac{1}{v} d v} + \int{\frac{1}{v - 1} d v}\right)}}}{2}$$
$$$w=v - 1$$$ とする。
すると $$$dw=\left(v - 1\right)^{\prime }dv = 1 dv$$$(手順は»で確認できます)、$$$dv = dw$$$ となります。
したがって、
$$- \frac{\int{\frac{1}{v} d v}}{2} + \frac{{\color{red}{\int{\frac{1}{v - 1} d v}}}}{2} = - \frac{\int{\frac{1}{v} d v}}{2} + \frac{{\color{red}{\int{\frac{1}{w} d w}}}}{2}$$
$$$\frac{1}{w}$$$ の不定積分は $$$\int{\frac{1}{w} d w} = \ln{\left(\left|{w}\right| \right)}$$$ です:
$$- \frac{\int{\frac{1}{v} d v}}{2} + \frac{{\color{red}{\int{\frac{1}{w} d w}}}}{2} = - \frac{\int{\frac{1}{v} d v}}{2} + \frac{{\color{red}{\ln{\left(\left|{w}\right| \right)}}}}{2}$$
次のことを思い出してください $$$w=v - 1$$$:
$$\frac{\ln{\left(\left|{{\color{red}{w}}}\right| \right)}}{2} - \frac{\int{\frac{1}{v} d v}}{2} = \frac{\ln{\left(\left|{{\color{red}{\left(v - 1\right)}}}\right| \right)}}{2} - \frac{\int{\frac{1}{v} d v}}{2}$$
$$$\frac{1}{v}$$$ の不定積分は $$$\int{\frac{1}{v} d v} = \ln{\left(\left|{v}\right| \right)}$$$ です:
$$\frac{\ln{\left(\left|{v - 1}\right| \right)}}{2} - \frac{{\color{red}{\int{\frac{1}{v} d v}}}}{2} = \frac{\ln{\left(\left|{v - 1}\right| \right)}}{2} - \frac{{\color{red}{\ln{\left(\left|{v}\right| \right)}}}}{2}$$
次のことを思い出してください $$$v=u^{2} + 1$$$:
$$\frac{\ln{\left(\left|{-1 + {\color{red}{v}}}\right| \right)}}{2} - \frac{\ln{\left(\left|{{\color{red}{v}}}\right| \right)}}{2} = \frac{\ln{\left(\left|{-1 + {\color{red}{\left(u^{2} + 1\right)}}}\right| \right)}}{2} - \frac{\ln{\left(\left|{{\color{red}{\left(u^{2} + 1\right)}}}\right| \right)}}{2}$$
次のことを思い出してください $$$u=\tan{\left(x \right)}$$$:
$$- \frac{\ln{\left(1 + {\color{red}{u}}^{2} \right)}}{2} + \frac{\ln{\left({\color{red}{u}}^{2} \right)}}{2} = - \frac{\ln{\left(1 + {\color{red}{\tan{\left(x \right)}}}^{2} \right)}}{2} + \frac{\ln{\left({\color{red}{\tan{\left(x \right)}}}^{2} \right)}}{2}$$
したがって、
$$\int{\frac{1}{\tan{\left(x \right)}} d x} = - \frac{\ln{\left(\tan^{2}{\left(x \right)} + 1 \right)}}{2} + \frac{\ln{\left(\tan^{2}{\left(x \right)} \right)}}{2}$$
簡単化せよ:
$$\int{\frac{1}{\tan{\left(x \right)}} d x} = - \frac{\ln{\left(\tan^{2}{\left(x \right)} + 1 \right)}}{2} + \ln{\left(\tan{\left(x \right)} \right)}$$
積分定数を加える:
$$\int{\frac{1}{\tan{\left(x \right)}} d x} = - \frac{\ln{\left(\tan^{2}{\left(x \right)} + 1 \right)}}{2} + \ln{\left(\tan{\left(x \right)} \right)}+C$$
解答
$$$\int \frac{1}{\tan{\left(x \right)}}\, dx = \left(- \frac{\ln\left(\tan^{2}{\left(x \right)} + 1\right)}{2} + \ln\left(\tan{\left(x \right)}\right)\right) + C$$$A