Cosine of 72 Degrees

Theorem

 * $\cos 72^\circ = \cos \dfrac {4\pi} {10} = \dfrac {\sqrt{5} - 1} {4}$

where $\cos$ denotes the cosine function.