Sine of Integer Multiple of Pi

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$


Also see

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.