Triple Angle Formulas/Cosine

Theorem

 * $\cos 3 \theta = 4 \cos^3 \theta - 3 \cos \theta$

where $\cos$ denotes cosine.