Sine of Integer Multiple of Pi
(Redirected from Sine of Multiple of Pi)
Jump to navigation
Jump to search
Theorem
Let $x \in \R$ be a real number.
Let $\sin x$ be the sine of $x$.
Then:
- $\forall n \in \Z: \sin n \pi = 0$
Proof
This is established in Zeroes of Sine and Cosine.
$\blacksquare$