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.