Cosine of 75 Degrees

Theorem

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

where $\cos$ denotes the cosine.