The Geometry of the Cubic Formula


This page is based on: R.W.D. Nickalls, A new approach to solving the cubic: Cardan's solution revealed, Mathematical Gazette 77 (1993), 354-359. You can download this article as a PDF (Acrobat) file.

Note that this page will use a little bit of calculus, but you can read (and hopefully understand) most of it without knowing calculus.

Depressing the cubic equation.

Once again we consider the cubic equation

ax3+bx2+cx+d=0.

Tartaglia's first step was to depress the cubic by shifting the graph of the cubic horizontally by the quantity b/3a. What does this mean for the roots of the cubic? The sum of the roots of the depressed cubic (counted algebraically) becomes 0:

Let the roots be denoted by x1,x2 and x3. The cubic then has the form

a(x-x1)(x-x2)(x-x3).

Multiplying out we obtain:

ax3-a(x1+x2+x3)x2+a(x1 x2+x1 x3+x2 x3)x-a x1 x2 x3.

Thus setting b=0 (depressing the cubic) means x1+x2+x3=0, and vice versa.

A cubic (in black) and its depressed counter part (in blue). Note that the roots of the depressed cubic add up to 0.


The "easy cubic".

By shifting the graph of a depressed cubic down by the quantity d, we can eliminate the constant term of the equation; such a cubic will have the form

f(x)=ax3+cx.

Note that this cubic is odd. Since $f^{\prime\prime}(x)=6ax$ (and its third derivative is not 0), it will have its only inflection point at the origin. What can we say about the relative extrema? If it has any, it will have one local minimum and one local maximum: Since $f^\prime(x)=3ax^2+c$, the extrema will be located at

\begin{displaymath}x=\pm\sqrt{-\frac{c}{3a}}\end{displaymath}

This quantity will play a major role in what follows, we set

\begin{displaymath}\delta=\sqrt{-\frac{c}{3a}} \mbox{ and } h=f(-\delta)=2a\delta^3.\end{displaymath}

The quantity $\delta^2$ tells us how many extrema the cubic will have: If $\delta^2>0$, the cubic has one local minimum and one local maximum, if $\delta^2\leq 0$, the cubic has no extrema.


Back to the "general cubic".

Let's go back to the general cubic

f(x)=ax3+bx2+cx+d.

The meaning of $\delta$ and h has not changed; I leave it to you to check that in terms of the four coefficients a,b,c,d:

\begin{displaymath}\delta=\sqrt{\frac{b^2-3ac}{9a^2}} \mbox{ and } h=2a\delta^3.\end{displaymath}

Here comes the most crucial observation of this page: It is now obvious to see that the cubic will have one real root when |d|>|h|, or equivalently if d2>h2. If, on the other hand, d2<h2, the cubic equation will have 3 real solutions. We will see later (and that is easy), what happens when d2=h2.

The relative size of |d| and |h| determines the number of real roots.

Let's now follow Cardano's approach and see where the quantity d2-h2 enters the picture.

We want to solve an equation of the form

ax3+bx2+cx+d *=0.

Using Tartaglia's substitution

\begin{displaymath}y=x+\frac{b}{3a},\end{displaymath}

we obtain the equation

\begin{displaymath}ay^3-3a\delta^2y+d=0.\end{displaymath}

Here d is a quantity depending on a, b, c, and d *.

Using the notation on the "Cubic Formula" page,

\begin{displaymath}A=-3\delta^2 \mbox{ and } B=\frac{d}{a},\end{displaymath}

which leads to the triquadratic equation for t

\begin{displaymath}t^6+\frac{d}{a}t^3+\delta^6=0,\end{displaymath}

which yields

\begin{displaymath}t^3=\frac{-d\pm\sqrt{d^2-4a^2\delta^6}}{2a}\end{displaymath}

Remembering that $h^2=4a^2\delta^6$, we can write this as

