Is $\{n \bmod \pi: n \in \Bbb N\}$ dense in $[0,\pi]$?

Question

Is $\left\{n \bmod \pi: n\in\Bbb N\right\}$ dense in $\left[0,\pi\right]$ ? Is there a proof or well known theorem for this result?

My intuition would say that it is dense.

Answer 1

Let $\{\cdot\}$ be the fractional part. $\Bbb N$ is the set of positive integers. As a preliminary property, have in mind that if $x$ is real and $m,n$ are integers, then $\{m\{nx\}\}=\{mnx\}$.

Let $x$ be an irrational number. Then $\{nx\}\neq 0$ for every $n\in\Bbb N$. For the moment, let's see the following:

For every $\epsilon>0$, there exists some $n\in\Bbb N$ such that $\{nx\}<\epsilon$.

Suppose not. Then $\delta=\inf\big\{\{nx\}:n\in\Bbb N\big\}$ is not $0$. Obviously, $\delta<1$. Let $m$ be the natural such that $\delta m\ge 1$ and $\delta(m-1)<1$. We have then $1\le m\delta<1+\delta$.

Take any $0<\epsilon<1+\delta-m\delta$. There exists some $k\in\Bbb N$ such that $0\leq \{kx\}-\delta<\epsilon/m$, so $$1\le\delta m \leq m\{kx\}<m\delta+\epsilon<1+\delta<2$$ Therefore $$0\leq \{kmx\}<m\delta+\epsilon-1<\delta,$$ a contradiction.

Now the proof:

For every interval $(a,b)\subset[0,1]$, there is some $n$ such that $\{nx\}\in(a,b)$. That is, $\big\{\{nx\}:n\in\Bbb N\big\}$ is dense in $[0,1]$.

We know that there is $m\in\Bbb N$ such that $0<\{mx\}<b-a<1$. Now take the minimal integer $k$ such that $k\{mx\}>a$. Then $a<\{kmx\}<b$.

Answer 2

Hint By the Dirichlet Approximation Theorem $\frac{n}{\pi} \pmod{1}$ is dense in $[0,1)$.

You can easily show that this is equivalent to your statement.