为什么sint/(1-cost)=cot(t/2)