a sequence of integers formed by rounding down the integer multiples of a positive irrational number
在数论中,贝亚蒂定理(英文:Beatty sequence)指:若使得。定義集(贝亚蒂列),则P 和 Q 构成正整数集的一个分划:,。 即是說:若兩個正無理數的倒數之和是1,則任何正整數都可剛好以一種形式表示為不大於其中一個無理數的正整數倍的最大整數。 此定理由Sam Beatty在1926年發現。
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).