Abstract
The isolation intervals of the real roots of the symbolic monic cubic polynomial \(x^3 + a x^2 + b x + c\) are determined, in terms of the coefficients of the polynomial, by solving the Siebeck–Marden–Northshield triangle—the equilateral triangle that projects onto the three real roots of the cubic polynomial and whose inscribed circle projects onto an interval with endpoints equal to stationary points of the polynomial.
Similar content being viewed by others
1 Introduction
The elegant theorem of Siebeck and Marden (often referred to as Marden’s theorem) [1,2,3,4,5] relates geometrically the complex non-collinear roots \(z_1, \,\, z_2,\) and \(z_3\) of a cubic polynomial with complex coefficients to a triangle in the complex plane whose vertices are \(z_1, \,\, z_2,\) and \(z_3\), on one hand, and, on the other, the critical points of the polynomial to the foci of the inellipse of this triangle. This ellipse is unique and is called Steiner inellipse [6]. It is inscribed in the triangle in such way that it is tangent to the sides of the triangle at their midpoints.
The real version of the Siebeck–Marden Theorem, as given by Northshield [7], states that the three real roots (not all of which are equal) of a cubic polynomial are projections of the vertices of some equilateral triangle in the plane. However, it is the inscribed circle of the equilateral triangle that projects onto an interval the endpoints of which are the stationary points of the polynomial.
The goal of this work is to consider a cubic equation with real coefficients and, using the Siebeck–Marden–Northshield theorem [7], solve the equilateral triangle and find the isolation intervals of the real roots of the symbolic monic cubic polynomial \(x^3 + a x^2 + b x + c\).
2 Analysis
Construction Any three real numbers, not all equal, are the projections of the vertices of some equilateral triangle in the plane. For the monic cubic polynomial \(p(x) = x^3 + a x^2 + b x + c\) with three real roots \(x_1, \,\, x_2,\) and \(x_3\), not all equal, the vertices of the equilateral triangle—points P, Q, and R on Fig. 1—with coordinates \((x_1, (x_2 - x_3)/\sqrt{3})\), \((x_2, (x_3 - x_1)/\sqrt{3})\), and \((x_3, (x_1 - x_2)/\sqrt{3})\), respectively, project on the roots [7]. This is the Siebeck–Marden–Northshield triangle. The inscribed circle of this triangle projects to an interval with endpoints equal to the critical points \(\mu _{1,2} = -a/3 \pm (1/3) \sqrt{a^2 - 3b}\) of the cubic polynomial—the roots of the derivative \(p'(x) = 3x^2 + 2ax + b \,\) of \(\, p(x)\) [7]. The centroid of the triangle is at \(\phi = -a/3\) on the abscissa—the first coordinate projection of the inflection point of p(x) — the root of the second derivative \(p''(x) = 6x + 2a\). Each side of the triangle is equal to \(\alpha = (\sqrt{12}/3) \sqrt{a^2 - 3b}\). The radius of the inscribed circle is \(r = (1/3) \sqrt{a^2 - 3b}\). The radius of the circumscribed circle is \(2r = (2/3) \sqrt{a^2 - 3b}\).
Lemma 1
The monic cubic polynomial \(p(x) = x^3 + a x^2 + b x + c\) with \(b > a^2/3\) has only one real root.
Proof
The discriminant of the monic cubic polynomial \(x^3 + a x^2 + b x + c\) is
It is quadratic in c and the discriminant of this quadratic is
As \(b > a^2/3\), one has \(\varDelta _2 < 0\) for all a and thus \(\varDelta _3 < 0\) for all a and c. Hence, the cubic polynomial \(p(x) = x^3 + a x^2 + b x + c\) with \(b > a^2/3\) has only one real root (and a pair of complex conjugate roots). \(\square \)
This can be seen in an easier way: the discriminant of the derivative \(p'(x) = 3x^2 + 2ax + b\) is \(4(a^2 - 3b)\), hence no critical points of p(x) exist when \(b > a^2/3\) and thus p(x) has only one real root.
Note that existence of critical points of p(x), warranted by \(b \le a^2/3\), does not warrant three real roots. The following Lemma addresses this.
Lemma 2
The monic cubic polynomial \(p(x) = x^3 + a x^2 + b x + c\) with \(b \le a^2/3\) has three real roots, provided that \(c \in [c_2, c_1]\), where \(c_{1,2}\) are the roots of the quadratic equation
namely:
where
Proof
The discriminant \(\varDelta _3 = -27 c^2 + (18 a b - 4 a^3) c + a^2 b^2 - 4b^3\) of the monic cubic polynomial \(x^3 + a x^2 + b x + c\) is positive between the roots of the equation \(\varDelta _3 = 0\), which is quadratic in c. This is exactly equation (3) and its roots are the ones given in (4) and (5). \(\square \)
Lemma 3
The maximum distance between the three real roots of the monic cubic polynomial \(p(x) = x^3 + a x^2 + b x + c\) is \(\sqrt{12} r = (\sqrt{12}/3) \sqrt{a^2 - 3b}\). In this case, one side of the Siebeck–Marden–Northshield triangle is parallel to the abscissa. This is achieved in the case of the “balanced” cubic—the one with \(c = c_0 = - 2 a^3/27 + a b/3\). For any other c such that \(c_2 \le c \le c_1\), the three real roots of the cubic lie within a shorter interval.
Proof
Given that the root \(x_2 = \nu _2 = \phi = -a/3\) of the “balanced” cubic equation \(x^3 + a x^2 + b x + c_0 = 0\), where \(c_0 = - 2a^3/27 + a b/3\), is the midpoint between its other two roots \(x_{1,3} = \nu _{1,3} = - a/3 \pm \sqrt{a^2/3 - b}\), one has \(x_1 - x_2\) (\(\sqrt{3}\) times the second coordinate of point R) being equal to \(x_2 - x_3\) (\(\sqrt{3}\) times the second coordinate of point P) — see Fig. 2. Hence P and R are both above the abscissa and are equidistant from it. Thus PR is parallel to the abscissa. Hence, the distance between \(x_3\) and \(x_1\) is exactly equal to the length \(\alpha = (\sqrt{12}/3) \sqrt{a^2 - 3b}\) of the side PR. In any other case of three real roots (\(c \in [c_2, c_1]\) and \(c \ne c_0\)), the side PR will not be parallel to the abscissa and hence the projection of PR onto the abscissa will be shorter than the length of PR, that is, the three real roots of the cubic polynomial will lie in an interval of length smaller than \(\alpha = (\sqrt{12}/3) \sqrt{a^2 - 3b}\). \(\square \)
Note that the Siebeck–Marden–Northshield triangle rotates counter-clockwise when increasing the free term c and clockwise otherwise. The triangle cannot be rotated counter-clockwise or clockwise further than the triangles of the two “extreme” cubics (with \(c = c_{1,2}\)) as three real roots exist and, hence, the Siebeck–Marden–Northshield triangle exists itself, only for \(c \in [c_2, c_1]\).
Also observe a completely geometric in nature proof that the projection of the incircle of the Siebeck–Marden–Northshield triangle coincides exactly with the interval given by the two critical points of the cubic: the incircle is invariant when varying the free term c from \(c_2\) to \(c_1\) and this variation moves the graph up from the position of a local maximum tangent to the abscissa—the “extreme” cubic with \(c = c_2\) (the lowermost curve on Fig. 2) to a local minimum tangent to the abscissa — the “extreme” cubic with \(c = c_1\) (the uppermost curve on Fig. 2), whose triangles are \(P_{2,1} Q_{2,1} R_{2,1}\), respectively.
Theorem 1
The monic cubic polynomial \(p(x) = x^3 + a x^2 + b x + c\), for which \(b < a^2/3\) and \(c \in [c_2, c_1]\), has three real roots \(x_3 \le x_2 \le x_1\), at least two of which are different and any two of which are not farther apart than \((\sqrt{12}/3) \sqrt{a^2 - 3b}\), with the following isolation intervals:
-
(I)
For \(c_2 \le c \le c_0\): \(x_3 \in [\nu _3, \mu _2], \,\, x_2 \in [\mu _2, \phi ]\), and \(x_1 \in [\nu _1, \xi _2]\).
-
(II)
For \(c_0 \le c \le c_1\): \(x_3 \in [\xi _1, \nu _3], \,\, x_2 \in [\phi ,\mu _1]\), and \(x_1 \in [\mu _1, \nu _1]\),
where:
-
(i)
\(\mu _{1,2}\) is the double root and \(\xi _{1,2}\) is the simple root of \(p_{1,2}(x) = x^3 + a x^2 + b x + c_{1,2}\), that is, \(\mu _{1,2}\) are the roots of \(p'(x) = 3 x^2 + 2 a x + b = 0\), namely: \(\mu _{1,2} = -a/3 \pm r = -a/3 \pm (1/3) \sqrt{a^2 - 3 b}\) and \(\xi _{1,2} = - a - 2 \mu _{1,2} = - a/3 \mp 2r = -a/3 \mp (2/3) \sqrt{a^2 - 3 b}\).
-
(ii)
\(\nu _{1,2,3}\) are the roots of the “balanced” cubic equation \(p_0(x) = x^3 + a x^2 + b x + c_0\), namely: \(\nu _{1,3} = -a/3 \pm \alpha /2 = -a/3 \pm (\sqrt{3}/3) \sqrt{a^2 - 3 b}\) and \(\nu _2 = \phi = - a/3\).
Proof
Due to Lemma 2, the discriminant \(\varDelta _3 = -27 c^2 + (18 a b - 4 a^3) c + a^2 b^2 - 4b^3\) of the monic cubic polynomial \(x^3 + a x^2 + b x + c\) is non-negative for all a and \(b \le a^2/3\), if c is between the roots \(c_{1,2} = c_0 \pm (2/27) \sqrt{( a^2 - 3 b)^3}\) (with \(c_0= - 2 a^3/27 + a b/3\)) of the quadratic equation \(x^2 + (4 a^3/27 - 2 a b/3 ) x - a^2 b^2/27 + 4 b^3/27 = 0\). Then \(x^3 + a x^2 + b x + c\) will have three real roots. The two “extreme” cases, the cubics \(x^3 + a x^2 + b x + c_1\) and \(x^3 + a x^2 + b x + c_2\), will each have a double root (as \(\varDelta _3\) vanishes for \(c = c_{1,2}\)) and a simple root. Otherwise, for \(c_2< c < c_1\), the cubic polynomial will have three distinct roots.
If \(\mu _{1,2}\) is the double root of the “extreme” cubic \(x^3 + a x^2 + b x + c_{1,2}\) and \(\xi _{1,2}\)—the corresponding simple root, then, when \(c = c_{1,2}\), one has (due to Viète formulæ): \(2 \mu _i + \xi _i = - a, \,\, \mu _i^2 + 2 \mu _i \xi _i = b,\) and \(\mu _i^2 \xi _i = -c\) (for \(i = 1, 2\)). Expressing from the first \(\xi _i = - a - 2 \mu _i\) and substituting into the second yields \(-3 \mu _i^2 - 2 a \mu _i - b = 0\), that is, the double roots \(\mu _{1,2}\) of each of the “extreme” cubics \(x^3 + a x^2 + b x + c_{1,2}\) are the roots of the quadratic equation \(3x^2 + 2 a x + b = 0\), that is \(\mu _{1,2} = -a/3 \pm r = -a/3 \pm (1/3) \sqrt{a^2 - 3 b}\). Hence one finds: \(\xi _{1,2} = - a - 2 \mu _{1,2} = - a/3 \mp 2r = -a/3 \mp (2/3) \sqrt{a^2 - 3 b}\).
Due to Lemma 3, the biggest distance between the roots of the cubic will be \(\alpha = (\sqrt{12}/3) \sqrt{a^2 - 3b}\).
The roots of the “balanced” cubic equation \(x^3 + a x^2 + b x - 2a^3/27 + a b/3 = 0\) (see the proof of Lemma 3) are symmetric with respect to the centre of the inscribed circle: \(\nu _3 = -a/3 - \sqrt{a^2/3 - b}\), \(\nu _2 = \phi = -a/3\), and \(\nu _1 = - a/3 + \sqrt{a^2/3 - b}\). The “balanced” equation has triangle \(P_0 Q_0 R_0\) and the side \(P_0 R_0\) is parallel to the abscissa (Fig. 2).
When \(c = c_1 > c_0\), the Siebeck–Marden–Northshield triangle is \(P_1 Q_1 R_1\) and its side \(P_1 Q_1\) is perpendicular to the abscissa. Hence the roots \(x_2\) and \(x_1\) coalesce into the double root \(\mu _1\). The vertex \(R_1\) is on the abscissa at the smallest root \(\xi _1\) (Fig. 2).
When \(c = c_2 < c_0\), the Siebeck–Marden–Northshield triangle is \(P_2 Q_2 R_2\) and its side \(R_2 Q_2\) is perpendicular to the abscissa. The roots \(x_3\) and \(x_2\) coalesce into the double root \(\mu _2\), while the biggest root \(x_1\) is equal to \(\xi _2\), as the vertex \(P_2\) is on the abscissa at \(\xi _2\) (Fig. 2).
The isolation intervals of the roots of the cubic polynomial are then easily read geometrically—see Fig. 2. \(\square \)
The lengths of the isolation intervals of the roots are as follows:
-
(I)
\(\underline{\varvec{c_2 \le c \le c_0}}\)
For the smallest root \(x_3\), the length is \(\mu _2 - \nu _3 = [(\sqrt{3} - 1)/3 ] \, \sqrt{a^2 - 3b}\); for the middle root \(x_2\) one has \(\phi - \mu _2 = (1/3) \sqrt{a^2 - 3b}\); and for the largest root \(x_1\) it is \(\xi _2 - \mu _1 = [(2 - \sqrt{3})/3 ] \, \sqrt{a^2 - 3b}\).
-
(II)
\(\underline{\varvec{c_0 \le c \le c_1}}\)
For the smallest root \(x_3\), the length is \(\mu _3 - \xi _1 = [(2 - \sqrt{3})/3 ] \, \sqrt{a^2 - 3b}\); for the middle root \(x_2\) one has \(\phi - \mu _2 = (1/3) \sqrt{a^2 - 3b}\); and for the largest root \(x_1\) it is \(\xi _2 - \mu _1 = [(\sqrt{3} - 1)/3 ] \, \sqrt{a^2 - 3b}\).
Theorem 2
The monic cubic polynomial \(p(x) = x^3 + a x^2 + b x + c\), for which \(b < a^2/3\) and:
-
(I)
\(c < c_2\), has only one real root: \(x_1 > \xi _2 = - a - 2 \mu _2 = - a/3 + 2r = - a/3 + (2/3) \sqrt{a^2 - 3 b}\) (it can be bounded from above by a polynomial root bound);
-
(II)
\(c > c_1\), has only one real root: \(x_1 < \xi _1 = - a - 2 \mu _1 = - a/3 - 2r = - a/3 - (2/3) \sqrt{a^2 - 3 b}\) (it can be bounded from below by a polynomial root bound).
Proof
Given on Fig. 3 are the two “extreme” cubics—with \(c = c_1\) (second from top) and with \(c = c_2\) (second from bottom). Their corresponding triangles are \(P_1 Q_1 R_1\) and \(P_2 Q_2 R_2\), respectively. Each of these cubics has a double root \(\mu _{1,2}\) and a simple root \(\xi _{1,2}\), respectively. Cubics with c such that \(c_2< c < c_1\) are between those two and they are the only ones with three distinct real roots. When \(c > c_1\) (uppermost cubic), there is a pair of complex conjugate roots and a single real root \(x_1 < \xi _1 = - a/3 - (2/3) \sqrt{a^2 - 3 b}\). When \(c < c_2\) (lowermost cubic), there is a pair of complex conjugate roots and a single real root \(x_1 > \xi _2 = - a/3 + (2/3) \sqrt{a^2 - 3 b}\). The isolation intervals of the single real root for either of the two latter cubics can be found by the determination of the lower (respectively, upper) root bound of the cubic. \(\square \)
As polynomial upper root bound, one can take one of the many existing root bounds. For example, it could be the bigger of 1 and the sum of the absolute values of all negative coefficients [8]. Or one can consider the bound [9]: \(1 + \root k \of {H}\), where \(k = 1\) if \(a < 0, \,\, k = 2\) if \(a > 0\) and \(b <0\), and \(k = 3\) if \(a > 0\) and \(b > 0,\) and \(c < 0\) (if a, b, and c are all positive, the upper root bound is zero). H is the biggest absolute value of all negative coefficients in \(x^3 + a x^2 + b x + c\).
The lower root bound is the negative of the upper root bound of \(-x^3 + a x^2 - b x + c\).
Theorem 3
The monic cubic polynomial \(p(x) = x^3 + a x^2 + b x + c\), for which \(b = a^2/3\) and:
-
(I)
\(c < (1/27) a^3\), has only one real root: \(x_1 = -a/3 + \root 3 \of {a^3/27 - c} \, > \, -a/3\);
-
(II)
\(c = (1/27) a^3\), has a triple real root: \(x_1 = x_2 = x_3 = -a/3\);
-
(III)
\(c > (1/27) a^3\), has only one real root: \(x_1 = -a/3 + \root 3 \of {a^3/27 - c} \, < \, -a/3\).
Proof
Shown on Fig. 4 is the special case of \(b = a^2/3\). One immediately gets that \(c_1 = c_2 = a^3/27\) in this case. The only cubic with three real roots is the one with \(c = a^3/27\). This is the cubic \(x^3 + a x^2 + (a^2/3) x + a^3/27 = (x + a/3)^3\) (middle curve). Clearly, this cubic has a triple real root \(x_1 = x_2 = x_3 = - a/3\). If one increases c above \(a^3/27\) (top cubic), there is a pair of complex conjugate roots and a single root \(x_1 < - a/3\). If one increases c above \(a^3/27\) (bottom cubic), there is a pair of complex conjugate roots and a single root \(x_1 > - a/3\). The single real root for either of the two latter cubics can be immediately found completing the cube: \(x^3 + ax^2 + (a^2/3)x + c = (x + a/3)^3 - a^3/27 + c\). Hence, \(x_1 = -a/3 + \root 3 \of {a^3/27 - c}\). \(\square \)
Theorem 4
The only real root \(x_1\) of the monic cubic polynomial \(p(x) = x^3 + a x^2 + b x + c\) with \(b > a^2/3\) (due to Lemma 1) has the following isolation interval:
-
(I)
If \(a \ge 0\) and \(c \le 0: \,\, 0 \le x_1 \le -c/b\).
-
(II)
If \(a \ge 0\) and \(c > 0: \,\,\) min\(\{-a, -c/b\} \le x_1 \le \) max\(\{-a, -c/b\}\).
-
(III)
If \(a < 0\) and \(c < 0: \,\,\) min\(\{-a, -c/b\} \le x_1 \le \) max\(\{-a, -c/b\}\).
-
(IV)
If \(a < 0\) and \(c \ge 0: \,\, -c/b \le x_1 \le 0\).
Proof
Re-write the cubic equation \(x^3 + a x^2 + b x + c = 0\) as \(x^3 + a x^2 = - b x - c\). Such “split” of polynomial equations of different degrees has been proposed and studied in [10,11,12]
The rest of the proof is graphic—see the captions of Figs. 5, 6, 7 and 8 for the four cases (I)–(IV) respectively. \(\square \)
3 Roles of the Coefficients and Root Isolation Intervals: Summary and Application of the Analysis
- (a):
-
The coefficient a of the quadratic term of \(x^3 + a x^2 + b x + c\) selects the centre \(\phi = - a/3\) of the inscribed circle of the equilateral triangle that projects onto the roots of \(x^3 + a x^2 + b x + c\), in the case of three real roots. The centre of this circle is also the projection of the inflection point of the graph of \(x^3 + a x^2 + b x + c\) onto the abscissa. The inscribed circle projects to an interval on the abscissa with endpoints equal to the projections of the stationary points of \(x^3 + a x^2 + b x + c\) (Fig. 1).
- (b):
-
For any given a, the coefficients b of the linear term of \(x^3 + a x^2 + b x + c\) determines the radius \(r = (1/3) \sqrt{a^2 - 3b}\) of the inscribed circle. The circumscribed circle of the equilateral triangle has radius \(2 r = (2/3) \sqrt{a^2 - 3b}\).
If a cubic polynomial has two stationary points, the distance between them is always \(2 r = (2/3) \sqrt{a^2 - 3b}\).
The inflection point of the graph of \(x^3 + a x^2 + b x + c\) is always the midpoint (\(-a/3\)) between the stationary points of the cubic polynomial.
Hence, the analysis of the cubic polynomial \(x^3 + a x^2 + b x + c\) should start with what the value of b , relative to \(a^2/3\) , is.
- (I):
-
If \(\varvec{b < a^2/3}\) and if:
- (i):
-
\(\varvec{c_2 \le c \le c_0}\), then the polynomial \(x^3 + a x^2 + b x + c\) has three real roots with the following isolation intervals: \(x_3 \in [\nu _3, \mu _2], \,\, x_2 \in [\mu _2, \phi ]\), and \(x_1 \in [\nu _1, \xi _2]\) (Fig. 2).
- (ii):
-
\(\varvec{c_0 \le c \le c_1}\), then the polynomial \(x^3 + a x^2 + b x + c\) has three real roots with the following isolation intervals: \(x_3 \in [\xi _1, \nu _3], \,\, x_2 \in [\phi ,\mu _1]\), and \(x_1 \in [\mu _1, \nu _1]\) (Fig. 2).
In the above, \(c_{1,2} = c_0 \pm (2/27) \sqrt{( a^2 - 3 b)^3}\), with \(c_0 = - 2a^3/27 + a b/3\), are the values of c for which, for any a and \(b < a^2/3\), the discriminant \(\varDelta _3\) of the cubic polynomial \(x^3 + a x^2 + b x + c\) is zero (\(\varDelta _3\) positive for c between \(c_2\) and \(c_1\)). Namely, these are the roots of the quadratic equation (3): \(x^2 + (4 a^3/27 - 2 a b/3 ) x - a^2 b^2/27 + 4 b^3/27 = 0\).
Also in the above, \(\nu _3 = -a/3 - \sqrt{a^2/3 - b}\), \(\nu _2 = \phi = -a/3\), and \(\nu _1 = - a/3 + \sqrt{a^2/3 - b}\) are three real roots of the “balanced” cubic polynomial \(x^3 + a x^2 + b x + c_0\) (Fig. 2).
The roots of the “extreme” cubic \(x^3 + a x^2 + b x + c_1\) are the double root \(\mu _1 = -a/3 + (\sqrt{3}/3) \, \sqrt{a^2/3-b}\) and the simple root \(\xi _1 = - a - 2 \mu _1 = - a/3 - 2r = - a/3 - (2/3) \sqrt{a^2 - 3 b}\). Likewise, the roots of the “extreme” cubic \(x^3 + a x^2 + b x + c_1\) are the double root \(\mu _2 = -a/3 - (\sqrt{3}/3) \, \sqrt{a^2/3-b}\) and the simple root \(\xi _2 = - a - 2 \mu _2 = - a/3 + 2r = - a/3 + (2/3) \sqrt{a^2 - 3 b}\) (Figs. 2, 3).
The biggest distance between any two of the three real roots of the cubic equation \(x^3 + a x^2 + b x + c = 0\) is \(\alpha = \sqrt{12} r = (\sqrt{12}/3) \sqrt{a^2 - 3b}\)—achieved for the roots of the “balanced” cubic equation \(x^3 + a x^2 + b x + c_0\) (Fig. 2).
For any other cubic equation with \(c_2 \le c \le c_1\), the three real roots are within an interval of length \(3 r = \sqrt{a^2 - 3b} < \alpha \) (Fig. 2).
- (iii):
-
\(\varvec{c < c_2}\), then the polynomial \(x^3 + a x^2 + b x + c\) has only one real root: \(x_1 > \xi _2 = - a - 2 \mu _2 = - a/3 + 2r = - a/3 + (2/3) \sqrt{a^2 - 3 b}\) (Fig. 3). The root \(x_1\) can be bounded from above by a polynomial root bound.
- (iv):
-
\(\varvec{c > c_1}\), then the polynomial \(x^3 + a x^2 + b x + c\) has only one real root: \(x_1 < \xi _1 = - a - 2 \mu _1 = - a/3 - 2r = - a/3 - (2/3) \sqrt{a^2 - 3 b}\) (Fig. 3). The root \(x_1\) can be bounded from below by a polynomial root bound.
- (II):
-
If \(\varvec{b = a^2/3}\) and if:
- (i):
-
\(\varvec{c < (1/27) a^3}\), then the polynomial \(x^3 + a x^2 + b x + c\) has only one real root: \(x_1 = -a/3 + \root 3 \of {a^3/27 - c} \, > \, -a/3\) (Fig. 4).
- (ii):
-
\(\varvec{c = (1/27) a^3}\), then the polynomial \(x^3 + a x^2 + b x + c\) has a triple real root: \(x_1 = x_2 = x_3 = -a/3\) (Fig. 4).
- (iii):
-
\(\varvec{c > (1/27) a^3}\), then the polynomial \(x^3 + a x^2 + b x + c\) has only one real root: \(x_1 = -a/3 + \root 3 \of {a^3/27 - c} \, < \, -a/3\) (Fig. 4).
- (III):
-
If \(\varvec{b > a^2/3}\), the discriminant of the cubic polynomial is negative and thus \(x^3 + a x^2 + b x + c\) has one real root \(x_1\) and a pair of complex conjugate roots. The isolation interval of \(x_1\) depends on the signs of a and c and is as follows:
- (i):
-
If \(\varvec{a \ge 0}\) and \(\varvec{c \le 0}\!: \,\, 0 \le x_1 \le -c/b\) (Fig. 5).
- (ii):
-
If \(\varvec{a \ge 0}\) and \(\varvec{c > 0}\!: \,\,\) min\(\{-a, -c/b\} \le x_1 \le \) max\(\{-a, -c/b\}\) (Fig. 6).
- (iii):
-
If \(\varvec{a < 0}\) and \(\varvec{c < 0}\!: \,\,\) min\(\{-a, -c/b\} \le x_1 \le \) max\(\{-a, -c/b\}\) (Fig. 7).
- (iv):
-
If \(\varvec{a < 0}\) and \(\varvec{c \ge 0}\!: \,\, -c/b \le x_1 \le 0\) (Fig. 8).
- (c):
-
The coefficient c of \(x^3 + a x^2 + b x + c\) rotates the equilateral triangle (which exists if \(b < a^2/3\)) that projects onto the roots \(x_3 \le x_2 \le x_1\) (at least two of which are different) of the cubic polynomial. The vertices P, Q, and R of the triangle are points of coordinates \((x_1, (x_2 - x_3)/\sqrt{3})\), \((x_2, (x_3 - x_1)/\sqrt{3})\), and \((x_3, (x_1 - x_2)/\sqrt{3})\), respectively. Point Q is always below the abscissa and points P and R—always above it.
When \(c = c_0 = - 2a^3/27 + a b/3\), the side PR is parallel to the abscissa. This corresponds to the “balanced” cubic equation \(x^3 + a x^2 + b x - 2a^3/27 + a b/3 = 0\), the roots of which are symmetric with respect to the centre of the inscribed circle: \(\nu _3 = -a/3 - \sqrt{a^2/3 - b}\), \(\nu _2 = \phi = -a/3\), and \(\nu _1 = - a/3 + \sqrt{a^2/3 - b}\). The “balanced” equation has triangle \(P_0 Q_0 R_0\) (Fig. 2).
When c increases from \(c_0\) towards \(c_1 > c_0\), the equilateral triangle PQR rotates counterclockwise around its centre from the position of triangle \(P_0 Q_0 R_0\) of the “balanced” equation. When \(c = c_1\), the roots \(x_2\) and \(x_1\) coalesce into the double root \(\mu _1\), while the smallest root \(x_3\) becomes equal to \(\xi _1 = - a - 2 \mu _1 = - a/3 - 2r = - a/3 - (2/3) \sqrt{a^2 - 3 b}\). The triangle in this case is \(P_1 Q_1 R_1\) and its side \(P_1 Q_1\) is perpendicular to the abscissa. The vertex \(R_1\) is on the abscissa. The triangle cannot be rotated further counterclockwise as, when \(c > c_1\), the polynomial \(x^3 + a x^2 + b x + c\) has only one real root (Fig. 2).
When c decreases from \(c_0\) towards \(c_2 < c_0\), the equilateral triangle PQR rotates clockwise around its centre from the position of triangle \(P_0 Q_0 R_0\) of the “balanced” equation. When \(c = c_2\), the roots \(x_3\) and \(x_2\) coalesce into the double root \(\mu _2\), while the biggest root \(x_1\) becomes equal to \(\xi _2 = - a - 2 \mu _2 = - a/3 + 2r = - a/3 + (2/3) \sqrt{a^2 - 3 b}\). The triangle in this case is \(P_2 Q_2 R_2\) and its side \(R_2 Q_2\) is perpendicular to the abscissa. The vertex \(P_2\) is on the abscissa. The triangle cannot be rotated further clockwise as, when \(c < c_2\), the polynomial \(x^3 + a x^2 + b x + c\) has only one real root (Fig. 2).
4 Examples
Each possible case—for each Theorem (1 to 4, with the relevant subsection of the Theorem given in brackets in Roman numerals)—is illustrated with an example. The roots of the cubics in these examples are found numerically with Maple 2021.
-
1.
Theorem 1(I), \(\varvec{b < a^2/3, \,\, c_2 \le c \le c_0}\): \(\underline{x^3 +3x^2 + 2x - \frac{1}{4} = 0}\).
One has: \(c_0 = 0, \,\, c_1 = 0.385, \,\, c_2 = -0.385\). Also: \(\mu _1 = -0.423, \, \, \mu _2 = -1.577, \,\, \nu _1 = 0, \,\, \nu _2 = \phi = -1, \,\, \nu _3 = -2, \,\, \xi _1 = -2.155,\) and \(\xi _2 = 0.155\).
The root isolation intervals are: \(\nu _1 \le x_1 \le \xi _2, \,\, \mu _2 \le x_2 \le \phi , \) and \(\nu _3 \le x_3 \le \mu _2\), that is: \(0 \le x_1 \le 0.155, \,\, -1.577 \le x_2 \le -1, \) and \(-2 \le x_3 \le -1.577\).
The roots are: \(x_1 = 0.107, \,\, x_2 = -1.270, \) and \(x_3 = -1.840\).
-
2.
Theorem 1(II), \(\varvec{b < a^2/3, \,\, c_0 \le c \le c_1}\): \(\underline{x^3 - 4x^2 + 2x + 3 = 0}\).
One has: \(c_0 = 2.074, \,\, c_1 = 4.416, \,\, c_2 = -0.268\). Also: \(\mu _1 = 2.387, \, \, \mu _2 = 0.279, \,\, \nu _1 = 3.158, \,\, \nu _2 = \phi = 1.333, \,\, \nu _3 = -0.492, \,\, \xi _1 = -0.775,\) and \(\xi _2 = 3.441\).
The root isolation intervals are: \(\mu _1 \le x_1 \le \nu _1, \,\, \phi \le x_2 \le \mu _1, \) and \(\xi _1 \le x_3 \le \nu _3\), that is: \(2.387 \le x_1 \le 3.158, \,\, 1.333 \le x_2 \le 2.387, \) and \(-0.775 \le x_3 \le -0.492\).
The roots are: \(x_1 = 3, \,\, x_2 = 1.620, \) and \(x_3 = -0.618\).
-
3.
Theorem 2(I), \(\varvec{b< a^2/3, \,\, c < c_2}\): \(\underline{x^3 - 4x^2 + 3x - 1 = 0}\).
One has: \(c_0 = 0.741, \,\, c_1 = 2.113, \,\, c_2 = -0.631\). Also: \(\mu _1 = 2.215, \, \, \mu _2 = 0.451, \,\, \nu _1 = 2.861, \,\, \nu _2 = \phi = 1.333, \,\, \nu _3 = -0.195, \,\, \xi _1 = -0.431,\) and \(\xi _2 = 3.097\).
There is only one real root: \(x_1 > \xi _2\), that is \(x_1 > 3.097\). This can be bounded from above by using a polynomial root bound. Both bounds given earlier yield that \(x_1 < 5\).
The roots are: \(x_1 = 3.150\) and \(x_{2,3} = 0.426 \pm 0.369i\).
-
4.
Theorem 2(II), \(\varvec{b < a^2/3, \,\, c > c_1}\): \(\underline{x^3 + 2x^2 + \frac{1}{2}x - 1 = 0}\).
One has: \(c_0 = -0.259, \,\, c_1 = 0.034, \,\, c_2 = -0.552\). Also: \(\mu _1 = -0.140, \, \, \mu _2 = -1.194, \,\, \nu _1 = 0.246, \,\, \nu _2 = \phi = -0.667, \,\, \nu _3 = -1.580, \,\, \xi _1 = -1.721,\) and \(\xi _2 = 0.387\).
There is only one real root: \(x_1 < \xi _1\), that is \(x_1 < -1.721\). This can be bounded from bellow by using a polynomial root bound. Both bounds given earlier again agree and yield that \(- 3 < x_1\).
The roots are: \(x_1 = -2\) and \(x_{2,3} = \pm 0.707i\).
-
5.
Theorem 3(I), \(\varvec{b = a^2/3, \,\, c < a^3/27}\): \(\underline{x^3 - 2x^2 + \frac{4}{3}x - 2 = 0}\).
There is only one real root and it can be determined by completing the cube: \(x^3 + ax^2 + (a^2/3)x + c = (x + a/3)^3 - a^3/27 + c\). Hence, \(x_1 = -a/3 + \root 3 \of {a^3/27 - c} = 1.862\).
The other two roots are \(x_{2,3} = 0.070 \pm 1.030i\).
-
6.
Theorem 3(II), \(\varvec{b = a^2/3, \,\, c = a^3/27}\): \(\underline{x^3 + 5x^2 + \frac{25}{3}x + \frac{125}{27} = 0}\).
There is a triple real root that can be determined exactly: \(x_{1,2,3} = -a/3 = -5/3\).
-
7.
Theorem 3(III), \(\varvec{b = a^2/3, \,\, c > a^3/27}\): \(\underline{x^3 - 6x^2 + 12x + 5 = 0}\).
There is only one real root and it can be determined by completing the cube: \(x^3 + ax^2 + (a^2/3)x + c = (x + a/3)^3 - a^3/27 + c\). Hence, \(x_1 = -a/3 + \root 3 \of {a^3/27 - c} = - 0.351\). The other two roots are \(x_{2,3} = 3.176 \pm 2.036i\).
-
8.
Theorem 4(I), \(\varvec{b > a^2/3, \,\, a \ge 0, \,\, c \le 0}\): \(\underline{x^3 + x^2 + 2x - 3 = 0}\).
There is only one real root \(x_1\) and its isolation interval is \(0 \le x_1 \le -c/b\), that is \(0 \le x_1 \le 1.5\).
The roots are: \(x_1 = 0.844\) and \(x_{2,3} = -0.922 \pm 1.645i\).
-
9.
Theorem 4(II), \(\varvec{b> a^2/3, \,\, a \ge 0, \,\, c > 0}\): \(\underline{x^3 - x^2 + 10x + 7 = 0}\).
There is only one real root \(x_1\) and its isolation interval is min\(\{-a, -c/b\} \le x_1 \le \) max\(\{-a, -c/b\}\), that is \(-0.7 \le x_1 < 1\).
The roots are: \(x_1 = -0.634\) and \(x_{2,3} = 0.817 \pm 0.322i\).
-
10.
Theorem 4(III), \(\varvec{b > a^2/3, \,\, a< 0, \,\, c < 0}\): \(\underline{x^3 - 2x^2 + 13x - 11 = 0}\).
There is only one real root \(x_1\) and its isolation interval is min\(\{-a, -c/b\} \le x_1 \le \) max\(\{-a, -c/b\}\), that is \(0.846 \le x_1 \le 2\).
The roots are: \(x_1 = 0.916\) and \(x_{2,3} = 0.542 \pm 3.422i\).
-
11.
Theorem 4(IV), \(\varvec{b > a^2/3, \,\, a < 0, \,\, c \ge 0}\): \(\underline{x^3 - 3x^2 + 21x + 7 = 0}\).
There is only one real root \(x_1\) and its isolation interval is \(-c/b \le x_1 \le 0\), that is \(-0.333 \le x_1 \le 0\).
The roots are: \(x_1 = -0.317\) and \(x_{2,3} = 1.659 \pm 4.393i\).
References
Marden, M.: Geometry of Polynomials, Math. Surveys no. 3. American Mathematical Society, Providence, RI (1966)
Marden, M.: A note on the zeros of the sections of a partial fraction. Bull. Am. Math. Soc. 51, 935–940 (1945). https://doi.org/10.1090/S0002-9904-1945-08470-5
Siebeck, J.: Ueber eine neue analytische behandlungweise der brennpunkte. J. Reine Angew. Math. 64, 175–182 (1864)
Kalman, D.: An elementary proof of Marden’s theorem. Am. Math. Mon. 115(4), 330–338 (2008). https://doi.org/10.1080/00029890.2008.11920532
Badertscher, E.: A simple direct proof of Marden’s theorem. Am. Math. Mon. 121(6), 547–548 (2014). https://doi.org/10.4169/amer.math.monthly.121.06.547
Steiner, J.: Géométrie pure. Développment d’une série de théorèmes relatifs aux sections coniques. Ann. Math. Pures Appl. 19, 37–64 (1828/1829)
Northshield, S.: Geometry of cubic polynomials. Math. Mag. 86(20), 136–143 (2013). https://doi.org/10.4169/math.mag.86.2.136
Prodanov, E.M.: New Bounds on the Real Polynomial Roots. Comptes Rendus de l’Académie Bulgare des Sciences 75(2), 178–186 (2022). https://doi.org/10.7546/CRABS.2022.02.02. arXiv:2008.11039
Dickson, L.E.: First Course in the Theory of Equations. Braunworth (1922)
Prodanov, E.M.: On the determination of the number of positive and negative polynomial zeros and their isolation. Open Math. (de Gruyter) 18, 1387–1412 (2020). https://doi.org/10.1515/math-2020-0079. arXiv:1901.05960
Prodanov, E.M.: Classification of the roots of the quartic equation and their pythagorean tunes. Int. J. Appl. Comput. Math. (Springer) 7, 218 (2021). https://doi.org/10.1007/s40819-021-01152-w. arXiv:2008.07529
Prodanov, E.M.: A method for locating the real roots of the symbolic quintic equation using quadratic equations. Accepted for publication in Adv. Thery Simul. (Wiley), arXiv:2106.02977
Funding
Open Access funding provided by the IReL Consortium.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have not disclosed any competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Prodanov, E.M. The Siebeck–Marden–Northshield Theorem and the Real Roots of the Symbolic Cubic Equation. Results Math 77, 126 (2022). https://doi.org/10.1007/s00025-022-01667-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-022-01667-8