Sine of 345 Degrees

Theorem

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

where $\sin$ denotes the sine function.