レイリーの定理とは「α，βを１／α＋１／β＝１を満たす無理数，［］をガウス記号とするとき，２つの数列｛ａn｝＝｛［ｎα］｝，｛ｂn｝＝｛［ｎβ］｝は共通項がなく，併せるとすべての整数１，２，３，・・・を与える．」というものです．

　α≦βとすると，仮定からαは区間（１，２）にあることがわかりますが，たとえば，

　　α＝（１＋√５）／２，β＝（３＋√５）／２＝α＋１＝α^2のとき，ａn，ｂnの値は

ｎ　　１　　２　　３　　４　　５　　６　　７　　８　　９　　10・・・

ａn 1　 3 4 6 8 9 11 12 14 16・・・

ｂn 2 5 7 10 13 15 18 20 23 26・・・

　２つの数列は共通項がなく，併せるとすべての整数１，２，３，・・・を与えるという意味がおわかり頂けると思います．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　レイリーは数列の任意の連続する２項の間には必ずもう一つの数列の項が入り込むことを発見したのですが，この定理は１９６２年にビーティーにより再発見されたことにより，２つの数列はビーティー数列と名付けられています．

　数列｛ａn｝がビーティー数列ならば，ａnの値はａ1，ａ2，・・・，ａn-1の値から１以内の誤差で決定することができます．ａ1＋ａn-1，ａ2＋ａn-2，・・・，ａn-1＋ａ1の和はすべてｖまたはｖ＋１になるからです．また，この和がすべてｖならばａn＝ｖ＋１でなければなりません．もし，そうでなければビーティー数列ではないということになります．

　たとえば，ビーティー数列１，３，４，６，８，９，・・・において，ａ1＋ａ1＝２よりａ2は２または３（実際は３），ａ1＋ａ2＝４よりａ3は４または５３（実際は４），ａ1＋ａ3＝５，ａ2＋ａ2＝６よりａ4は６となります．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