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”).
%I #23 Sep 20 2022 04:58:18
%S 1,7,6,9,2,9,2,3,5,4,2,3,8,6,3,1,4,1,5,2,4,0,4,0,9,4,6,4,3,3,5,0,3,3,
%T 4,9,2,6,7,0,5,5,3,0,4,5,8,9,8,8,5,7,0,0,4,2,3,3,1,0,6,1,3,0,4,0,2,6,
%U 7,3,8,1,7,3,5,0,6,6,8,3,2,9,0,6,8,7,4,1,2,2,1,4,9,4,4,5,4,8,1,8,1,2,7,1,6
%N Decimal expansion of the real root of x^3 - 2x + 2, negated.
%C The roots of x^3 + A273065*x^2 - A273066*x + A273067 are A273065, -A273066, and A273067. The only other real, cubic, monic polynomial with nonzero constant term and equal coefficients and roots when ignoring the leading coefficient is x^3 + x^2 - x - 1 (per the Math Overflow link).
%C The other two roots of x^3 - 2*x - 2 are w1*(1 + (1/9)*sqrt(57))^(1/3) + w2*(1 - (1/9)*sqrt(57))^(1/3) = -0.88464617... + 0.58974280...*i, and its complex conjugate, where w1 = (-1 + sqrt(3)*i)/2 and w2 = (-1 - sqrt(3)*i)/2 are the complex roots of x^3 - 1. Using hyperbolic functions this is -(1/3)*sqrt(6)*(cosh((1/3)*arccosh((3/4)*sqrt(6))) - sqrt(3)*sinh((1/3)*arccosh((3/4)*sqrt(6)))*i) and its complex conjugate. - _Wolfdieter Lang_, Sep 13 2022
%H A. J. Di Scala and O. Macia, <a href="http://arXiv.org/abs/0904.0133">Finiteness of Ulam Polynomials</a>, arXiv:0904.0133 [math.AG], 2009.
%H R. Stanley, R. Israel et al., <a href="http://mathoverflow.net/questions/216346">Math Overflow: Which polynomial's roots are its coefficients?</a>, Sep 3 2015.
%H P. R. Stein, <a href="http://www.jstor.org/stable/2315341">On Polynomial Equations with Coefficients Equal to Their Roots</a>, The American Mathematical Monthly, Vol. 73, No. 3 (Mar., 1966), pp. 272-274.
%F Equals ((9-sqrt(57))^(1/3))/(3^(2/3)) + 2/((3(9-sqrt(57)))^(1/3)) (from Wolfram Alpha).
%F From _Wolfdieter Lang_, Sep 13 2022: (Start)
%F Equals (1 + (1/9)*sqrt(57))^(1/3) + (2/3)*(1 + (1/9)*sqrt(57))^(-1/3) [compare with the above formula which uses the negative sqrt(57)].
%F Equals (1 + (1/9)*sqrt(57))^(1/3) + (1 - (1/9)*sqrt(57))^(1/3).
%F Equals (2/3)*sqrt(6)*cosh((1/3)*arccosh((3/4)*sqrt(6))). (End)
%e 1.7692923542386314152404094643350334926705530458988570042331061304026738...
%t RealDigits[Root[x^3-2x+2,1],10,120][[1]] (* _Harvey P. Dale_, May 25 2022 *)
%o (PARI) default(realprecision, 200);
%o -solve(x = -1.8, -1.7, x^3 - 2*x + 2)
%Y Cf. A273065, A273067, A357102.
%K nonn,cons
%O 1,2
%A _Rick L. Shepherd_, May 14 2016