How do you prove sinθ/cos(0.5θ) = 2sin(0.5θ)?