\begin{displaymath}t^3=\frac{-d\pm\sqrt{d^2-h^2}}{2a}\end{displaymath}

There it is: d2-h2!


The case d2-h2>0: One real root.

Let's look at the example

x3-2x-4=0.

(No secrets: You can check that the roots are $x=2,-1\pm i$.) In this case

\begin{displaymath}\delta^2=\frac{2}{3}, \mbox{ and thus } d^2=16>h^2=4a^2\delta^6=\frac{32}{27}\end{displaymath}

Cardano's approach yields

\begin{displaymath}t^3=-2\pm\sqrt{4-\frac{8}{27}}=-2\pm\frac{10}{3 \sqrt{3}}\end{displaymath}

Discarding the solution with the negative sign we obtain

\begin{displaymath}t^3=-2+\frac{10}{3 \sqrt{3}}\end{displaymath}

Now it helps tremendously to notice that

\begin{displaymath}t=-1+\frac{\sqrt{3}}{3}\end{displaymath}

Indeed, you can check that

\begin{displaymath}\left(-1+\frac{\sqrt{3}}{3}\right)^3=-2+\frac{10}{3 \sqrt{3}}.\end{displaymath}

(Note that this is cheating, though; there is no purely algebraic way to figure this out: Try it!). Consequently

\begin{displaymath}s=\frac{-2}{3t}=\frac{-2}{3\left(-1+\frac{\sqrt{3}}{3}\right)}=\frac{2}{3-\sqrt{3}}=1+\frac{\sqrt{3}}{3},\end{displaymath}

and finally the real root is given by

\begin{displaymath}s-t=1+\frac{\sqrt{3}}{3}-\left(-1+\frac{\sqrt{3}}{3}\right)=2.\end{displaymath}

Remark: I have presented an example, where $\delta^2>0$. If, on the other hand, $\delta<0$, the cubic function will have no extreme points, and thus exactly one real root. You can check that the algebra still works the same if $\delta<0$: We are never using $\delta$ or h in our calculations, only $\delta^2$ and h2. Thus all calculations will still only deal with real numbers.


The case d2-h2<0: Three real roots.

Let's look at the example

x3-7x+6=0.

(No secrets again: You can check that the roots are $x=-3,\ 1$, and 2.)

Our goal is to find one real root; the other two real roots can then be found by polynomial division and the quadratic formula.

In this case

\begin{displaymath}\delta^2=\frac{7}{3}, \mbox{ and thus } d^2=36<h^2=4a^2\delta^6=\frac{1372}{27}\end{displaymath}

Cardano's approach yields

\begin{displaymath}t^3=-3\pm\frac{10}{3 \sqrt{-3}}\end{displaymath}

I hope you are not surprised by $\sqrt{-3}$; we were expecting that! Consequently, discarding the solution with the minus sign, we obtain

\begin{displaymath}t=\sqrt[3]{-3\pm\frac{10}{3 \sqrt{-3}}}\end{displaymath}

Thus

\begin{displaymath}s=\frac{-7}{3t}=-\frac{7}{3}\frac{1}{\sqrt[3]{-3\pm\frac{10}{3 \sqrt{-3}}}},\end{displaymath}

and one of the solutions to the cubic is given by

\begin{displaymath}s-t=-\frac{7}{3}\frac{1}{\sqrt[3]{-3\pm\frac{10}{3 \sqrt{-3}}}}-\sqrt[3]{-3\pm\frac{10}{3 \sqrt{-3}}}\end{displaymath}

A paradox: Even though the solution is real, Cardano's formula contains imaginary numbers. Cardano and his colleagues called this the Casus Irreducibilis.

The Casus Irreducibilis historically led to the study of complex numbers. You might be surprised that complex numbers did not enter the picture via the quadratic formula, as they usually do nowadays in the school curriculum. The reason: There was no "paradox"! The complex solutions could not be seen, they were "imaginary".

