Cosine of 18 Degrees

Theorem

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

where $\cos$ denotes the cosine function.