Cosine of 75 Degrees

Theorem

 * $\cos 75^\circ = \cos \dfrac {5 \pi}{12} = \dfrac {\sqrt 6 - \sqrt 2} 4$

where $\cos$ denotes the cosine.