Power Reduction Formulas/Cosine Squared

Theorem

 * $\cos^2 x = \dfrac {1 + \cos 2 x} 2$

where $\cos$ denotes cosine.