Quintuple Angle Formulas/Cosine

Theorem

 * $\cos 5 \theta = 16 \cos^5 \theta - 20 \cos^3 \theta + 5 \cos \theta$

where $\cos$ denotes cosine.