Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:category |
theorems in number theory
|
| gptkbp:concerns |
Beatty sequences
complementary sequences |
| gptkbp:field |
number theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lambek–Moser theorem
|
| gptkbp:namedAfter |
gptkb:Leo_Moser
gptkb:Joachim_Lambek |
| gptkbp:publicationYear |
1954
|
| gptkbp:publishedIn |
gptkb:Canadian_Mathematical_Bulletin
|
| gptkbp:relatedTo |
Beatty's theorem
|
| gptkbp:state |
If (a_n) and (b_n) are complementary sequences of positive integers, then there exists a unique irrational number r > 1 such that a_n = floor(nr) and b_n = floor(nr^2) for all n.
|
| gptkbp:bfsParent |
gptkb:Joachim_Lambek
|
| gptkbp:bfsLayer |
6
|