Cosine of 345 Degrees

Theorem

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

where $\cos$ denotes cosine.