Beatty sequence

---

title: "Beatty sequence" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["integer-sequences", "theorems-in-number-theory", "diophantine-approximation", "combinatorics-on-words", "articles-containing-proofs"] description: "Integers formed by rounding down the integer multiples of a positive irrational number" topic_path: "science/mathematics" source: "https://en.wikipedia.org/wiki/Beatty_sequence" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary Integers formed by rounding down the integer multiples of a positive irrational number ::

In mathematics, a Beatty sequence (or homogeneous Beatty sequence) is the sequence of integers found by taking the floor of the positive multiples of an irrational number that is greater than one. Beatty sequences are named after Samuel Beatty, who wrote about them in 1926.

Rayleigh's theorem, named after Lord Rayleigh, states that the complement of a Beatty sequence, consisting of the positive integers that are not in the sequence, is itself a Beatty sequence generated by a different irrational number.

Beatty sequences can also be used to generate Sturmian words.

Definition

Any irrational number r that is greater than one generates the Beatty sequence \mathcal{B}_r = \bigl{ \lfloor r \rfloor, \lfloor 2r \rfloor, \lfloor 3r \rfloor,\ldots \bigr} The two irrational numbers r and s = r/(r-1) naturally satisfy the equation 1/r + 1/s = 1. The two Beatty sequences \mathcal{B}_r and \mathcal{B}_s that they generate form a pair of complementary Beatty sequences. Here, "complementary" means that every positive integer belongs to exactly one of these two sequences.

Examples

When r is the golden ratio r=(1+\sqrt5)/2\approx 1.618, the sequence of integer multiples of r have the approximate values Rounding these numbers down to integers gives the sequence ( \lfloor nr \rfloor), known as the lower Wythoff sequence, which is In this case, the complementary Beatty sequence is generated by s=\frac{r}{r-1}=\frac{(1+\sqrt5)/2}{(-1+\sqrt5)/2}=\frac{3+\sqrt5}{2}\approx 2.618. Its integer multiples have the approximate values Rounding these values down to integers ( \lfloor ns \rfloor) produces the upper Wythoff sequence, Every positive integer is in exactly one of these two sequences. These sequences define the optimal strategy for Wythoff's game,{{cite journal | last = Gardner | first = Martin | author-link = Martin Gardner | date = March 1977 | issue = 3 | journal = Scientific American | jstor = 24953943 | pages = 131–141 | title = Mathematical Games: Cornering a queen leads unexpectedly into corners of the theory of numbers | volume = 236}} and are used in the definition of the Wythoff array.{{cite book | last = Morrison | first = D. R. | author-link = David R. Morrison (mathematician) | contribution = A Stolarsky array of Wythoff pairs | location = Santa Clara, California | pages = 134–136 | publisher = The Fibonacci Association | title = A Collection of Manuscripts Related to the Fibonacci Sequence | url = http://web.math.ucsb.edu/~drm/papers/stolarsky.pdf | year = 1980}}

As another example, for the square root of 2, r=\sqrt2\approx 1.414, and s=\sqrt2/(\sqrt2-1)=2+\sqrt2\approx 3.414. In this case, the sequences are For r=\pi\approx 3.142 and s=\pi/(\pi-1)\approx 1.467, the sequences are Any number in the first sequence is absent in the second, and vice versa.

History

