Sine of 135 Degrees

Theorem

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

where $\sin$ denotes the sine function.