Sine of 120 Degrees

Theorem

 * $\sin 120^\circ = \sin \dfrac {2 \pi} 3 = \dfrac {\sqrt 3} 2$

where $\sin$ denotes the sine function.