Prove that $x,y$ are positive real, $x/y$ is irrational, then the set $\{ mx+ny:m,n\in \Bbb Z \}$ .is dense in $\Bbb R$

Sketch of proof: Note that it is equivalent to show that the set $$ \left\{\frac{xm + yn}{y} :m,n \in \Bbb Z \right\} = \left\{m\frac{x}{y} + n :m,n \in \Bbb Z \right\} = \left\{\alpha m + n :m,n \in \Bbb Z \right\} \quad (\alpha = x/y) $$ is dense. Note that it sufficient to show that this set is dense over the interval $(0,1)$. For any $x \in \Bbb R$, let $\langle x \rangle$ denote the "fractional part" of $x$ (i.e. the value of $x$ modulo $1$), so that $\langle x \rangle = x - \lfloor x \rfloor$. It is equivalent to show that $\{\langle \alpha m\rangle : m \in \Bbb Z\}$ is dense in $(0,1)$.

Now, convince yourself that the following is true:

For any $p,q \in \Bbb R$, $\langle p+q \rangle = \langle\langle p \rangle + \langle q \rangle \rangle$

Then, use the pigeonhole principle to prove the following:

For any $N = 1,2,3,\dots$, there exists integers $n_1,n_2$ such that $0 < \langle \alpha n_1 \rangle - \langle\alpha n_2 \rangle < 1/N$

Note also that $\langle \alpha n_1 \rangle - \langle\alpha n_2 \rangle = \langle \alpha(n_1 - n_2) \rangle$. So, for any $N$, there is an $n$ such that $0 < \langle \alpha n\rangle < 1/N$.

It follows that we can take successively better approximations of any $r \in [0,1]$ by selecting $n_1,\dots,n_k$ such that $$ r \geq \langle \alpha n_1 \rangle + \cdots + \langle \alpha n_k \rangle = \langle \alpha(n_1 + \cdots + n_k)\rangle $$