Beatty sequences got their name from the problem posed in The American Mathematical Monthly by Samuel Beatty in 1926.{{cite journal | author = Beatty, Samuel | author2 = | title = Problem 3173 | journal = American Mathematical Monthly | volume = 33 | issue = 3 | year = 1926 | pages = 159 | doi = 10.2307/2300153| jstor = 2300153

Rayleigh theorem

Rayleigh's theorem (also known as Beatty's theorem) states that given an irrational number r 1 ,, there exists s 1 so that the Beatty sequences \mathcal{B}_r and \mathcal{B}_s partition the set of positive integers: each positive integer belongs to exactly one of the two sequences.

First proof

Given r 1 ,, let s = r/(r-1). We must show that every positive integer lies in one and only one of the two sequences \mathcal{B}_r and \mathcal{B}_s. We 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 j/r = k/s for some j and k. Then r/s = j/k, a rational number, but also, r/s = r(1 - 1/r) = r - 1, not a rational number. Therefore, no two of the numbers occupy the same position.

For any j/r, there are j positive integers i such that i/r \le j/r and \lfloor js/r \rfloor positive integers k such that k/s \le j/r, so that the position of j/r in the list is j + \lfloor js/r \rfloor. The equation 1/r + 1/s = 1 implies j + \lfloor js/r \rfloor = j + \lfloor j(s - 1) \rfloor = \lfloor js \rfloor.

Likewise, the position of k/s in the list is \lfloor kr \rfloor.

Conclusion: every positive integer (that is, every position in the list) is of the form \lfloor nr \rfloor or of the form \lfloor ns \rfloor, but not both. The converse statement 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.

Second proof

Collisions: Suppose that, contrary to the theorem, there are integers j 0 and k and m such that j = \left\lfloor {k \cdot r} \right\rfloor = \left\lfloor {m \cdot s} \right\rfloor ,. This is equivalent to the inequalities j \le k \cdot r

For non-zero j, the irrationality of r and s is incompatible with equality, so j which leads to {j \over r}

Adding these together and using the hypothesis, we get j 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 k \cdot r

Since j + 1 is non-zero and r and s are irrational, we can exclude equality, so k \cdot r

Then we get k

Adding corresponding inequalities, we get k + m k + m

which is also impossible. Thus the supposition is false.

Properties

A number m belongs to the Beatty sequence \mathcal{B}_r if and only if 1 - \frac{1}{r} where [x]_1 denotes the fractional part of x i.e., [x]_1 = x - \lfloor x \rfloor.

Proof: m \in B_r \Leftrightarrow \exists n, m = \lfloor nr \rfloor \Leftrightarrow m \Leftrightarrow \frac{m}{r} \Leftrightarrow n - \frac{1}{r} \Leftrightarrow 1 - \frac{1}{r}

Furthermore, m = \left\lfloor \left( \left\lfloor \frac{m}{r} \right\rfloor + 1 \right) r \right\rfloor.

Proof: m = \left\lfloor \left( \left\lfloor \frac{m}{r} \right\rfloor + 1 \right) r \right\rfloor \Leftrightarrow m \Leftrightarrow \frac{m}{r} \Leftrightarrow \left\lfloor \frac{m}{r} \right\rfloor + 1 - \frac{1}{r} \Leftrightarrow 1 - \frac{1}{r}

Relation with Sturmian sequences

The first difference \lfloor (n+1)r\rfloor-\lfloor nr\rfloor of the Beatty sequence associated with the irrational number r is a characteristic Sturmian word over the alphabet {\lfloor r\rfloor,\lfloor r\rfloor+1}.

Generalizations

If slightly modified, the Rayleigh's theorem can be generalized to positive real numbers (not necessarily irrational) and negative integers as well: if positive real numbers r and s satisfy 1/r + 1/s = 1, the sequences ( \lfloor mr \rfloor){m \in \mathbb{Z}} and ( \lceil ns \rceil -1){n \in \mathbb{Z}} form a partition of integers. For example, the white and black keys of a piano keyboard are distributed as such sequences for r = 12/7 and s = 12/5.

The Lambek–Moser theorem generalizes the Rayleigh theorem and shows that more general pairs of sequences defined from an integer function and its inverse have the same property of partitioning the integers.

Uspensky's theorem states that, if \alpha_1,\ldots,\alpha_n are positive real numbers such that (\lfloor k\alpha_i\rfloor)_{k,i\ge1} contains all positive integers exactly once, then n\le2. That is, there is no equivalent of Rayleigh's theorem for three or more Beatty sequences.

References

References

1. (1927). "Solutions to Problem 3173". [[American Mathematical Monthly]].
2. John William Strutt, 3rd Baron Rayleigh. (1894). "The Theory of Sound". Macmillan.
3. J. V. Uspensky, On a problem arising out of the theory of a certain game, ''Amer. Math. Monthly'' '''34''' (1927), pp. 516–521.
4. R. L. Graham, [http://www.math.ucsd.edu/~fan/ron/papers/63_01_uspensky.pdf On a theorem of Uspensky], ''Amer. Math. Monthly'' '''70''' (1963), pp. 407–409.

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::