レイリーの定理（ヴィノグラードフの定理）とは

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

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

【１】レイリーの定理</P>

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

　　α＝（１＋√５）／２，β＝（３＋√５）／２＝α＋１＝α^2

のとき，ａn，ｂnの値は</P>

ｎ　　１　　２　　３　　４　　５　　６　　７　　８　　９　　10

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

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

　これを

ｎ　　１　　２　　３　　４　　５　　６　　７　　８　　９　　10

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

ｂn 2 5 7 10 13 15

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

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

【２】ビーティー数列

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

　数列｛ａ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は６となります．

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