\begin{equation} \int \cot x \ dx = \int \frac{dx}{\tan x} = \log |\sin x| + C \end{equation} この式を導くには少し工夫が必要です。 まず、 \begin{equation} \int \cot x \ dx = \int \frac{\cos x}{\sin x}dx \tag{1} \end{equation}です。 ここで…