 Beatty's theorem

If $\alpha ,\beta >1$ are irrational numbers with $1/\alpha +1/\beta =1$, the Beatty sequences $\lfloor n\alpha \rfloor$ and $\lfloor n\beta \rfloor$ partition the positive integers.