Quintuple Angle Formulas/Cosine/Proof 1

Theorem

 * $\cos \left({5 \theta}\right) = 16 \cos^5 \theta - 20 \cos^3 \theta + 5 \cos \theta$

where $\cos$ denotes cosine.