貝亞蒂定理

在數論中，貝亞蒂定理（英文：Beatty sequence）指：若 $p,q\in \mathbb {R^{+}} ,p,q\not \in \mathbb {Q}$ 使得 ${\frac {1}{p}}+{\frac {1}{q}}=1$ 。定義集（貝亞蒂列） $P=\{\lfloor np\rfloor :n\in \mathbb {Z} ^{+}\},Q=\{\lfloor nq\rfloor :n\in \mathbb {Z} ^{+}\}$ ，則P 和 Q 構成正整數集的一個分劃： $P\cap Q=\emptyset$ ， $P\cup Q=\mathbb {Z} ^{+}$ 。

即是說：若兩個正無理數的倒數之和是1，則任何正整數都可剛好以一種形式表示為不大於其中一個無理數的正整數倍的最大整數。

此定理由Sam Beatty在1926年發現。

例子[編輯]

比如說對於黃金分割率 $\phi$ 而言，可以令 $r=\phi$ ，有 $s=\phi +1={\frac {\phi }{\phi -1}}$ （根據黃金分割率的性質），生成兩個序列：

1，3，4，6，8，9，11，12，14，...（sequence A000201 in the OEIS）
2，5，7，10，13，15，...（sequence A001950 in the OEIS）

這被用來構建 Wythoff array，是證明威佐夫博弈的一個關鍵步驟。

Rayleigh 定理[編輯]

Rayleigh 定理，又被稱為貝亞蒂定理，定義為：

指定一個無理數

r>1

，這裏存在着一個數

s>1

使得貝亞蒂序列

B

和

B'

引出的同名集合將正整數集合劃分：即所有的正整數屬於且僅屬於兩個集合中的一個。

第一種證明[編輯]

給定 $r>1$ ，使得 $s=r/(r-1)$ ，必須要證明任意一個正整數屬於且僅屬於序列對應的集合 $B=\{\lfloor nr\rfloor |n\in \mathbb {Z} \}$ 或者 $B'=\{\lfloor ns\rfloor |n\in \mathbb {Z} \}$ 中的一個。

為了證明它，可以構建兩個不同的沒有交集的集合併排成一個有序序列（可以通過有序序列的有序性，使得下標和值一一對應），通過構造值和對應下標的一一對應的關係，證明任意一個正整數對應的值屬於且僅屬於兩個集合中的一個，而對應兩個集合的下標集合正是 $B$ 和 $B'$ 。

需要考慮如下：對於正整數 $j$ 和 $k$ 而言，有分數 $j \over r$ 和 $k \over s$ 形成的序列。這兩個序列對應的的集合沒有交集，且容易證明序列本身沒有重複元素。

沒有交集可以利用反證法，證明兩個數

j,\ k\in \mathbb {Z}

，有

{j \over r}={k \over s}

，那麼滿足：

{j \over k}={r \over s}=r-1

，因為

r

屬於無理數，故

r-1

也屬於無理數，不能被兩個有理數的比來進行表示，矛盾故它們形成的集合沒有交集。

將兩個序列組合成一個序列，需要證明值 $j \over r$ 對應的下標就是 $\lfloor js\rfloor$ ：在 $i \over r$ 形成的子序列中， $j \over r$ 的下標為 $j$ ；而在另一個子序列，即 $k \over s$ 形成的序列中， $j \over r$ 前面一共有 $\lfloor {js \over r}\rfloor$ 個數，綜上它的下標就為 $j+\lfloor {js \over r}\rfloor =j+\lfloor {j(s-1)}\rfloor =\lfloor {j+j(s-1)}\rfloor =\lfloor {js}\rfloor$ 。同理值 $k \over s$ 對應的下標就為 $\lfloor kr\rfloor$ 。