- Beatty sequence
A (homogeneous) Beatty sequence is a
sequence formed by successive positive integer multiples of a positiveirrational number rounded down to the nearest integer, so that the sequence:
If then is also a positive irrational number. They naturally satisfy:
and the sequences : and : form a "pair of complementary Beatty sequences". As Beatty's theorem states, each positive integer belongs to exactly one of the two sequences.
A more general non-homogeneous Beatty sequence takes the form
:
where is a real number. For , the complementary non-homogeneous Beatty sequences can be found by making so that
: and : will form a pair of complementary Beatty sequences. For other values of the procedure for finding complementary sequences is not as straightforward.
Beatty sequences solve a problem posed in the "
American Mathematical Monthly " by Samuel Beatty in 1926. It is probably one of the most often cited problems ever posed in the "Monthly". Beatty sequences can also be used to generateSturmian word s.Beatty's theorem
A pair of complementary Beatty sequences partition the set of positive integers.
Proof: We must show that every positive integer lies in one and only one of the two sequences and shall do so by considering the ordinal positions occupied by all the fractions "j"/"r" and "k"/"s" when they are jointly listed in nondecreasing order for positive integers "j" and "k".
To see that no two of the numbers can occupy the same position (as a single number), suppose to the contrary that for some "j" and "k". Then "r"/"s" = "j"/"k", a rational number, but also, not a rational number. Therefore no two of the numbers occupy the same position.
For any "j"/"r", there are "j" numbers "i"/"r" ≤ "j"/"r" and numbers , so that the position of in the list is . The equation implies
:
Likewise, the position of "k"/"s" in the list is .
Conclusion: every positive integer (that is, every position in the list) is of the form or of the form , but not both.
The converse of the theorem is also true: if p and q are two real numbers such that every positive integer occurs precisely once in the above list, then "p" and "q" are irrational and the sum of their reciprocals is 1.
Alternative proof
Collisions: Suppose that, contrary to the theorem, there are integers "j" > 0 and "k" and "m" such that:
This is equivalent to the inequalities:
For non-zero "j", the irrationality of "r" and "s" is incompatable with equality, so
:
which lead to
:
Adding these together and using the hypothesis, we get
:
which is impossible (one cannot have an integer between two adjacent integers). Thus the supposition must be false.
Anti-collisions: Suppose that, contrary to the theorem, there are integers "j" > 0 and "k" and "m" such that
:
Since "j" + 1 is non-zero and "r" and "s" are irrational, we can exclude equality, so
:
Then we get:
Adding corresponding inequalities, we get::
which is also impossible. Thus the supposition is false.
Examples
For "r" = the golden mean, we have "s" = "r" + 1. In this case, the sequence , known as the "lower Wythoff sequence", is
* 1, 3, 4, 6, 8, 9, 11, 12, 14, 16, 17, 19, 21, 22, 24, 25, 27, 29, ... OEIS|id=A000201.and the sequence , the "upper Wythoff sequence", is
* 2, 5, 7, 10, 13, 15, 18, 20, 23, 26, 28, 31, 34, 36, 39, 41, 44, 47, ... OEIS|id=A001950.These sequences define the optimal strategy for
Wythoff's game .As another example, for "r" = √2, we have "s" = 2 + √2. In this case, the sequences are
* 1, 2, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 18, 19, 21, 22, 24, ... OEIS|id=A001951 and
* 3, 6, 10, 13, 17, 20, 23, 27, 30, 34, 37, 40, 44, 47, 51, 54, 58, ... OEIS|id=A001952.Relation with Sturmian sequences
The first difference
:of the Beatty sequence associated to the irrational number is a characteristic
Sturmian word over the alphabet .References
* cite journal
author = Beatty, Samuel
title = Problem 3173
journal =American Mathematical Monthly
volume = 33
issue = 3
year = 1926
pages = 159
doi = 10.2307/2300153 [http://www.jstor.org/stable/2298716 Solutions] by Beatty, A. Ostrowski, J. Hyslop, and A. C. Aitken, vol. 34 (1927), pp. 159-160.
*
* cite journal
author = Stolarsky, Kenneth
title = Beatty sequences, continued fractions, and certain shift operators
journal =Canadian Mathematical Bulletin
volume = 19
issue = 4
year = 1976
id = MathSciNet | id = 0444558
pages = 473–482 Includes many references.External links
*
* Alexander Bogomolny, [http://www.cut-the-knot.org/proofs/Beatty.shtml Beatty Sequences] ,Cut-the-knot
Wikimedia Foundation. 2010.