From Babylon to Galois -- the 4000-year quest to solve polynomial equations by radicals
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.
In this lesson, trace the historical arc from ancient tablets to modern algebra, and see each classical solution method in action.
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.
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
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.
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.
Start with the monic cubic equation.
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.
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.
The 4th roots of unity. Resolvent cubic: y^3 - y = 0.
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.
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.