Inflection Points of Fourth Degree Polynomials
In an article published in the NCTM's online magazine, I came across a curious property of 4th degree polynomials that, although simple, well may be a novel discovery by the article's authors (but see also another article.) Their research began with a suggestion for investigation of the inflection points of 4th degree polynomials from a 2002 issue of Mathematics Teacher, another NCTM publication.
A fourth degree polynomial will be written as
p(x) = m4x4 + m3x3 + m2x2 + m1x + m0.
In the applet and text below, I shall describe the polynomials by their coefficients, with the exponent of x and the index of its coefficient on the left, like this:
4th degree polynomials may or may not have inflection points. These are the points where the convex and concave (some say "concave down" and "concave up") parts of a graph abut. The second derivative of a (twice differentiable) function is negative wherever the graph of the function is convex and positive wherever it's concave. The second derivative is 0 at the inflection points, naturally.
If a 4th degree polynomial p does have inflection points a and b, a < b, and a straight line is drawn through
xL < a < b < xR.
Solving equations involving second derivatives of 4th degree polynomials may tax one's desire to see a problem through. Authors McMullin and Weeks used an ingenious device of not solving the equation at all. Instead, knowing that a and b satisfy a quadratic equation, they wrote the equation
p''(x) = 12m4(x - a)(x - b).
The polynomial p(x) can now be expressed from p''(x) by repeated integration:
|3:||-2(a + b)m4|
Writing an equation of the line L(x) through (a, p(a)) and (b, p(b)) is straightforward. (In the applet, the line is referred to as the "inflection line."). The difference
Along with a and b, xL and xR, are the solutions of
p(x) - L(x) = 0.
At this point, McMullin and Weeks proceed with a CAS (Computer Algebra System) that, due to its symbolic manipulation abilities, solves such equations exactly. Among other things, McMullin and Weeks have found that
|(2)||a + b = xL + xR|
|(5)||The areas of the three regions between the graphs of p(x) and L(x) are in proportion 1:2:1.|
The appearance of the Golden Ratio in (1) is nothing short of surprising. Mathematician are accustomed to finding the famous constant in unexpected circumstances, but every new discovery is a delight not only for the authors but the entire community as well. (1)-(4) are of course interrelated. Below, I tackle (1)-(5) with simple algebra and polynomial integration. The simplicity of the calculations may, if not shade light on the reasons for the appearance of the Golden Ratio, at least provide a natural formal explanation for its role in the current problem.
The applet helps grasp the situation. It displays a graph of a 4th degree polynomial whose coefficients are controlled by five sliders in the lower left corner of the applet. Each slider sports 3 draggable points: orange and red for 0 and 1, respectively. The locations of these dots define the origin and the unit of measurements for one specific axis. The blue dot then is associated with the value of a coefficient relative to the position of the origin and the unit.
|What if applet does not run?|
First let's see how (1) and (2) follow from (*). Since the roots of the 4th degree polynomial
p(x) - L(x) = m4(x - xL)(x - a)(x - b)(x - xR).
Thus the coefficients of p(x) - L(x) have the standard representation, viz.,
The comparison of coefficients by x3 in (*) and (**) shows (2). The comparison of the free coefficients (those by x0) shows that
xLxR = -(a2 - 3ab + b2).
Together (2) and (6) assert that xL and xR are the roots of the quadratic equation
x2 - (a + b)x - (a2 - 3ab + b2) = 0.
The quadratic formula applied to (7) gives (1) right away:
xL,R = ((a + b) ± (a - b)5)/2.
(3) and (4) are easy consequences of (1'), or (1), if you will.
One additional feature that may be observed playing with the applet is that the graph of the difference
a - xL = xR - b,
which is the statement of symmetry. It can also be observed that another interpretation of (2) is the fact that the midpoints of the two intervals
I claim that this is a characteristic property of the direction of the inflection line. More accurately, we have the following
Let M(x) be a linear function. Then the graph of
M(x) - L(x) = const.
The sufficiency (the "if" part) has been shown: (2) is a statement of the claimed symmetry. The necessity (the "only if" part) follows from the observation that all function
(p - M)''(x) = p''(x).
If there are two linear functions M1(x) and M2(x) such that the graphs of both differences
(p(x) - M1(x)) - (p(x) - M2(x)) = M2(x) - M1(x)
has the graph that is also symmetric with respect to the same vertical line. But a straight line symmetric in a vertical axis ought to be horizontal, such that necessarily
M2(x) - M1(x) = const.
Integration of the function p(x) - L(x) between xL and a, between a and b, and between b and xR immediately proves (5). In addition, because of the symmetry, the integral from
(xR - xL)3(5(b - a)2 - (xR - xL)2) / 240 = 0,
5(b - a)2 = (xR - xL)2,
which is (3) in a different guise.
As we've seen, the graph of a 4th degree polynomial that has 2 inflection points, can be symmetrized by subtracting the line through the inflection points. Here's a question for further investigation: in the absence of inflection points, can the graph of a 4th degree polynomial be symmetrized by subtracting a linear function?
(The answer is of course, Yes. To see this, note that, whenever the second degree polynomial equation
- L. McMullin, A. Weeks, The Golden Ratio and Fourth Degree Polynomials, On-Math Winter 2004-05, Volume 3, Number 2 (requires subscription)
- L. McMullin, How I Found the Golden Ratio on my CAS, NCAAPMT newsletter, Winter 2005, 6-7.
- Ceva's Theorem: A Matter of Appreciation
- When the Counting Gets Tough, the Tough Count on Mathematics
- I. Sharygin's Problem of Criminal Ministers
- Single Pile Games
- Take-Away Games>
- Number 8 Is Interesting
- Curry's Paradox
- A Problem in Checker-Jumping
- Fibonacci's Quickies
- Fibonacci Numbers in Equilateral Triangle
- Binet's Formula by Inducion
- Binet's Formula via Generating Functions
- Generating Functions from Recurrences
- Cassini's Identity
- Fibonacci Idendtities with Matrices
- GCD of Fibonacci Numbers
- Binet's Formula with Cosines
- Lame's Theorem - First Application of Fibonacci Numbers
Copyright © 1996-2017 Alexander Bogomolny