Beatty's theorem
From Wikipedia, the free encyclopedia.

Beatty's theorem states that if p and q are two positive irrational numbers with

online math image

then the positive integers

are all pairwise distinct, and each positive integer occurs precisely once in the list. (Here denotes the floor function of x, the largest integer not bigger than x.)

The theorem was published by Sam Beatty in 1926.

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.

The original article can be found at: http://en.wikipedia.org/wiki/Beatty's_theorem.
All text is available under the terms of the GNU Free Documentation License.