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