因为导数(cotx)'=-csc²x=-1/sin²x
所以两边取积分：∫(cotx)'dx=∫(-1/sin²x) dx
cotx+C=-∫(1/sin²x)dx
所以∫(1/sin²x)dx=-cotx+C'