貝亞蒂定理

在數論中，貝亞蒂定理（英文：Beatty's theorem）指：若兩個正無理數的倒數之和是1，則任何正整數都可剛好以一種形式表示為不大於其中一個無理數的正整數倍的最大整數。 此定理由Sam Beatty在1926年發表。

定理定義

貝亞蒂定理

貝亞蒂定理

定義一個正無理數的貝亞蒂列為

貝亞蒂定理

貝亞蒂定理

，這裡的是取整函式。

貝亞蒂定理

貝亞蒂定理

貝亞蒂定理

若然有兩個正無理數且，（即）

貝亞蒂定理

則構成正整數集的一個分劃：

貝亞蒂定理

套用例子

貝亞蒂定理

取，那麽

貝亞蒂定理

貝亞蒂定理

貝亞蒂定理

然後

貝亞蒂定理

貝亞蒂定理

貝亞蒂定理

貝亞蒂定理

可以看到，里的數不會在再出現，反之亦然。而且，每一個正整數都被這兩個數列無一遺漏地列舉了出來。