1/tanx=cosx/sinx=(sinx)'/sinx

よって∫1/tanxdx= log| sinx |+C(積分定数)