Quadruple Angle Formulas/Cosine

Theorem

 * $\cos 4 \theta = 8 \cos^4 \theta - 8 \cos^2 \theta + 1$

where $\cos$ denotes cosine.