レイリーの定理

レイリーの定理は、1より大きい無理数が、床関数を用いて自然数の集合を2つに分ける方法を与える定理である。
得られた集合を小さい順に並べたものをビーティ数列と呼ぶため、ビーティの定理と呼ばれることもある。
概要.
formula_1 を満たす無理数 "r" と "s" に対して、その倍数の整数部分である formula_2 と formula_3 は自然数の集合の分割である。つまり、任意の自然数は、formula_4 と formula_5 のどちらかに一方にのみ常に属する。
例.
正の無理数formula_6とし、formula_1を満たすようにformula_8とする。このとき、"Br"と"Bs"の元を小さい順に並べると、以下の表のようになる。
証明.
証明1.
formula_9、formula_10 とする。まず、自然数 "j" と"k"を用い、"jr" と "ks" に注目して、両方の集合に属する自然数が存在しないことを背理法を用いて証明する。もしも両方の集合に属する自然数が存在する場合、ある "j" と "k" について、"jr" = "ks" が成立する。両辺を "js" で割ると、 = であり、左辺の は formula_11 であり、"r" は無理数であるため "r" − 1 も無理数となる。一方、右辺は "j" と "k" が自然数であるため明らかに有理数である。よって矛盾が生じるため、両方の集合に属する自然数は存在しない。
次に、 または で表現可能な数を小さい順に並べた数列を考える。 から の "j" 個の無理数が存在し、 以下の が formula_12 個存在する。そのため、数列内の の位置は j+formula_12 であり、formula_1 より
である。
同様に、 は formula_16 番目に位置する。formula_17 でも formula_18 でも表せない正の整数 "c" があると仮定すると、 または で表現可能な数の "c" 番目の要素が数列の中の formula_19 または formula_16 番目に位置することと矛盾するため、正の整数は必ずどちらか一方には含まれる。
したがって、全ての正の整数は、formula_4 または formula_5 のどちらかに含まれ、両方に含まれることはない。
また逆も成り立ち、2つの実数 "r" と "s" について同様の処理によって2つの集合を考えた時、全ての正の整数がどちらか一方にのみ含まれているならば、"r" と "s" は無理数であり、逆数の和は1である。
証明2.
背理法を用いる。ある正の整数 "j" が formula_4 とformula_5 の両方に含まれるとする。つまり、2つの整数 "k" と "m" が存在し、
を満たすとする。ここで、床関数の定義により、
である。非ゼロの "j" に対して、"r" と "s" は無理数であるため、等号は成り立たず、
である。各式を"r"と"s"で割ることにより、
を得る。この2式を加えると、
となるが、"k" と "m" は整数であるため、"k" + "m" も整数となり、矛盾が生じる。したがって、formula_4 と formula_5 の両方の集合に含まれる正の整数は存在しない。
次に、どちらの集合にも含まれない "j" を仮定すると、
が成立する。"j" + 1 は非ゼロであり、"r" と "s" は無理数であるため、等号は成り立たず、
である。したがって、
を得る。この2式を加えると、
となり、矛盾する（そのような "k" と "m" は存在しない）。よって、全ての正の整数はどちらかの集合に含まれる。
したがって、全ての正の整数は、formula_4 または formula_5 のどちらかに含まれ、両方に含まれることはない。