The Verification Venue · a showing, not an argument

What Are Imaginary Numbers For?

They are not fake, and they are not useless. The name is a three-hundred-year-old dismissal that stuck. What they actually are is the algebra of rotation — and once you can see that, drag a number around and watch it happen, the mystery evaporates.

Descartes coined the word imaginary in 1637 with a dismissive edge — for him these were quantities you could only imagine, not construct with rule and compass, fictions you wrote down on the way to a real answer. The disparaging flavour outlived the doubt. Gauss, a century and a half later, thought the naming had been "prejudicial" and wished the numbers had been called something "less objectionable" — for him they were as legitimate as the negatives, and just as concrete. This page is an attempt to show you why he was right, by letting you operate the thing itself.

1 · The number line can't turn

Multiplying a real number is a stretch along a line. Multiply by 3, the point slides out to three times its distance. Multiply by −1, and the point flips to the other side of zero — that is a half-turn, a rotation by 180°. So multiplication already knows how to rotate; the real line just only has room for one rotation, the flip.

Here is the question that builds the whole subject. If −1 is a 180° turn, what is half of that turn — a 90° turn? It can't land anywhere on the line. It has to step off it, into a second dimension. Call that step i. Do it twice and you've turned 180° — you've multiplied by −1. That is the entire meaning of i² = −1: i is the quarter-turn whose square is the half-turn.

2 · Multiplication is rotation — drag it

Below is the complex plane: the horizontal axis is ordinary real numbers, the vertical axis is imaginary ones. Drag the white dot z anywhere. Pick a number to multiply by. The violet dot is the product. Watch the one rule that runs everything: lengths multiply, angles add.

Notice what × (1 + i) does: it both turns (by 45°) and stretches (by √2 ≈ 1.414). Every complex number is a "turn-and-stretch" operator. The reals are the ones that only stretch (angle 0 or 180°); i is the one that only turns. That's the whole family, and multiplication composes them the way you'd hope: to combine two turn-and-stretches, add their angles and multiply their lengths.

3 · The dial that ties it together

If a pure turn is what i does, is there a number for a turn of any angle θ? Yes — it sits on the unit circle at cos θ + i sin θ, and Euler found it has a name that looks impossible until you accept that "multiply" means "add angles": e^iθ = cos θ + i sin θ. Spin the dial. At θ = π you are pointing at −1 — which is Euler's identity, e^iπ + 1 = 0, not a mystic coincidence but simply the fact that a half-turn lands on −1.

4 · What they're for: AC electricity as algebra

Here is the payoff that put imaginary numbers into every power grid and radio on Earth. In an alternating-current circuit, voltage and current are sinusoids that lead or lag each other — a coil delays the current a quarter-cycle, a capacitor advances it a quarter-cycle. Tracking those shifts with trigonometry and calculus is miserable. But a quarter-cycle shift is a 90° rotation, and we just learned the number for a 90° rotation: i.

So engineers write each component's opposition to current — its impedance — as a complex number. A resistor is real (R); a coil is +iωL (a +90° turn); a capacitor is −i/(ωC) (a −90° turn). Put them in series and you just add them — the calculus collapses into arithmetic on the plane you just dragged around. Tune the circuit below and watch the impedance arrow swing.

5 · The reason mathematicians couldn't give them up

Even if you never touch a circuit, algebra itself forces the issue. Over the real numbers, x² + 1 = 0 has no solution — no real number squares to a negative. Add i and it has two (±i). And then something remarkable: you never have to add anything again. The Fundamental Theorem of Algebra says every polynomial of degree n, however wild its coefficients, has exactly n roots in the complex numbers. The reals are full of holes; the complex plane is algebraically complete. Gauss proved a version of this in his 1799 dissertation (his first argument leaned on a geometric fact later found to need its own proof — an honest wrinkle in a landmark result). Our verifier plants five roots, hides them inside an expanded polynomial, and recovers all five from the coefficients alone.

A historical footnote worth keeping straight: complex numbers were not invented to solve x² + 1 = 0 — for that you can simply shrug and say "no solution." They forced their way in through the cubic formula (Cardano, Bombelli, 1500s), which sometimes produced perfectly real answers that could only be reached by passing through square roots of negatives along the way. The imaginary parts cancelled at the end, but you couldn't get there without them — that is what made them impossible to dismiss.