tan(α/2)=sin(α/2)/cos(α/2)=2(sinα/2)^2/(2sinα/2cosα/2)=(1-cosα)/sinα
因为cosα=1-2(sinα/2)^2,2(sinα/2)^2=1-cosα.
cosα = 2cos²(α/2) + 1 = 1 - 2sin²(α/2)
sin(α/2) = (√2/2)√(1 - cosα)
cos(α/2) = (√2/2)√(cosα - 1)
tan(α/2) = sin(α/2)/cos(α/2)
= sin²(α/2)/[sin(α/2)cos(α/2)]
= 2sin²(α/2)/sinα
= (1 - cosα)/sinα