Sine of 45 Degrees

Theorem

 * $\sin 45 \degrees = \sin \dfrac \pi 4 = \dfrac {\sqrt 2} 2$

where $\sin$ denotes the sine function.

Also presented as
Some sources present this result as:
 * $\sin 45 \degrees = \dfrac 1 {\sqrt 2}$