In 1926, Sam Beatty of the University of Toronto made a remarkable discovery concerning sequences of irrational numbers. For a given irrational number and
. The sequence
and
is a complementary sequence.
Proof: We see that
Since is Integer, we conclude that
Also the total number of terms up to is n. That is to say, if we increase the integer
by
, another term of the sequence is admitted, implying that exactly one term lies between
and
.