Cosine of 72 Degrees

Theorem

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

where $\cos$ denotes the cosine function.