The Birth of Imaginary Numbers
A Brief History
Goal of this page
Learn when, why, and how "imaginary numbers" were discovered.
Prerequisites
- A naive notion of cubic equations
- An interest in history
Table of Contents
§1 Mathematicians of 16th-Century Italy
In 16th-century Italy a heated mathematical dispute raged over how to solve cubic equations. Mathematicians such as Tartaglia, Cardano, and Bombelli competed to find a solution formula.
In 1545 Cardano published Ars Magna (The Great Art) and made public a formula for solving cubic equations (Cardano's formula). Yet something strange happened with this formula: even for cubic equations possessing only real solutions, a "square root of a negative number" could appear partway through the calculation.
§2 Bombelli's "Wild" Idea
In 1572 Bombelli published Algebra and laid out a way to treat $\sqrt{-1}$ as a "symbol that obeys the rules of calculation." He called it "a wild idea," yet out of practical necessity he built up an algebra of imaginary numbers.
Example: $x^3 = 15x + 4$
Clearly $x = 4$ is a solution, but substituting into Cardano's formula produces $\sqrt{-121}$. Using Bombelli's rule $\sqrt{-121} = 11\sqrt{-1}$, one arrives at $x = 4$ by way of the cube roots.
§3 The Road to Legitimate Mathematics
In the 17th and 18th centuries, Descartes, Euler, and Gauss treated imaginary numbers systematically. Descartes left behind the somewhat dismissive name "imaginary" (suggesting a merely imagined, non-existent quantity). Euler introduced the symbol $i$, and in 1797 Gauss presented the complex plane, giving imaginary numbers a geometric justification.
Over some 250 years, imaginary numbers thus rose from a "wild" concept to a "legitimate number." Today they are at work in every corner of physics, engineering, and mathematics.
§4 Summary
- Imaginary numbers arose inevitably from solving cubic equations
- Cardano (1545) and Bombelli (1572) were the pioneers
- Gauss's complex plane (1797) gave them a geometric justification
- The name "imaginary" is a vestige of the prejudice of the time
Further reading
- Gauss and the Complex Plane — who justified imaginary numbers geometrically
- The Beauty of Euler's Identity — the culmination of Euler, who introduced the symbol $i$
- Why $i^i$ Is Real — a surprise extending cube roots and powers
- Chapter 1: Definition and Arithmetic of Complex Numbers — on to the main series