sin t/1-cos t=cot t怎么推导