Cosine of 255 Degrees

Theorem

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

where $\cos$ denotes cosine.