One of the great algebraists of the 20th century, B.L. van der Waerden observes in his book Algebra I, that the Casus Irreducibilis is unavoidable. There will never be an algebraic improvement of the cubic formula, which avoids the usage of complex numbers.


Using a Trigonometric Substitution to Solve the Casus Irreducibilis.

We will now violate the spirit of Cardano's computations by using transcendental functions to find the roots of a polynomial.

Let's consider the depressed cubic equation

ax3+cx+d=0

again. We will use the trigonometric substitution

\begin{displaymath}x=2\delta \cos\theta.\end{displaymath}

Substituting in the cubic yields

\begin{displaymath}8a\delta^3 \cos^3\theta+2c\delta \cos\theta+d=0.\end{displaymath}

Using $\delta^2=-c/3a$, we can write this as

\begin{displaymath}2a\delta^3(4\cos^3\theta-3\cos\theta)+d=0.\end{displaymath}

Next observe that by deMoivre's formula

\begin{displaymath}4\cos^3\theta-3\cos\theta=\cos(3\theta).\end{displaymath}

Finally remembering that $h=2a\delta^3$, it follows that we can write the cubic equation as

\begin{displaymath}\cos(3\theta)=-\frac{d}{h}\end{displaymath}

We will only obtain solutions for $\theta$, if the right hand side is bounded by 1 in absolute value, i.e., if

d2<h2.

Thus this method will only work when the cubic has three real roots, in the Casus Irreducibilis.

In this case,

\begin{displaymath}\theta_1=\frac{1}{3}\arccos\left(-\frac{d}{h}\right),\end{displaymath}

is one solution of the trigonometric equation, yielding as a solution to the cubic equation

\begin{displaymath}x_1=2\delta \cos\theta_1.\end{displaymath}

It is not hard to see that the other two solutions are given by

\begin{displaymath}x_2=2\delta \cos\left(\frac{2\pi}{3}-\theta_1\right) \mbox{ and }
x_3=2\delta \cos\left(\frac{2\pi}{3}+\theta_1\right).\end{displaymath}

Let's try this for our example

x3-7x+6=0.

Here,

\begin{displaymath}\delta=\sqrt{\frac{7}{3}} \mbox{ and } h=\frac{14}{3}\sqrt{\frac{7}{3}}\end{displaymath}

Consequently

\begin{displaymath}\theta_1=\frac{1}{3}\arccos\left(-\frac{9}{7}\sqrt{\frac{3}{7}}\right)=0.857072.\end{displaymath}

This yields the solutions

\begin{eqnarray*}x_1&=&2\delta\cos(0.85072)=2.00000\\
x_2&=&2\delta\cos(1.23732)=1.00000\\
x_3&=&2\delta\cos(2.95147)=-3.00000
\end{eqnarray*}



The case d2-h2=0: Repeated roots.

I will assume that d=h, leaving the case d=-h to you. Using $c=-3a\delta^2$ and $d=h= 2a\delta^3$, we can rewrite

ax3+cx+d=0

as

\begin{displaymath}x^3-3\delta^2x+2\delta^3=0.\end{displaymath}

By "inspection", we can see that $x=\delta$ is a root of this polynomial; in fact, the polynomial has an elementary factorization:

\begin{displaymath}x^3-3\delta^2x+2\delta^3=(x-\delta)^2(x+2\delta);\end{displaymath}

Thus the cubic equation has the roots $x=\delta$, $x=\delta$ and $x=-2\delta$.

[Back: The Cubic Formula] [Next: The Quartic Formula]
[Algebra] [Trigonometry] [Complex Variables]
[Calculus] [Differential Equations] [Matrix Algebra]

S.O.S MATHematics home page

Do you need more help? Please post your question on our S.O.S. Mathematics CyberBoard.

Helmut Knaust

Copyright © 1999-2024 MathMedics, LLC. All rights reserved.
Contact us
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA
users online during the last hour