Sine of 75 Degrees

Theorem

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

where $\sin$ denotes the sine function.