Exploring the Cubic Formula

NW Iowa Math Teachers Circle

Mike Janssen, Ph.D.

A bit of history

Babylonians and Muslims

The solution to the quadratic was known by the Babylonians, over 5000 years ago, but it is closely associated with the work of the Islamic mathematicians, who were active in the Middle East around 800–1200 AD.

One of those mathematicians, Omar Khayyam, was able to solve cubic equations by intersecting conic sections, but, as negative numbers were viewed as fictitious, he had 14 different versions of a cubic:

\(x^3 = d\)
\(x^3 + cx = d\)
\(x^3 + d = cx\)
\(x^3 = cx + d\)
\(x^3 + bx^2 = d\)
\(x^3 +d = bx^2\)
\(x^3 = bx^2 + d\)
\(x^3 + bx^2 + cx = d\)
\(x^3 + bx^2 + d = cx\)
\(x^3 +cx + d = bx^2\)
\(x^3 = bx^2 + cx + d\)
\(x^3 + bx^2 = cx + d\)
\(x^3 + cx = bx^2 + d\)
\(x^3 + d = bx^2 +cx\)

(In this case, \(b,c,d > 0\).)

Khayyam lacked a general approach to solving cubics, and this remained the case through the early 1500s.

The Italians

By 1500, it was known that one could reduce the general cubic

\[ ax^3 + bx^2 + cx + d = 0 \qquad(1)\]

to the so-called depressed cubic:

\[ u^3 + eu + f = 0 \qquad(2)\]

Exercise

Exercise

Consider the cubic \(x^3 +6x^2 - 25\). Use the substitution \(x = u - 2\) to transform it into a depressed cubic in the variable \(u\). (Credit: Cal Jongsma)

(If one divides the general cubic Equation 1 by \(a\) and substitutes \(x = u - b/(3a)\), the square term is eliminated.)

1535: Fiore vs Tartaglia

Modern vs. Renaissance Academia

In modern academia, a researcher is rewarded for their discoveries
This was not the case in Renaissance Italy. University jobs were temporary, and one needed to continually prove oneself worthy by winning public competitions.
1535: Tartaglia vs Fiore

One of Fiore’s problems

Exercise

A man sells a sapphire for 500 ducats, making a profit of the cube root of his capital. How much is this profit?

Gerolamo Cardano (1501–1576)

Mathematical lecturer in Milan
Wanted Tartaglia’s solution for a new arithmetic text

I swear to you, by God’s holy Gospels, and as a true man of honor, not only never to publish your discoveries, if you teach me them, but I also promise you, and I pledge my faith as a true Christian, to note them down in code, so that after my death no one will be able to understand them.

Tartaglia’s Poem

Tartaglia gave his solution to \(x^3 +cx = d\) in a poem:

When the cube and its things near

Add to a new number, discrete,

Determine two new numbers different

By that one; this feat

Will be kept as a rule

Their product always equal, the same,

To the cube of a third

Of the number of things named.

Then, generally speaking,

The remaining amount

Of the cube roots of subtracted

Will be your desired count.

The Formula

Depressed cubic

We begin with the depressed cubic \(u^3 + eu + f = 0\) (Equation 2). Observe that the binomial formula gives

\[ (s+t)^3 = s^3 + 3s^2 t + 3st^2 + t^3, \qquad(3)\]

Exercise

Rewrite Equation 3 as a cubic in the variable \(s+t\). [Hint: the constant term will be \(-s^3 - t^3\).]

Solving a system

The work in the previous exercises means that \(u = s+t\) is a solution of \(u^3 + eu + f = 0\) if \(s\) and \(t\) are chosen to solve the system

\[ \begin{align*} -3st &= e \\ s^3 + t^3 &= -f. \end{align*} \]

Exercise

Let’s finish the derivation of the cubic formula.

Solve the first equation in the system above for \(s\).
Substitute the solution for \(s\) into the second equation; rewrite as a quadratic equation in the variable \(t^3\).
Use the quadratic formula to solve for \(t^3\), and then take cube roots to solve for \(t\).
Finally, show that

\[ u = -\frac{e}{3\sqrt[3]{\frac{-f}{2} + \frac{\sqrt{f^2 + 4e^3/27}}{2}}} + \sqrt[3]{\frac{-f}{2} + \frac{\sqrt{f^2 + 4e^3/27}}{2}} \qquad(4)\]

Let’s use it!

Let’s put Equation 4 to good use and solve a cubic that Cardano himself thought about.

Exercise

