Lin McMullin’s Theorem

Mathematics more often tends to delight when it exhibits an unanticipated result rather than conforming to … expectations. In addition, the pleasure derived from mathematics is related in many cases to the surprise felt upon the perception of totally unexpected relationships and unities.

– Mario Livio, The Golden Ratio

I have a theorem named after me. I did not name it, but I did prove it – well more like I tripped over it. It is a calculus related idea. Here is how it came about. I say “came about” because as you will see I did not set out to prove it. I just sort of fell in my lap as I was working on something else.

I was trying to do an animation of an idea that I had heard about: If you have a fourth degree, or quartic, polynomial with a “W” shape it has two points of inflection. If you draw a line through the points of inflection three regions enclosed by the line and the polynomial’s graph are formed. The areas of these regions are in the ratio of 1:2:1. In order to make the animation work I needed the general coordinates of the four points where the line intersects the quartic.

The straightforward way to proceed would be to write a general fourth degree polynomial,

f\left( x \right)={{c}_{4}}{{x}^{4}}+{{c}_{3}}{{x}^{3}}+{{c}_{2}}{{x}^{2}}+{{c}_{1}}x+{{c}_{0}}

differentiate it twice to find the second derivative. Then find the zeros of the second derivative (by the quadratic formula), write the equation of the line through them, and then find where else the line intersects the quartic. Without even starting I realized that even with a CAS the algebra and equation solving was going to be really fun (Not!). So, I decided on an alternative approach.

