Recall that a critical point of a polynomial is a point for which . The Gauss-Lucas theorem states that the critical points of all lie within the convex hull of its set of zeros and we shall explain why this holds below. The real-number analogue of this is that the stationary points of a polynomial with real roots all lie between the smallest and largest root.

Denote the roots of the polynomial by (we’ll assume they are distinct) and the critical points by . We then may write our polynomial as for some constant and its derivative by the product rule is

If then as is a critical point of , and so

from which

In other words,

where .

Since , is a convex combination of the roots of . In other words, is in the convex hull of the set of roots .

In the other case of , is equal to one of the roots and so is also in the convex hull of the set of roots. This completes the proof of the theorem.

However as mentioned in [1] an interpretation of (3) by Cesàro in 1885 is that if we fix unit masses at the roots (if there are repeated roots place mass equal to the multiplicity), the critical points will be at precisely those points experiencing zero net force, assuming particles repel with a force proportional to the inverse of the distance between them (as opposed to an inverse *square* law). To see why this is so, if the force at a point due to a mass at is proportional to the vector (an inverse law, as this has magnitude ), then the net force is the sum of these over the masses at all the roots. In terms of any critical point , this is the following:

which is zero if and only if , i.e. the point having zero net force is a critical point of .

Bôcher’s theorem generalises this result, replacing polynomials with rational functions (ratios of polynomials) and simply applying negative unit masses at poles.

Another interesting result, mentioned in [2], is that the product of the distances from a root to the other roots (assuming all distinct roots) is precisely times the product of the distances from to the critical points . That is,

To see this, if , will have the form (since it has leading term . Note that is not a critical point since we assume the roots are distinct. Hence we may consider the quotient

Taking magnitudes of both sides leads to the desired result (4). One also can obtain an angular relationship by taking the argument of both sides.

The critical points for the case have a beautiful geometric interpretation as described in [3]: from the triangle formed by the roots, the critical points are the foci of the largest ellipse that is inscribed in the triangle (this ellipse also happens to pass through the triangle’s midpoints) – this is now known as Marden’s theorem. A generalisation proved by Marden in 1945 and mentioned in [1] is that the critical points of an -degree polynomial are the foci of a degree plane curve tangent to each of the line segments formed by taking pairs of the roots. The points of tangency divide each line segment into a ratio corresponding to the multiplicities of the roots at the endpoints. Also, if the -dimensional polygon is a linear (affine) transform of a regular polygon, it will have an inscribed ellipse passing through its midpoints (called the Steiner inellipse) and the foci of that ellipse will correspond to critical points.

Below are some other nice results about the critical points of a polynomial, gathered from [4] (also see references therein):

- The centre of mass of the roots of coincides with the centre of mass of the critical points of (a nice exercise to prove).
- (Anderson) The polynomial root dragging theorem for polynomials with real distinct roots: as roots are dragged to the right by at most (so as not to coincide), the critical points also move to the right, each by less than .
- (Boelkins et al., later Frayer) The polynomial root squeezing theorem for polynomials with real distinct roots: if two roots are squeezed together by the same amount without passing other roots, the critical points move towards or stay fixed.
- (Peyser) Critical points are not too close to the roots: if a polynomial has only real roots and critical points the critical points satisfy

Equality cases are satisfied by Bernstein polynomials. Replacing and by and respectively gives a corresponding result (due to Melman) taking into account multiplicities for root .

#### References

[1] Qazi Ibadur Rahman, Gerhard Schmeisser, Analytic Theory of Polynomials, Oxford University Press, 2002.

[2] Maxime Bocher, Some Propositions Concerning the Geometric Representation of Imaginaries, Annals of Mathematics, Vol. 7, No. 1/5 (1892 – 1893), pp. 70-72.

[3] Dan Kalman, The Most Marvelous Theorem in Mathematics, The Journal of Online Mathematics and Its Applications, Vol. 8, March 2008, Article ID 1663.

[4] Neil Biegalle, Investigations in the Geometry of Polynomials, McNair Scholars Journal, Volume 13, Issue 1, Article 3. Available at: http://scholarworks.gvsu.edu/mcnair/vol13/iss1/3

## Leave a Reply