Partitioning the positive integers to seven Beatty sequences (Q1433040): Difference between revisions

A conjecture of \textit{A. S. Fraenkel} [J. Comb. Theory, Ser. A 13, 8--20 (1973; Zbl 0257.05023)] on the decomposition of the set of positive integers into \(m\) disjoint Beatty sequences is proved for \(m=7\) using a balanced word technique developed and used previously by R. Tijdeman (\(m=3\)), E. Altman, B. Gaugal, A. Hordijk (\(m=4\)), and R. Tijdeman (\(m=5,6\)).