login
Decimal expansion of the least positive solution of cos(x) - sin(x) = 1/3.
5

%I #18 Aug 02 2024 11:39:01

%S 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,

%T 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,

%U 4,2,0,5,3,4,9,1,2,8,3,9,5,6,2,5,8,5

%N Decimal expansion of the least positive solution of cos(x) - sin(x) = 1/3.

%F Equals arctan((9 - sqrt(17))/8). - _Vaclav Kotesovec_, Jul 01 2024

%e 0.54745703856724004344616277583946521968948603645825597879...

%t f = FindRoot[Cos[ x] - Sin[ x ] == 1/3, {x, {0, 2}}, WorkingPrecision -> 500][[1, 2]][[1]]

%t RealDigits[f][[1]]

%Y Cf. A197291, A372955, A374407, A374408, A372958, A372959.

%K nonn,cons

%O 0,1

%A _Clark Kimberling_, Jul 01 2024