Quintuple Angle Formulas/Sine

Theorem

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

where $\sin$ denotes sine.