In this exercise we’ll consider the cubic \(x^3 - 15x - 4 = 0\).

Using the general depressed cubic (Equation 2), identify \(e\) and \(f\).
Now use Equation 4 to write the solution \(u\)—but clear the denominator of all cube roots. Simplify as much as possible to obtain the solution \(u = \sqrt[3]{2+11i} + \sqrt[3]{2-11i}\).

Complex Numbers

Forms of a complex number

With the benefit of 400+ years of mathematical development after Bombelli, let’s explore complex numbers to understand just what \(\sqrt[3]{2+11i} + \sqrt[3]{2-11i}\) really is.

Definition 1 A complex number is an expression of the form \(a+bi\), where \(a,b\in \mathbb{R}\) and \(i^2 = -1\). The set of complex numbers is denoted by \(\mathbb{C}\). The real part of the complex number, denoted \(\Re(a+bi)\), is the real number \(a\). The imaginary part of the complex number, denoted \(\Im(a+bi)\), is the real number \(b\).

Visualizing a complex number

Since a complex number is identified by two bits of information (its real and imaginary parts), we can visualize the complex numbers in a plane, as shown below.

Points in the complex plane.

Understanding cube roots

Exercise

Let’s try to understand what \(\sqrt[3]{2+11i}\) is. If \(\sqrt[3]{2+11i} = a+bi\), we may cube both sides to find \((a+bi)^3 = 2+11i\).

Expand the left hand side, and set the real part equal to 2 and the imaginary part equal to 11.
Verify that \(a = 2\) and \(b = 1\) is a solution to the two equations you found.
Do something similar for \(\sqrt[3]{2-11i}\) and verify that \(a = 2, b = -1\) is a solution.
Thus, what number is \(\sqrt[3]{2+11i} + \sqrt[3]{2-11i}\)?

Polar form

Motivating the polar form.

Using elementary trigonometry, we see that for some \(r\) and \(\theta\),

\[ a+bi = r (\cos\theta + i\sin\theta). \qquad(5)\]

Euler’s formula, \(e^{i\theta} = \cos\theta + i\sin\theta\), allows us to rewrite Equation 5 as

\[ a+bi = re^{i\theta}. \qquad(6)\]

Exercise

Let’s write \(2+11i\) and its cube root in polar form.

Calculate \(r\).
Give an expression for \(\theta\) involving the arctangent function, and write \(2+11i\) using both the trigonometric (Equation 5) and exponential (Equation 6) polar forms of a complex number.
Suppose the angle for the polar form of \(\sqrt[3]{2+11i}\) is called \(\alpha\). How must \(\alpha\) and \(\theta\) relate?
Finally, write \(\sqrt[3]{2+11i}\) in polar form.

Using the polar form

What we found in the previous exercise is that \(\alpha = \theta/3\). We will use the triple angle formula for tangent to evaluate \(\sqrt[3]{2+11i}\). Recall that

\[ \tan 3\alpha = \frac{\tan\alpha (3 - \tan^2\alpha)}{1 - 3\tan^2\alpha}. \qquad(7)\]

Exercise

Let’s try to understand what \(\sqrt[3]{2+11i}\) is, this time using the polar form of a complex number, as well as Equation 7.

First, calculate \(\tan 3\alpha = \tan \theta\).
Let \(t = \tan\alpha\), and rewrite Equation 7 using the value you found in #1.
Clear denominators and rewrite your equation from #2 as a cubic.
Observe that \(t = 1/2\) is a solution to the cubic you found; thus, \(\tan(\theta/3) = 1/2\) is a solution.
Use the fact that \(\cos(\arctan(1/2)) = 2/\sqrt{5}\) and \(\sin(\arctan(1/2)) = 1/\sqrt{5}\) to show that \(\sqrt[3]{2+11i} = 2+i\).

Visualizing the cube root of \(2+11i\).

Roots of Unity: How many solutions should the cubic have?

Definition

Definition 2 Given a natural number \(n \ge 1\), a complex number \(z\) is called an \(n\)th root of unity if \(z^n = 1\). An \(n\)th root of unity \(z_0\) is called primitive if it is not a root of unity for any \(m < n\).

Properties of Roots of Unity

Exercise

Let’s explore some elementary properties of roots of unity.

