y`=-(cosx/sinx)`
=-(-sin^2x-cos^2x)/sin^2x
=1/sin^2x>0
故原函数在定义域上单调递增