Sine of 72 Degrees

Theorem

 * $\sin 72^\circ = \sin \dfrac {4 \pi} {10} = \dfrac {\sqrt{10 + 2 \sqrt 5}} 4$

where $\sin$ denotes the sine function.