Explain why \(1\) and \(-1\) are roots of unity for all even \(n\). Are either of them primitive roots of unity for some \(n\)?
For \(k = 0, 1, 2, \ldots, n-1\), explain why \(e^{2k\pi i/n}\) is a root of unity.
How many distinct \(n\)th roots of unity are there?
Use Equation 5 to write a formula for the \(n\)th roots of unity using the sine and cosine functions. Use this formula to fully describe the third roots of unity.
Suppose \(\sqrt[n]{\alpha}\) is a solution of \(z^n = \alpha\) and that \(\zeta_n\) is an \(n\)th root of unity. Explain why \(\zeta_n \sqrt[n]{\alpha}\) is also a solution of \(z^n = \alpha\).
Bonus challenge: for a given \(n\), how many primitive \(n\)th roots of unity are there?

Primitive Roots of Unity

Primitive roots of unity are nice because they generate the other roots of unity.

Theorem 1 Let \(\zeta_0\) be a primitive \(n\)th root of unity. Then the \(n\)th roots of unity are given by \(1, \zeta_0, \zeta_0^2, \zeta_0^3, \ldots, \zeta_0^{n-1}\).

Primitive Cube Roots of Unity

Using the formula you found for expressing roots of unity in terms of sine and cosine, we find the third roots of unity

\[ \omega_1 = \cos\left( \frac{2\pi}{3} \right) + i \sin \left( \frac{2\pi}{3} \right) = -\frac{1}{2} + \frac{\sqrt{3}}{2} i \qquad(8)\]

and

\[ \omega_2 = \cos\left( \frac{2\cdot 2\pi}{3} \right) + i \sin \left( \frac{2\cdot 2\pi}{3} \right) = -\frac{1}{2} - \frac{\sqrt{3}}{2} i \qquad(9)\]

Exercise

Confirm that \(\omega_1^2= \omega_2\).

This is nice, but why do we care?

Well, when we were deriving Cardano’s formula above, we got to the point where we had

\[ t^3 = \frac{-f}{2} + \frac{\sqrt{f^2 + 4e^3/27}}{2}. \]

Finding all three roots

Exercise

Let’s return again to \(x^3 - 15x - 4 = 0\). We saw that \(x = s+t\), where \(t = \sqrt[3]{\frac{-f}{2} + \frac{\sqrt{f^2 + 4e^3/27}}{2}} = 2+i\) and \(s = -e/3t\).

Using the notation of Equation 9, justify that \([(2+i)\omega_1]^3 = 2+11i\). (You don’t need to work it all out by hand if you don’t want to!)
Let \(t_1 = (2+i) \omega_1\) and \(s_1 = -e/3t_1\). Show that \(s_1 = (2-i)\omega_2\).
Use Wolfram|Alpha or similar to verify that \(x_1 = s_1 + t_1\) is a solution to \(x^3 - 15x - 4 = 0\).
Conjecture the third solution.

Visualizing the roots of unity

The roots of unity have a pleasing visual form as well.

Exercise

Plot the \(n\)-th roots of unity for \(n = 2, 3, 4\) below.
How might you plot the fifth roots of unity?
Confirm your answers below.

(manim code by ChatGPT)

If time!

Solve the cubic \(x^3 + 6x = 20\).

Historical coda

Eventually, Cardano and his student, Lodovico Ferrari, worked out the full solution to the cubic, but did not have permission from Tartaglia to publish. Cardano evidently heard that del Ferro found the solution before Tartaglia, and went to Bologna to check del Ferro’s notes. Once he’d confirmed that Tartaglia was not, in fact, the first to solve the cubic, he felt released from his oath, and published the full solution to the cubic and quartic in the Ars Magna: “Written in five years, may it last as many thousands!”

According to Quanta Magazine:

Tartaglia was livid, even though Cardano acknowledged his work in the book. Tartaglia accused Cardano of theft and of breaking a sacred vow. Cardano left the rebukes to his loyal attack dog, Ferrari. The acrimonious back-and-forth, in the form of public pamphlets, continued for many months, leading to a mathematical duel between Tartaglia and Ferrari and eventually a public debate in Ferrari’s hometown, Milan. Tartaglia would much rather have battled the esteemed Cardano, but Cardano refused. Details are scarce, but the debate went terribly for Tartaglia, especially with the raucous hometown crowd. The next day, when it was time to continue the debate, Tartaglia was nowhere to be found—he’d left Milan.

Ferrari was flooded with job offers, and Tartaglia’s reputation was ruined. Despite many notable accomplishments beyond those related to the cubic, Tartaglia died penniless and largely unknown, whereas Cardano achieved everlasting fame. Many argue that the publication of Ars Magna marked the beginning of modern mathematics.

Thanks!

Resources: https://mkjanssen.org/mtc_cardano.html