>>737
2倍角の公式から
sin(θ)=2sin(θ/2) cos(θ/2)
1-cos(θ) = 2sin^2(θ/2)

sin(θ)/(1-cos(θ)) = cot(θ/2)