因为导数(cotx)'=-csc²x=-1/sin²x所以两边取积分：∫(cotx)'dx=∫(-1/sin²x) dxcotx+C=-∫(1/sin²x)dx所以∫(1/sin²x)dx=-cotx+C'
∫1/(sinx)^2 dx = ∫(cscx)^2dx = -cotx + C
-Cot[x]+C
