Cosine of 72 Degrees

Theorem

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

where $\cos$ denotes the cosine function.