Chapter 8 · The Circle for Free

The Imaginary Unit

A zero seen edge-on

The last chapter handed us something that ought to feel impossible: the imaginary unit, sitting inside the powers of zero, as i = 0^(ω/2). How can i — the very emblem of the abstract and unreal — be hiding in 0, the very emblem of nothing? The answer isn't a trick of algebra. It's a change in how you look at zero.1

A shadow of length zero

Picture a unit arrow — length exactly 1 — but pointing straight up, at a right angle to the number line. Now look at it edge-on, from within the line itself, and measure the shadow it casts on the line. The shadow has length 0. Not because the arrow is small — it is a full unit — but because it points in a direction the line cannot see. Its whole length is real; it is simply spent pointing somewhere the line has no room for.

Zero as an edge-on unit

That is the reframe, and it is the whole chapter in one sentence: the 0 of ordinary arithmetic is a full unit whose direction has been projected away, leaving only its length-zero shadow. Restore the direction — refuse to throw it out — and a unit pointing at a right angle to the reals is precisely the imaginary unit. i and 0 are not strangers who happen to satisfy the same equation. i is what 0 looks like when you stop discarding where it points.

This is also why the reciprocal from two chapters ago pointed the way it did. The reciprocal of a unit is a unit, and turning the edge-on arrow over gives another edge-on arrow aimed the opposite way — a direction, not a runaway size. That is exactly the sense in which the invertible zero's reciprocal ω was "a direction, not an infinity": it is the edge-on unit inverted. In the same picture, +0 and −0 are just +i and −i seen edge-on — two genuinely different arrows that happen to cast the same zero-length shadow.

The receipt

Step back and the theme of the whole book is sitting right here. The classical zero is this richer zero with one coordinate projected away — and the thing projected away is not gone. It is a receipt: the piece of information a lossy shadow throws out, but a world that refuses to destroy information has to keep. Ordinary arithmetic reads the shadow and files the receipt in the trash. This one keeps the receipt, and the imaginary unit is what's written on it.

What this buys

We now have a reason, not just a formula, for i living inside 0: they are the same unit, shadowed and unshadowed. And if 0 is really a unit pointing off the line, its powers should sweep that unit around — tracing a circle. The next chapter takes that literally and computes points on the circle exactly, by hand, with nothing but whole-number arithmetic.

  1. This "edge-on unit" is a change of eye — a picture that organizes the facts and tells you what to expect — not, by itself, a constructed theorem. The precise setting in which "zero is a unit at an angle" becomes exact machinery is the circle of the next chapter; even there, the picture is an interpretation laid over the algebra, and it earns its keep by predicting the right answers rather than by being proved from below.