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.