sinx = 2sin(x/2)cos(x/2)
1-cosx = 2[sin(x/2)]^2
两者除下来不就是 ctg(x/2)么