OFFSET
0,1
COMMENTS
Consider any cubic polynomial f(x) = a(x - r)(x - (r + s))(x -(r + 2s)), where a, r, and s are real numbers with s > 0 and nonzero a; i.e., any cubic polynomial with three distinct real roots, of which the middle root, r + s, is equidistant (with distance s) from the other two. Then the absolute value of f's local extrema is |a|*s^3*(2*sqrt(3)/9). They occur at x = r + s +- s*(sqrt(3)/3), with the local maximum, M, at r + s - s*sqrt(3)/3 when a is positive and at r + s + s*sqrt(3)/3 when a is negative (and the local minimum, m, vice versa). Of course m = -M < 0.
A quadratic number with denominator 9 and minimal polynomial 27x^2 - 4. - Charles R Greathouse IV, Apr 21 2016
This constant is also the maximum curvature of the exponential curve, occurring at the point M of coordinates [x_M = -log(2)/2 = (-1/10)*A016655; y_M = sqrt(2)/2 = A010503]. The corresponding minimum radius of curvature is (3*sqrt(3))/2 = A104956 (see the reference Eric Billault and the link MathStackExchange). - Bernard Schott, Feb 02 2020
REFERENCES
Eric Billault, Walter Damin, Robert Ferréol et al., MPSI - Classes Prépas, Khôlles de Maths, Ellipses, 2012, exercice 17.07 pages 386, 389-390.
LINKS
MathStackExchange, Apex of an Exponential Function, 2015.
FORMULA
(2/9)*sqrt(3) = (2/9)*A002194.
EXAMPLE
0.384900179459750509672765853667971637098401167513417917345734...
MATHEMATICA
RealDigits[2/(3*Sqrt[3]), 10, 105] (* T. D. Noe, May 31 2012 *)
PROG
(PARI) default(realprecision, 1000); 2*sqrt(3)/9
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Rick L. Shepherd, May 29 2012
STATUS
approved