login
A372954
Decimal expansion of the least positive solution of cos(x) - sin(x) = 1/3.
5
5, 4, 7, 4, 5, 7, 0, 3, 8, 5, 6, 7, 2, 4, 0, 0, 4, 3, 4, 4, 6, 1, 6, 2, 7, 7, 5, 8, 3, 9, 4, 6, 5, 2, 1, 9, 6, 8, 9, 4, 8, 6, 0, 3, 6, 4, 5, 8, 2, 5, 5, 9, 7, 8, 7, 9, 6, 5, 8, 6, 0, 5, 2, 9, 0, 4, 9, 0, 4, 2, 0, 5, 3, 4, 9, 1, 2, 8, 3, 9, 5, 6, 2, 5, 8, 5
OFFSET
0,1
FORMULA
Equals arctan((9 - sqrt(17))/8). - Vaclav Kotesovec, Jul 01 2024
EXAMPLE
0.54745703856724004344616277583946521968948603645825597879...
MATHEMATICA
f = FindRoot[Cos[ x] - Sin[ x ] == 1/3, {x, {0, 2}}, WorkingPrecision -> 500][[1, 2]][[1]]
RealDigits[f][[1]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Clark Kimberling, Jul 01 2024
STATUS
approved