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

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

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

のとき，

ａk＝［ｎα］＝１，３，４，６，８，９，１１，１２，１４，１６，１７，・・・

ｂk＝［ｎβ］＝２，５，７，１０，１３，１５，１８，・・・

このとき,２つの整数列A={[nα]},B={[nβ]}において，

[1]排他性： A∩B=｛｝

[2]相補性： A∪B={1,2,3,・・・}

すなわち、２つの数列には共通項がなく，併せるとすべての整数１，２，３，・・・を与えるというわけです．

{ｂk-ａk}={k}={1，2，3，4，5，・・・}

自然数列が現れます。

(0,0),(1,2),(3,5)(4,7),(6,10),(8,13),(9,15),・・・

各項の左側の数はこれまで現れなかった最小の数になっている。

この数列の各項はワイソフのゲームの必勝形のパターンを示している。

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

α＝√２，β＝２＋√２のときは，

ａk＝［ｎα］＝１，２，４，５，７，８，９，１１，１２，１４，・・・

ｂk＝［ｎβ］＝３，６，１０，１３，１７，２０，２３，２７，３０，・・・

{ｂk-ａk}={2k}={2,4,6,8,10,12,14,16,18,・・・}

偶数列が現れます。

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