这个有很多种证明方法,下面给一种公式法
(u/v)'=(u'v-uv')/v^2
(cotx)'=(cosx/sinx)'=(cosx'sinx-cosxsinx')/sin^2x=-csc^2x