Marden's theorem

A cubic polynomial has three zeroes in the complex number plane, which in general form a triangle, and the Gauss–Lucas theorem states that the roots of its derivative lie within this triangle. Marden's theorem states their location within this triangle more precisely:

:Suppose the zeroes {{math|z₁}}, {{math|z₂}}, and {{math|z₃}} of a third-degree polynomial {{math|p(z)}} are non-collinear. There is a unique ellipse inscribed in the triangle with vertices {{math|z₁}}, {{math|z₂}}, {{math|z₃}} and tangent to the sides at their midpoints: the Steiner inellipse. The foci of that ellipse are the zeroes of the derivative {{math|p'(z)}}.

This proof comes from an exercise in Fritz Carlson's book “Geometri” (in Swedish, 1943).{{Cite web |last= |first= |date= |title=Carlson's proof of Marden's theorem. |url=http://www.su.se/polopoly_fs/1.229312.1426783194!/menu/standard/file/marden.pdf |access-date= |website= |publisher=}}

{{Math proof|title=Proof|proof=

Given any $a,\; b\; \backslash in\; \backslash mathbb\; C$ with $a\; \backslash neq\; 0$, define $g(z)\; =\; f(az\; +\; b)$, then $g\text{'}(z)\; =\; af\text{'}(az+b)$. Thus, we have

$$g^\{-1\}(0)\; =\; (f^\{-1\}(0)-b)/a$$

and similarly for $g\text{'}$ and $f\text{'}$. In other words, by a linear change of variables, we may perform arbitrary translation, rotation, and scaling on the roots of $f$ and $f\text{'}$.

Thus, WLOG, we let the Steiner inellipse's focal points be on the real axis, at $\backslash pm\; c$, where $c$ is the focal length. Let $a,\; b$ be the long and short semiaxis lengths, so that $c\; =\; \backslash sqrt\{a^2\; -\; b^2\}$.

Let the three roots of $f$ be $z\_j\; :=\; x\_j\; +\; y\_j\; i$ for $j=\; 0,\; 1,\; 2$.

Horizontally stretch the complex plane so that the Steiner inellipse becomes a circle of radius $b$. This would transform the triangle into an equilateral triangle, with vertices $\backslash zeta\_j\; =\; \backslash frac\{b\}\{a\}x\_j\; +\; y\_j\; i$.

By geometry of the equilateral triangle, $\backslash sum\_j\; \backslash zeta\_j\; =\; 0$, we have $\backslash sum\_j\; z\_j\; =\; 0$, thus $f(z)\; =\; z^3\; +\; z\backslash sum\_j\; z\_j\; z\_\{j+1\}\; -\; z\_0z\_1z\_2$ by Vieta's formulas (for notational cleanness, we "loop back" the indices, that is, $z\_3\; =\; z\_0$.). Now it remains to show that $3c^2\; +\; \backslash sum\_j\; z\_j\; z\_\{j+1\}\; =0$,

Since $0\; =\; \backslash left(\backslash sum\_j\; z\_j\backslash right)^2\; =\; \backslash sum\_j\; z\_j^2\; +\; 2\; \backslash sum\_j\; z\_jz\_\{j+1\}$, it remains to show $\backslash sum\_j\; z\_j^2\; =\; 6c^2$, that is, it remains to show

$$\backslash sum\_j\; x\_jy\_j\; =\; 0;\; \backslash quad\; \backslash sum\_j\; x\_j^2\; -\; y\_j^2\; =\; 6(a^2\; -\; b^2)$$

By the geometry of the equilateral triangle, we have $\backslash sum\_j\; \backslash zeta\_j^2\; =\; 0$, and $|\backslash zeta\_j|\; =\; 2b$ for each $j$, which implies

$$\backslash sum\_j\; \backslash frac\{2b\}\{a\}\; x\_jy\_j\; =\; 0;\; \backslash quad\; \backslash sum\_j\; \backslash frac\{b^2\}\{a^2\}\; x\_j^2\; -\; y\_j^2\; =\; 0;\; \backslash quad\; \backslash sum\_j\; \backslash frac\{b^2\}\{a^2\}\; x\_j^2\; +\; y\_j^2\; =\; 12b^2$$

which yields the desired equalities.

}}

By the Gauss–Lucas theorem, the root of the double derivative {{math|p"(z)}} must be the average of the two foci, which is the center point of the ellipse and the centroid of the triangle.

In the special case that the triangle is equilateral (as happens, for instance, for the polynomial {{math|1=p(z) = z³ − 1}}) the inscribed ellipse becomes a circle, and the derivative of {{math|p}} has a double root at the center of the circle. Conversely, if the derivative has a double root, then the triangle must be equilateral {{harv|Kalman|2008a}}.

A more general version of the theorem, due to {{harvtxt|Linfield|1920}}, applies to polynomials {{math|1=p(z) = (z − a)ⁱ (z − b)^j (z − c)^k}} whose degree {{math|i + j + k}} may be higher than three, but that have only three roots {{math|a}}, {{math|b}}, and {{math|c}}. For such polynomials, the roots of the derivative may be found at the multiple roots of the given polynomial (the roots whose exponent is greater than one) and at the foci of an ellipse whose points of tangency to the triangle divide its sides in the ratios {{math|i : j}}, {{math|j : k}}, and {{math|k : i}}.

Another generalization ({{harvtxt|Parish|2006}}) is to n-gons: some n-gons have an interior ellipse that is tangent to each side at the side's midpoint. Marden's theorem still applies: the foci of this midpoint-tangent inellipse are zeroes of the derivative of the polynomial whose zeroes are the vertices of the n-gon.

Jörg Siebeck discovered this theorem 81 years before Marden wrote about it. However, Dan Kalman titled his American Mathematical Monthly paper "Marden's theorem" because, as he writes, "I call this Marden’s Theorem because I first read it in M. Marden’s wonderful book".

{{harvs|last=Marden|year=1945|year2=1966|txt}} attributes what is now known as Marden's theorem to {{harvtxt|Siebeck|1864}} and cites nine papers that included a version of the theorem. Dan Kalman won the 2009 Lester R. Ford Award of the Mathematical Association of America for his 2008 paper in the American Mathematical Monthly describing the theorem.

• Bôcher's theorem for rational functions

{{Reflist}}

• {{Citation | last1=Kalman | first1=Dan | title=An Elementary Proof of Marden's Theorem | year=2008a | journal=The American Mathematical Monthly | issn=0002-9890 | volume=115 | issue=4 | pages=330–338| doi=10.1080/00029890.2008.11920532 | s2cid=13222698 |url=http://mathdl.maa.org/mathDL/22/?pa=content&sa=viewDocument&nodeId=3338&pf=1}}
• {{Citation | last1=Kalman | first1=Dan | title=The Most Marvelous Theorem in Mathematics | url=http://mathdl.maa.org/mathDL/4/?pa=content&sa=viewDocument&nodeId=1663 | year=2008b | journal=Journal of Online Mathematics and Its Applications}}
• {{Citation | last=Linfield | first=B. Z. | title=On the relation of the roots and poles of a rational function to the roots of its derivative | journal=Bulletin of the American Mathematical Society | volume=27 | year=1920 | pages=17–21 | doi=10.1090/S0002-9904-1920-03350-1 | doi-access=free }}.
• {{Citation | last1=Marden | first1=Morris | title=A note on the zeroes of the sections of a partial fraction | url=https://www.ams.org/bull/1945-51-12/S0002-9904-1945-08470-5/home.html | year=1945 | journal=Bulletin of the American Mathematical Society | volume=51 | issue=12 | pages=935–940 | doi=10.1090/S0002-9904-1945-08470-5| doi-access=free }}
• {{Citation | last1=Marden | first1=Morris | title=Geometry of Polynomials | publisher=American Mathematical Society | location=Providence, R.I. | series=Mathematical Surveys | volume=3 | year=1966 | postscript=; reprint of 1949 original publication}}; [https://books.google.com/books?id=raZwAAAAQBAJ 2005 pbk reprint with corrections]
• {{Citation | last1=Parish | first1=James L. | title=On the derivative of a vertex polynomial | url=http://forumgeom.fau.edu/FG2006volume6/FG200633.pdf | year=2006 | journal=Forum Geometricorum | volume=6 | pages=285–288: Proposition 5}}
• {{Citation | last1=Siebeck | first1=Jörg | title=Über eine neue analytische Behandlungweise der Brennpunkte | year=1864 | journal=Journal für die reine und angewandte Mathematik | issn=0075-4102 | volume=64 | pages=175–182|url=http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002152495}} [https://babel.hathitrust.org/cgi/pt?id=hvd.32044102910692&view=1up&seq=191&q1=siebeck hathitrust link]

Category:Theorems about triangles

Category:Theorems about polynomials

Category:Conic sections

Category:Theorems in complex geometry