Sine of Right Angle

Theorem

 * $\sin 90^\circ = \sin \dfrac \pi 2 = 1$

where $\sin$ denotes the sine function.

Proof
A direct implementation of Sine of Half-Integer Multiple of Pi:
 * $\forall n \in \Z: \sin \left({n + \dfrac 1 2}\right) \pi = \left({-1}\right)^n$

In this case, $n = 0$ and so:
 * $\sin \dfrac 1 2 \pi = \left({-1}\right)^0 = 1$