1-\cos x=2 \sin^2\frac{x}{2}