Sine of 15 Degrees/Proof 1

Theorem

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

where $\sin$ denotes the sine function.