Bourbaki

Exercise 18, § 1

General Topology, VII

Let α\alpha be an irrational number, F a finite set of noninteger real numbers. For every integer m>0m > 0, put (mα)=mα−[mα](m\alpha) = m\alpha - [m\alpha]. Prove that there exist infinitely many integers m>0m > 0 such that [(mα)+r]=[r][(m\alpha) + r] = [r] for every r∈Fr \in F, and infinitely many integers m>0m > 0 such that [(mα)+r]=[r]+1[(m\alpha) + r] = [r] + 1 for every r∈Fr \in F.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.