I decided to let the zeros of the second derivative be x = a and x = b, then at least they would be easy to work with. Then the second derivative is \displaystyle {{f}'}'\left( x \right)=12{{c}_{4}}\left( x-a \right)\left( x-b \right) where the {{c}_{4}}  is the leading coefficient of the quartic and the 12 comes from differentiating twice.

I integrated to get the first derivative and added {{c}_{1}}, the coefficient of the linear term, as the constant of integration. I integrated again and added {{c}_{0}}, the constant term. as the constant of integration. This resulted in the original quartic function:

\displaystyle f\left( x \right)={{c}_{4}}{{x}^{4}}-2\left( a+b \right){{c}_{4}}{{x}^{3}}+6ab{{c}_{4}}{{x}^{2}}+{{c}_{1}}x+{{c}_{0}}

Then I wrote the equation of y(xthe line through the points of inflection. It is too long to copy, but you may see it in the screen capture at the end of the post. (That is what is nice about a CAS: you really do not have to worry about how complicated things are.)

Then I solved the equation f\left( x \right)=y\left( x \right). Two of the solutions are x = a and x = b as I expected. (This means that you could do synthetic division by hand since you know two of the roots.) The other two I did not expect. They are:

\displaystyle {{x}_{1}}=\frac{1+\sqrt{5}}{2}a+\frac{1-\sqrt{5}}{2}b and \displaystyle {{x}_{2}}=\frac{1+\sqrt{5}}{2}b+\frac{1-\sqrt{5}}{2}a

And that’s when I stopped astonished! Those numbers are the Golden Ratio \Phi =\frac{1+\sqrt{5}}{2},  and its reciprocal \phi ={{\Phi }^{-1}}=\frac{1-\sqrt{5}}{2}. So the roots are \Phi a+\phi b and \Phi b+\phi a. How did they get there?

To this day I have no idea why the Golden Ratio should be so involved with quartic polynomials, but there they are in every quartic!

There were no assumptions made about a and b – they could be Complex numbers. In that case there are no points of inflection, but the “line” and the quartic still will have the same value at the four points.

October 16, 2022 Update: If the solutions of \displaystyle {y}''=0 are the Complex conjugates \displaystyle a=\alpha +\beta i and \displaystyle b=\alpha -\beta i then \displaystyle {{x}_{1}}=\alpha +\sqrt{5}\beta i and \displaystyle {{x}_{2}}=\alpha -\sqrt{5}\beta i. When graphed on an Argand diagram the four points are collinear on the vertical line at \displaystyle x=\alpha

This was all in 2013 and until just this year I never checked the ratio of the areas. (They check.)

Here is a CAS printout of the entire computation.LMT 2

An interactive Desmos demo of this can be found here


October 16, 2022, Update: If the solutions of \displaystyle {y}''=0 are the Complex conjugates \displaystyle a=\alpha +\beta i and \displaystyle b=\alpha -\beta i then \displaystyle {{x}_{1}}=\alpha +\sqrt{5}\beta i and \displaystyle {{x}_{2}}=\alpha -\sqrt{5}\beta i. When graphed on an Argand diagram the four points are collinear on the vertical line at \displaystyle x=\alpha


November 10, 2020, Update: I received an email this week form Dominique Laurain, a computer science and applied math engineer from France, who describes himself as a mathematics hobbyist. He discovered another interesting relationship between the coordinates of the x-coordinates of the four points on the line described above. The four points on the line through the points of inflection of a fourth degree polynomial with Real roots in the drawing above from left to right are p, q, r, and s. The coordinates of the points of inflection are a and as in the post above.  

One, of several, cross-ratios of four points with x-coordinates of p, q r, and s is defined as

\displaystyle (p,s;r,q)=\frac{{\left( {r-p} \right)\left( {q-s} \right)}}{{\left( {r-s} \right)\left( {q-p} \right)}}.

Dominique Laurin discovered that \displaystyle (p,s;r,q)=\frac{{\left( {r-p} \right)\left( {q-s} \right)}}{{\left( {r-s} \right)\left( {q-p} \right)}}={{\Phi }^{4}}

The computation is shown in the figure below.

There are 24 other cross-ratios depending on the order of the points. In groups of 4, the 24 possible orders are equal to 6 related values. See the cross-ratio link above above. For example, the cross-ratio in the order (s, p; r, q) is {{\varphi }^{4}}

Also, (q,r;s,p)={{\Phi }^{4}}


Other interesting information:

The Golden Ratio also appears in cubic equations. See the Tashappat – McMullin theorem here.

Quartic Polynomials and the Golden Ratio” by Harald Totland of the Royal Norwegian Naval Academy. (June 2009)

Speaking of the Golden Ratio, the Calculus Humor website has a nice feature on the Golden Ratio in logos. To view it click here.

Link for cross-ratios

Revised and updated July 20 and 23, 2017, November 10, 2020


Advertisement

Far Out!

A monster problem for Halloween.

A while ago I suggested you look at \displaystyle \underset{x\to \infty }{\mathop{\lim }}\,\frac{\ln \left( {{x}^{5}} \right)}{{{x}^{0.02}}} , which using the dominance idea is zero. Of course your students may try graphing or a table. Here’s the graph done by a TI-Nspire CAS. Note the scales.

This is not the way to go. Since the function is increasing near the origin, but the limit at infinity is zero there must be a maximum point where the function starts decreasing. And as the expression can never be negative once x > 1, there must be a point of inflection where the graph becomes concave up and can thereafter approach the x-axis from above as a horizontal asymptote. The maximum can be found by hand which makes for some great algebra manipulation practice:

\displaystyle \frac{d}{dx}\left( \frac{\ln \left( {{x}^{5}} \right)}{{{x}^{0.02}}} \right)=\frac{{{x}^{0.02}}\tfrac{5{{x}^{4}}}{{{x}^{5}}}-\ln \left( {{x}^{5}} \right)\left( 0.02{{x}^{-0.98}} \right)}{{{x}^{0.04}}}

\displaystyle \frac{d}{dx}\left( \frac{\ln \left( {{x}^{5}} \right)}{{{x}^{0.02}}} \right)=\frac{{{x}^{-0.98}}\left( 5-\left( 0.10 \right)\ln \left( x \right) \right)}{{{x}^{0.04}}}=\frac{50-\ln \left( x \right)}{10{{x}^{1.02}}}

Setting this equal to zero and solving gives x={{e}^{50}}\approx 5.185\times {{10}^{21}}

The second derivative is \displaystyle \frac{{{d}^{2}}}{d{{x}^{2}}}\left( \frac{\ln \left( {{x}^{5}} \right)}{{{x}^{0.02}}} \right)=\frac{-510+10.2\ln \left( x \right)}{100{{x}^{2.02}}}

and is zero when x\displaystyle {{e}^{\frac{520}{10.2}}}\approx 1.382\times {{10}^{22}}

Okay, I skipped a few steps here, but you can challenge your students with that. Since we’re really interested in the solution here more than the solving ,this is really a good place to use a CAS calculator.

The first line in the figure above defines the function to save typing it each time. The second line finds the x-coordinate of the maximum point (how do we know this is a maximum?) and the third finds the x-coordinate of the point of inflection.  Much simpler this way!

Take a minute to consider the numbers. They are BIG! In fact, if the units on our graph paper are centimeters, then the maximum point is a little over 5,480 light-years away from the origin! The point of inflection is about 2.665 times farther at more than 14,607 light-years away!

Meanwhile the maximum value is only 91.9699 cm. That’s right centimeters, less than a meter. And the y-coordinate of the point of inflection is about 91.9524 cm. A drop of 0.0175 cm. in a horizontal distance of a little over 9,127 light-years.

Some problems are a lot less scary if done with technology.