在數論中,貝亞蒂定理(英文:Beatty sequence)指:若
使得
。定義集(貝亞蒂列)
,則P 和 Q 構成正整數集的一個分劃:
,
。
即是說:若兩個正無理數的倒數之和是1,則任何正整數都可剛好以一種形式表示為不大於其中一個無理數的正整數倍的最大整數。
此定理由Sam Beatty在1926年發現。
比如說對於黃金分割率
而言,可以令
,有
(根據黃金分割率的性質),生成兩個序列:
- 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 定理,又被稱為貝亞蒂定理,定義為:
- 指定一個無理數
,這裡存在着一個數
使得貝亞蒂序列
和
引出的同名集合將正整數集合劃分:即所有的正整數屬於且僅屬於兩個集合中的一個。
給定
,使得
,必須要證明任意一個正整數屬於且僅屬於序列對應的集合
或者
中的一個。
為了證明它,可以構建兩個不同的沒有交集的集合併排成一個有序序列(可以通過有序序列的有序性,使得下標和值一一對應),通過構造值和對應下標的一一對應的關係,證明任意一個正整數對應的值屬於且僅屬於兩個集合中的一個,而對應兩個集合的下標集合正是
和
。
需要考慮如下:對於正整數
和
而言,有分數
和
形成的序列。這兩個序列對應的的集合沒有交集,且容易證明序列本身沒有重複元素。
- 沒有交集可以利用反證法,證明兩個數
,有
,那麼滿足:
,因為
屬於無理數,故
也屬於無理數,不能被兩個有理數的比來進行表示,矛盾故它們形成的集合沒有交集。
將兩個序列組合成一個序列,需要證明值
對應的下標就是
:在
形成的子序列中,
的下標為
;而在另一個子序列,即
形成的序列中,
前面一共有
個數,綜上它的下標就為
。同理值
對應的下標就為
。
綜上這兩個沒有交集的序列合成的序列下標和值本身是一一對應的,值本身和
和
是對應的,可以證明這是一個劃分。
重複: 假設, 與定理相反地, 有整數 j > 0 和 k 和 m 使得
![{\displaystyle j=\left\lfloor {k\cdot r}\right\rfloor =\left\lfloor {m\cdot s}\right\rfloor \,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef7358de0db61c08072093cf058a1c8fb4d78de1)
這等價於不等式
![{\displaystyle j\leq k\cdot r<j+1{\text{ 且 }}j\leq m\cdot s<j+1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d02c764cf1da2c83d978d50e8624f80f99d22f91)
對於非零的 j, 無理數r 和 s, 等號不可能成立. 所以
![{\displaystyle j<k\cdot r<j+1{\text{ 且 }}j<m\cdot s<j+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16e53660923638aa63a541791865d7bb6ee6c289)
從而
![{\displaystyle {j \over r}<k<{j+1 \over r}{\text{ 且 }}{j \over s}<m<{j+1 \over s}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/457f9f568b8ab3a916940c54051ed5e1b6d00dd6)
將它們相加並利用條件得,
![{\displaystyle j<k+m<j+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09922e209ad63746f32a3710e57d2e09a866c8b6)
這是不可能的 (兩個相鄰整數之間沒有其他的整數). 所以假設不成立.
遺漏: 假設, 與定理相反地, 有整數 j > 0 和 k 和 m 使得
![{\displaystyle k\cdot r<j{\text{ 且 }}j+1\leq (k+1)\cdot r{\text{ 且 }}m\cdot s<j{\text{ 且 }}j+1\leq (m+1)\cdot s\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6bc51a27639e5bda45fbef754574dec1e3717e6)
因為 j + 1 非零且 r 和 s 為無理數, 等號不可能成立, 所以
![{\displaystyle k\cdot r<j{\text{ 且 }}j+1<(k+1)\cdot r{\text{ 且 }}m\cdot s<j{\text{ 且 }}j+1<(m+1)\cdot s.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6eb17d1ceabb727d28360c50cdd7da216596f436)
於是得
![{\displaystyle k<{j \over r}{\text{ 且 }}{j+1 \over r}<k+1{\text{ 且 }}m<{j \over s}{\text{ 且 }}{j+1 \over s}<m+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fd2e37a24eb22bbe2109dde2ed2a6bfd8e78f94)
將這些不等式相加得
![{\displaystyle k+m<j{\text{ 且 }}j+1<k+m+2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/437c6bd043fee7fa96dbe9a9a2130b65f876542f)
![{\displaystyle k+m<j<k+m+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f907561b6f5509589f00bdcaf3da3bef9f0bcbc8)
這是不可能的. 所以假設不成立.