Rational Points on Graph of Sine Function

From ProofWiki
Jump to navigation Jump to search

Theorem

Consider the graph of the sine function in the real Cartesian plane $\R^2$:

$f := \left\{ {\left({x, y}\right) \in \R^2: y = \sin x}\right\}$


The only rational point of $f$ is $\left({0, 0}\right)$.


Proof


Sources