Here:
4. Half Angle Formulas
It can be useful to wright:
sin(theta)=sin(2.(theta)/2)
...
Proof from the right side to the left side:
-numerator: sin^2(a)=sin^2(2.(a/2))=1-cos^2(2.(a/2))
Use now: (a^2-b^2)=(a-b)(a+b) and then the dubble angle formula.
-denominator: 1-cos(a)=1-cos(2.(a/2))
Use the dubble angle formula.
Dubble angle formule: cos(2a)=2cos^2(a)-1