Cosine of 15 Degrees

Theorem

 * $\cos 15^\circ = \cos \dfrac \pi {12} = \dfrac {\sqrt 6 + \sqrt 2} 4$

where $\cos$ denotes the cosine.