Cosine of 18 Degrees

Theorem

 * $\cos 18^\circ = \cos \dfrac \pi {10} = \dfrac {\sqrt{10 + 2 \sqrt 5}} 4$

where $\cos$ denotes the cosine function.