貝亞蒂定理

在數論中 ， 貝亞蒂定理 （ 英文 ： Beatty sequence ） 指 ： 若使得 。 定義集 （ 貝亞蒂列 ） ， 則P 和 Q 構成正整數集的一個分劃 ： ， 。 即是說 ： 若兩個正無理數的倒數之和是1 ， 則任何正整數都可剛好以一種形式表示爲不大於其中一個無理數的正整數倍的最大整數 。 此定理由Sam Beatty在1926年發現 。