A356030 - OEIS

%I #16 Jun 18 2023 01:52:17

%S 1,5,2,1,3,7,9,7,0,6,8,0,4,5,6,7,5,6,9,6,0,4,0,8,0,8,3,2,2,5,4,4,3,8,

%T 5,1,4,4,2,8,3,8,9,8,2,8,4,2,7,9,0,3,9,0,9,0,9,0,4,9,8,0,1,5,4,2,8,1,

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

%N Decimal expansion of the real root of x^3 - x - 2.

%F Equals ((27 + 3*sqrt(78))^(1/3) + 3/(27 + 3*sqrt(78))^(1/3))/3.

%F Equals (1 + sqrt(78)/9)^(1/3) + (1 - sqrt(78)/9)^(1/3).

%e 1.5213797068045675696040808322544385144283898284279039090904980154281564...

%t RealDigits[x /. FindRoot[x^3 - x - 2, {x, 2}, WorkingPrecision -> 120]][[1]] (* _Amiram Eldar_, Jun 18 2023 *)

%o (PARI) solve(x=1, 2, x^3 - x - 2) \\ _Michel Marcus_, Aug 19 2022

%Y Cf. A289265, A356031.

%K nonn,cons,easy

%O 1,2

%A _Wolfdieter Lang_, Aug 19 2022