Power Reduction Formulas/Cosine Cubed

Theorem

 * $\cos^3 x = \dfrac {3 \cos x + \cos 3 x} 4$

where $\cos$ denotes cosine.