$$$\cot{\left(t \right)}$$$の積分
入力内容
$$$\int \cot{\left(t \right)}\, dt$$$ を求めよ。
解答
余接関数を$$$\cot\left(t\right)=\frac{\cos\left(t\right)}{\sin\left(t\right)}$$$として書き換えなさい:
$${\color{red}{\int{\cot{\left(t \right)} d t}}} = {\color{red}{\int{\frac{\cos{\left(t \right)}}{\sin{\left(t \right)}} d t}}}$$
$$$u=\sin{\left(t \right)}$$$ とする。
すると $$$du=\left(\sin{\left(t \right)}\right)^{\prime }dt = \cos{\left(t \right)} dt$$$(手順は»で確認できます)、$$$\cos{\left(t \right)} dt = du$$$ となります。
積分は次のようになります
$${\color{red}{\int{\frac{\cos{\left(t \right)}}{\sin{\left(t \right)}} d t}}} = {\color{red}{\int{\frac{1}{u} d u}}}$$
$$$\frac{1}{u}$$$ の不定積分は $$$\int{\frac{1}{u} d u} = \ln{\left(\left|{u}\right| \right)}$$$ です:
$${\color{red}{\int{\frac{1}{u} d u}}} = {\color{red}{\ln{\left(\left|{u}\right| \right)}}}$$
次のことを思い出してください $$$u=\sin{\left(t \right)}$$$:
$$\ln{\left(\left|{{\color{red}{u}}}\right| \right)} = \ln{\left(\left|{{\color{red}{\sin{\left(t \right)}}}}\right| \right)}$$
したがって、
$$\int{\cot{\left(t \right)} d t} = \ln{\left(\left|{\sin{\left(t \right)}}\right| \right)}$$
積分定数を加える:
$$\int{\cot{\left(t \right)} d t} = \ln{\left(\left|{\sin{\left(t \right)}}\right| \right)}+C$$
解答
$$$\int \cot{\left(t \right)}\, dt = \ln\left(\left|{\sin{\left(t \right)}}\right|\right) + C$$$A