OFFSET
1,1
COMMENTS
Let x be the positive solution of 1/(1+x) + 1/(1+x+x^2) = 1. Then (floor(n*(1+x)) and (floor(n*(1+x+x^2))) are a pair of Beatty sequences; i.e., every positive integer is in exactly one of the sequences. See the Guide to related sequences at A329825.
LINKS
Eric Weisstein's World of Mathematics, Beatty Sequence.
FORMULA
a(n) = floor(n (1+x))), where x = 0.7548776662... is the constant in A075778.
MATHEMATICA
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Jan 04 2020
STATUS
approved