Complex numbers weren’t invented for quadratics — they were forced into existence by cubics. The story of the cubic formula is one of the strangest in mathematics: a formula that requires imaginary numbers to compute real answers.

The cubic formula

Every cubic can be reduced (by substituting $x = t - b/3$) to depressed form:

$$x^3 + px + q = 0$$

Cardano’s formula (1545, though discovered by del Ferro and Tartaglia):

$$x = \sqrt[3]{-\frac{q}{2} + \sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} + \sqrt[3]{-\frac{q}{2} - \sqrt{\frac{q^2}{4} + \frac{p^3}{27}}}$$

The expression under the inner square root, $\Delta = \frac{q^2}{4} + \frac{p^3}{27}$, is the discriminant (up to a constant factor).

The casus irreducibilis

Now consider a specific cubic:

$$x^3 - 15x - 4 = 0$$

We can verify $x = 4$ is a root: $64 - 60 - 4 = 0$. In fact, all three roots are real (the other two are $-2 \pm \sqrt{3}$).

But what does Cardano’s formula give?

$$\Delta = \frac{(-4)^2}{4} + \frac{(-15)^3}{27} = 4 - 125 = -121$$

The formula gives $\sqrt[3]{2 + \sqrt{-121}} + \sqrt[3]{2 - \sqrt{-121}} = \sqrt[3]{2 + 11i} + \sqrt[3]{2 - 11i}$.

We need complex cube roots of $2 + 11i$ just to compute a real answer. This is the casus irreducibilis — the “irreducible case.” Cardano and Tartaglia were baffled.

Bombelli’s breakthrough

Rafael Bombelli (1572) resolved the puzzle. He showed that $\sqrt[3]{2 + 11i} = 2 + i$ and $\sqrt[3]{2 - 11i} = 2 - i$.

Check: $(2+i)^3 = 8 + 12i + 6i^2 + i^3 = 8 + 12i - 6 - i = 2 + 11i$ ✓

So the formula gives $(2+i) + (2-i) = 4$. The imaginary parts cancel, leaving the real root.

This forced mathematicians to take complex numbers seriously — not as fictions, but as necessary intermediate values in real calculations. Complex numbers weren’t invented for $x^2 + 1 = 0$ (which was simply declared “no solution”). They were invented because the cubic formula demanded them for equations with three perfectly real roots.

The Galois perspective

The Galois group of a cubic with three real roots and $\Delta < 0$ is $S_3$. The composition series $S_3 \supset A_3 \supset {e}$ has quotients $\mathbb{Z}_2$ and $\mathbb{Z}_3$ — both cyclic, so the cubic is solvable by radicals. But the $\mathbb{Z}_3$ step requires a cube root of a complex number. You can’t avoid the detour through $\mathbb{C}$.

The journey: start in $\mathbb{Q}$, pass through $\mathbb{C}$, arrive back in $\mathbb{R}$. Real coefficients, real roots, complex intermediate steps. This is mathematics insisting that the shortest path between two real points passes through the complex plane.