OFFSET
1,2
COMMENTS
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).
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
LINKS
A. J. Di Scala and O. Macia, Finiteness of Ulam Polynomials, arXiv:0904.0133 [math.AG], 2009.
R. Stanley, R. Israel et al., Math Overflow: Which polynomial's roots are its coefficients?, Sep 3 2015.
P. R. Stein, On Polynomial Equations with Coefficients Equal to Their Roots, The American Mathematical Monthly, Vol. 73, No. 3 (Mar., 1966), pp. 272-274.
FORMULA
Equals ((9-sqrt(57))^(1/3))/(3^(2/3)) + 2/((3(9-sqrt(57)))^(1/3)) (from Wolfram Alpha).
From Wolfdieter Lang, Sep 13 2022: (Start)
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)].
Equals (1 + (1/9)*sqrt(57))^(1/3) + (1 - (1/9)*sqrt(57))^(1/3).
Equals (2/3)*sqrt(6)*cosh((1/3)*arccosh((3/4)*sqrt(6))). (End)
EXAMPLE
1.7692923542386314152404094643350334926705530458988570042331061304026738...
MATHEMATICA
RealDigits[Root[x^3-2x+2, 1], 10, 120][[1]] (* Harvey P. Dale, May 25 2022 *)
PROG
(PARI) default(realprecision, 200);
-solve(x = -1.8, -1.7, x^3 - 2*x + 2)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Rick L. Shepherd, May 14 2016
STATUS
approved