login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A329962
Beatty sequence for 2 + cos x, where x = least positive solution of 1/(2 + sin x) + 1/(2 + cos x) = 1.
3
1, 3, 4, 6, 7, 9, 10, 12, 13, 15, 16, 18, 19, 21, 22, 24, 26, 27, 29, 30, 32, 33, 35, 36, 38, 39, 41, 42, 44, 45, 47, 48, 50, 52, 53, 55, 56, 58, 59, 61, 62, 64, 65, 67, 68, 70, 71, 73, 75, 76, 78, 79, 81, 82, 84, 85, 87, 88, 90, 91, 93, 94, 96, 97, 99, 101
OFFSET
1,2
COMMENTS
Let x be the least positive solution of 1/(2 + sin x) + 1/(2 + cos x) = 1. Then (floor(n*(2 + sin x))) and (floor(n*(2 + cos x))) 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.
FORMULA
a(n) = floor(n*(2 + cos x)), where x = 2.058943... is the constant in A329960.
MATHEMATICA
Solve[1/(2 + Sin[x]) + 1/(2 + Cos[x]) == 1, x]
u = ArcCos[-(1/2) + 1/Sqrt[2] - 1/2 Sqrt[-1 + 2 Sqrt[2]]]
u1 = N[u, 150]
RealDigits[u1, 10][[1]] (* A329960 *)
Table[Floor[n*(2 + Sin[u])], {n, 1, 50}] (* A329961 *)
Table[Floor[n*(2 + Cos[u])], {n, 1, 50}] (* A329962 *)
Plot[1/(2 + Sin[x]) + 1/(2 + Cos[x]) - 1, {x, -1, 3}]
CROSSREFS
Cf. A329825, A329960, A329961 (complement).
Sequence in context: A032766 A189935 A329987 * A258574 A064717 A109231
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Jan 02 2020
STATUS
approved