Beatty's theorem
= Beatty's theorem
{c}
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>.
= Beatty's theorem
{c}
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>.