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.
- Diophantus (3rd century): the first to systematically use shorthand symbols for equations.
- François Viète (late 16th century): established symbolic algebra using letters and discovered the relations between roots and coefficients (Vieta's formulas).
- Descartes (17th century): connected polynomials with curves via coordinate geometry, and gave the rule of signs bounding the number of positive real roots.
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.
7. Timeline
| Period | Milestone |
|---|---|
| c. 1650 BCE | Egypt: linear equations in the Rhind Papyrus |
| c. 2000 BCE | Babylonia: quadratic equations solved by completing the square |
| 3rd century BCE | Euclid's Elements: geometric treatment of equations |
| 3rd century | Diophantus: shorthand symbolic equations |
| 9th century | al-Khwārizmī: systematization of algebra |
| 11th century | Omar Khayyam: geometric solution of cubics |
| 1545 | Cardano's Ars Magna: cubic and quartic formulas |
| Late 16th century | Viète: symbolic algebra; relations between roots and coefficients |
| 1637 | Descartes: coordinate geometry; rule of signs |
| 1770 | Lagrange: analysis of solutions via permutations |
| 1799 | Gauss: first proof of the fundamental theorem of algebra |
| 1824 | Abel: unsolvability of the general quintic |
| 1832 | Galois: foundations of Galois theory |
8. References
- B. L. van der Waerden, A History of Algebra: From al-Khwārizmī to Emmy Noether, Springer, 1985.
- J. Stillwell, Mathematics and Its History, 3rd ed., Springer, 2010.
- V. J. Katz, A History of Mathematics, 3rd ed., Addison-Wesley, 2008.
- Wikipedia: History of algebra, Galois theory.
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.