# Sine of Straight Angle

## Theorem

$\sin 180 \degrees = \sin \pi = 0$

where $\sin$ denotes the sine function and $180 \degrees = \pi$ is the straight angle.

## Proof

A direct implementation of Sine of Multiple of Pi:

$\forall n \in \Z: \sin n \pi = 0$

In this case, $n = 1$ and so:

$\sin \pi = 0$

$\blacksquare$