Sine of 72 Degrees

Theorem

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

where $\sin$ denotes the sine function.