# Rational Points on Graph of Sine Function

## Theorem

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

$f := \set {\tuple {x, y} \in \R^2: y = \sin x}$

The only rational point of $f$ is $\tuple {0, 0}$.