Sin half angle formula proof. We know the values of the trigonometric fun...