From Babylon to Galois -- the 4000-year quest to solve polynomial equations by radicals
For four thousand years, people hunted for formulas that solve polynomial equations. They found them for degrees 2, 3, and 4, then hit a wall at degree 5. Here is how the story unfolds.
Click each era to see its solution method and watch the roots appear on the complex plane. Notice how the formulas grow more tangled with each degree, until degree five has none at all.
ax^2 + bx + c = 0
Babylonian scribes solved quadratic equations on clay tablets using geometric completing-the-square.
Formula:
x = (-b +/- sqrt(b^2 - 4ac)) / 2a
For over four thousand years, mathematicians sought formulas to solve polynomial equations. The Babylonians mastered the quadratic. Renaissance Italians cracked the cubic and quartic in dramatic duels of wits. Then in 1824, Abel proved something stunning: no general formula can exist for degree five and beyond. Galois explained exactly why -- launching an entirely new branch of mathematics.
Click each era to see the solution method and watch roots appear on the complex plane. Notice how the complexity of the formula grows with each degree -- until it becomes impossible.
Key insight: Each formula involves one more layer of nested radicals: the quadratic uses square roots, the cubic adds cube roots, the quartic nests square roots inside cube roots. Galois theory reveals that this nesting corresponds to a chain of normal subgroups -- and for degree 5, no such chain exists.
Pick a cubic and press Next Step to walk through Cardano's 1545 method. Watch for the resolvent quadratic, where the cubic turns into a quadratic in disguise.
Start with the monic cubic equation.
Step through Cardano's 1545 method for solving cubic equations. The key idea: eliminate the x² term by a substitution (depressing the cubic), then use a clever factoring trick that reduces the problem to a quadratic in disguise.
Key insight: The "resolvent quadratic" in step 6 is the heart of Cardano's method. It turns a cubic problem into a quadratic one, at the cost of needing cube roots. This idea of reducing to a simpler equation via a "resolvent" is exactly what Ferrari does for the quartic -- and what fails for the quintic.
Pick a quartic and compare its roots (left) with the roots of its resolvent cubic (right). Solving that cubic is what splits the quartic into two quadratics.
The 4th roots of unity. Resolvent cubic: y^3 + 4y = 0, with roots 0 and ±2i.
Ferrari's method: Solve the resolvent cubic (right) to find a value that lets you factor the quartic as a product of two quadratics, each solvable by the quadratic formula. Degree 4 is the last where this nesting of radicals works.
Ferrari's method reduces a quartic to a "resolvent cubic." Solving the cubic gives a value that factors the quartic into two quadratics. See the quartic roots (left) and their resolvent cubic roots (right) side by side.
Key insight: Degree 4 is the last where this "resolvent" strategy works. The quartic's Galois group S4 has a composition series with abelian (cyclic) quotients: S4 > A4 > V4 > Z2 > 1. Each step corresponds to one radical extraction. For degree 5, the group A5 is simple and non-abelian, blocking this decomposition entirely.
Spot a mistake or have an idea?