レイリーの定理

レイリーの定理は、1より大きい無理数が、床関数を用いて自然数の集合を2つに分ける方法を与える定理である。
得られた集合を小さい順に並べたものをビーティ数列と呼ぶため、ビーティの定理と呼ばれることもある。

概要 
 を満たす無理数 r と s に対して、その倍数の整数部分である  と  は自然数の集合の分割である。つまり、任意の自然数は、 と  のどちらかに一方にのみ常に属する。

例
正の無理数とし、を満たすようにとする。このとき、BrとBsの元を小さい順に並べると、以下の表のようになる。

証明

証明1 
、 とする。まず、自然数 j とkを用い、jr と ks に注目して、両方の集合に属する自然数が存在しないことを背理法を用いて証明する。もしも両方の集合に属する自然数が存在する場合、ある j と k について、jr = ks が成立する。両辺を js で割ると、 =  であり、左辺の  は  であり、r は無理数であるため r − 1 も無理数となる。一方、右辺は j と k が自然数であるため明らかに有理数である。よって矛盾が生じるため、両方の集合に属する自然数は存在しない。

次に、 または  で表現可能な数を小さい順に並べた数列を考える。 から  の j 個の無理数が存在し、 以下の  が  個存在する。そのため、数列内の  の位置は j+ であり、 より
 
である。
同様に、 は  番目に位置する。 でも  でも表せない正の整数 c があると仮定すると、 または  で表現可能な数の c 番目の要素が数列の中の  または  番目に位置することと矛盾するため、正の整数は必ずどちらか一方には含まれる。

したがって、全ての正の整数は、 または  のどちらかに含まれ、両方に含まれることはない。

また逆も成り立ち、2つの実数 r と s について同様の処理によって2つの集合を考えた時、全ての正の整数がどちらか一方にのみ含まれているならば、r と s は無理数であり、逆数の和は1である。

証明2 
背理法を用いる。ある正の整数 j が  と の両方に含まれるとする。つまり、2つの整数 k と m が存在し、

を満たすとする。ここで、床関数の定義により、

である。非ゼロの j に対して、r と s は無理数であるため、等号は成り立たず、

である。各式をrとsで割ることにより、

を得る。この2式を加えると、

となるが、k と m は整数であるため、k + m も整数となり、矛盾が生じる。したがって、 と  の両方の集合に含まれる正の整数は存在しない。

次に、どちらの集合にも含まれない j を仮定すると、

が成立する。j + 1 は非ゼロであり、r と s は無理数であるため、等号は成り立たず、

である。したがって、

を得る。この2式を加えると、

となり、矛盾する（そのような k と m は存在しない）。よって、全ての正の整数はどちらかの集合に含まれる。

したがって、全ての正の整数は、 または  のどちらかに含まれ、両方に含まれることはない。

出典・脚注

関連項目 
 ビーティ数列

外部リンク 
 

数論
数論の定理
整数の類
ディオファントス近似
数学に関する記事
数学のエポニム