History of Polynomials

Four Millennia from Ancient Egypt to Modern Galois Theory

Basic (undergraduate years 1-2)

Polynomials began with the practical need to solve equations and, over more than four millennia, became the foundation of modern algebra. The history below traces how solution methods were discovered degree by degree.

1. Degree 1 — The Origin of Equations

The simplest polynomial equation \( ax + b = 0 \) is as old as civilization. The Rhind Papyrus of ancient Egypt (circa 1650 BCE) records linear equations such as "a quantity, plus its 1/7, becomes 19" (\( x + \frac{x}{7} = 19 \)). Babylonians routinely solved linear equations for grain distribution and labor accounting.

The solution \( x = -b/a \) looks trivial, but it presupposes the concepts of division and negative numbers. Although Chinese mathematics (the Nine Chapters on the Mathematical Art) and Indian mathematics used negative numbers far earlier, in Western mathematics they were not widely accepted until around the 17th century.

2. Degree 2 — Babylonian Completing the Square

Babylonian clay tablets from around 2000 BCE record algorithmic procedures for solving quadratics. A problem of the form "given the area of a square plus a multiple of its side, find the side" — in modern notation \( x^2 + bx = c \) — was solved essentially by completing the square.

The Greeks, notably Euclid in Elements, treated quadratic problems as geometric manipulations of line segments (application of areas). The algebraic notion of "polynomial" did not yet exist; everything was geometric.

In the 9th century, al-Khwārizmī's al-Jabr wa'l-Muqābala classified quadratics into six standard forms and gave systematic solutions for each. The book's name is the origin of the word algebra. Because negative and zero coefficients were not accepted, the cases \( x^2 = bx \), \( x^2 + bx = c \), and \( x^2 + c = bx \) were treated as distinct types.

3. Degree 3 — The Renaissance Equation Wars

In the 11th century the Persian poet-mathematician Omar Khayyam classified cubics into 19 types and solved them geometrically as intersections of conic sections, but obtained no algebraic formula.

The breakthrough came from 16th-century Italian mathematicians. Around 1515 Scipione del Ferro of Bologna found a formula for \( x^3 + px = q \) and kept it secret. Tartaglia independently rediscovered it, and Cardano published it in his 1545 Ars Magna. The resulting Cardano formula reads

\[ 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 formula sometimes routes through the square roots of negative numbers even when the roots are real (the casus irreducibilis). This triggered the development of complex numbers.

4. Degree 4 — Ferrari's Solution

Cardano's student Ferrari reduced the quartic equation to an auxiliary cubic (the resolvent) and thereby solved it. The method also appears in Ars Magna.

With this, every polynomial equation of degree 1 through 4 was known to be solvable in radicals (the four arithmetic operations and \( n \)-th roots).

5. Development of Symbolic Algebra

Alongside the solution formulas, the very language for polynomials evolved.

Viète's contribution shifted perspective from solving particular equations to discussing properties of roots in general.

6. Degree 5 and Above — Proving the Unsolvability of the General Quintic

In the 18th century Lagrange analyzed the degree-3 and -4 solutions in terms of permutations and suggested that the same method could not solve quintics. This focus on permutations of the roots became the seed of group theory.

In 1799 Gauss gave the first substantial proof of the fundamental theorem of algebra (a fully rigorous version came later, with Argand and Cauchy): a degree-\( n \) polynomial over \( \mathbb{C} \) has \( n \) roots. Roots exist; whether they can be written as a formula is another question.

In 1824 Abel proved that "the general quintic cannot be solved by radicals" (the Abel–Ruffini theorem). Abel himself died young, at the age of 26.

In 1832 Galois completely characterized solvability via the structure of groups. He created the theory (Galois theory) that decides whether a given polynomial is solvable by radicals. The fundamental reason the general quintic has no radical formula is that the symmetric group \( S_5 \) is not solvable. Galois died in a duel at just 20; the manuscript he wrote the night before became the starting point of today's Galois theory.

History of equation solving — a timeline from quadratics to "not solvable by radicals" Solvable by radicals Not solvable by radicals era Degree 2 Babylonia c. 2000 BCE completing the square 1545 Degree 3 del Ferro / Tartaglia / Cardano Degree 4 Ferrari 1545 resolvent 1799 Gauss fundamental theorem of algebra (roots exist) Degree ≥ 5 Abel 1824 1832 Galois Galois theory (decides solvability) As the degree rises, solving gets harder; at degree 5, no general radical formula exists.
Figure 1. The history of equation solving. From the quadratic (Babylonian completing the square) through the 16th-century Italian cubic (Cardano's formula) and quartic (Ferrari), equations are solvable by radicals; but the general equation of degree 5 or higher, \( a_n x^n + \cdots + a_0 = 0 \), was shown by Abel (1824) and Galois (1832) to be unsolvable by radicals.

7. Timeline

PeriodMilestone
c. 1650 BCEEgypt: linear equations in the Rhind Papyrus
c. 2000 BCEBabylonia: quadratic equations solved by completing the square
3rd century BCEEuclid's Elements: geometric treatment of equations
3rd centuryDiophantus: shorthand symbolic equations
9th centuryal-Khwārizmī: systematization of algebra
11th centuryOmar Khayyam: geometric solution of cubics
1545Cardano's Ars Magna: cubic and quartic formulas
Late 16th centuryViète: symbolic algebra; relations between roots and coefficients
1637Descartes: coordinate geometry; rule of signs
1770Lagrange: analysis of solutions via permutations
1799Gauss: first proof of the fundamental theorem of algebra
1824Abel: unsolvability of the general quintic
1832Galois: foundations of Galois theory

8. References

9. Frequently Asked Questions

Why can't quintic and higher-degree equations be solved by radicals?

The fact that there is no general solution formula for equations of degree 5 or higher was established by the Abel–Ruffini theorem (1824). Galois explained the underlying reason using group theory: an equation is solvable by radicals exactly when its Galois group — the group of symmetries of its roots — is a solvable group. Because the symmetric group $S_5$ is not solvable, the general quintic cannot be solved by radicals. Note that this concerns the general quintic: special quintics such as $x^5-1=0$ or $x^5-2=0$ can still be solved by radicals individually. What does not exist is a single radical formula in the literal coefficients.

Where does the word "algebra" come from?

It comes from the 9th-century mathematician al-Khwārizmī's book al-Jabr wa'l-Muqābala. The word "al-jabr" in the title passed through Latin to become "algebra". In this book he classified quadratic equations into six standard forms and gave a systematic method for each.

Who first discovered the formula for the cubic equation?

The formula for the cubic $x^3 + px = q$ was first discovered by Scipione del Ferro of Bologna around 1515, who kept it secret. Tartaglia later rediscovered it independently, and Cardano published it in his 1545 Ars Magna, which is why it is generally known as the Cardano formula.