Derivation of half angle formula. Specifically, the half-angle formulas...