Zero & the Negatives

The defect, stated plainly

In The Laws of Arithmetic we demoted subtraction to a question: $7 - 3$ means "what adds to $3$ to get $7$?" — answer $4$, fine. But ask "$3 - 5$" — "what adds to $5$ to get $3$?" — and the natural numbers $\mathbb{N}$ have nothing. You can't count down past zero when zero is the floor. The system hits a wall and shrugs, which is frankly embarrassing.

This is a defect, and recall the master move from What Is a Number?: when a number system can't answer a question it can pose, we forge new numbers that can, and bolt them on. We did it implicitly with $0$; now we do it on purpose with the negatives. The result is $\mathbb{Z}$, the integers — from the German Zahlen, "numbers," because the Germans got there first and had the decency to name them properly.

Zero: the additive identity

First, pin down $0$ precisely. What makes zero special isn't that it's "nothing" — it's that it does nothing when you add it:

$a + 0 = a \quad \text{for every } a.$

A number with this property is called an additive identity — "identity" because adding it leaves everything's identity unchanged. There's exactly one such number, and we call it $0$. Hold this word "identity," because every system you'll ever meet has one (multiplication's is $1$; matrices have $I$), and they all do the same job: the do-nothing element.

Negatives: defined, not declared

Now the forging. For each number $a$, we want a partner that undoes it — a number you can add to $a$ to get back to the do-nothing element $0$. We define $-a$ to be exactly that:

$a + (-a) = 0.$

That equation is not a fact about $-a$; it IS the definition of $-a$. The number $-a$ is called the additive inverse of $a$ — "inverse" because it reverses $a$'s effect. So $-3$ isn't "three with a frowny face." It's "the number that cancels $3$," and if you forget that distinction I will lose my mind. And $5 - 3$? It's secretly $5 + (-3)$: subtraction is adding the inverse. Subtraction was never a real operation — it's addition wearing the inverse's coat.

With negatives in hand, the question "$3-5$" finally has an answer: $3 + (-5) = -2$. Defect patched. You magnificent idiot, we just extended an entire number system.

Walking the number line

Here's the picture that makes signed arithmetic stop being scary — and I've drawn this on the reactor coolant tank with contraband chalk because it's that important. Lay out the integers as a line, $0$ in the middle, positives marching right, negatives marching left. Adding a positive walks you right; adding a negative walks you left. That's the entire model.

$3 + (-5): \text{ start at } 3, \text{ walk } 5 \text{ steps left, land on } -2.$

Drag the point and watch its value, its opposite (mirror across $0$), and its distance from $0$ all move together:

Subtraction is the same walk, since $a - b = a + (-b)$: to subtract, flip the sign and walk. $-2 - 4 = -2 + (-4) = -6$ (start at $-2$, four steps left). Subtracting a negative? $5 - (-3) = 5 + 3 = 8$ — flip the sign, now you're walking right. "Minus a minus is a plus" isn't a trick; it's "the inverse of the inverse is the original."

Why $(-1)(-1) = 1$ — proved, not asserted

This is the one everybody memorizes and nobody understands. I have seen this mangled on lab reports at three different universities. We're going to prove it, using only the definition of $-1$ (the thing that adds to $1$ to give $0$) and distributivity from last lesson. Watch carefully.

Start with a quantity we can evaluate two ways:

$(-1)\big(1 + (-1)\big).$

Way one: the inside is $1 + (-1) = 0$ by definition of $-1$. And anything times $0$ is $0$. So the whole thing is $0$.

Way two: distribute the $(-1)$ across the sum:

$(-1)(1) + (-1)(-1) = -1 + (-1)(-1).$

Both ways compute the same quantity, so they're equal:

$0 = -1 + (-1)(-1).$

This says $(-1)(-1)$ is the number that adds to $-1$ to give $0$. But that number is, by definition, the additive inverse of $-1$ — which is $1$. Therefore

$(-1)(-1) = 1.$

No hand-waving, no "two wrongs make a right" bullshit. It is forced by distributivity and the meaning of inverse. If $(-1)(-1)$ were anything else, distributivity would break — and distributivity is the engine we refuse to give up. The general rule $(-a)(-b) = ab$ follows the same way. Beautiful. Inevitable. The whole signed-arithmetic system falls out of one definition, and that's fucking elegant.

$\mathbb{Z}$: the completed system

Stack it up. We started with $\mathbb{N} = \{0, 1, 2, \dots\}$, a system that could ask "$3-5$" but not answer it. We forged additive inverses, and now

$\mathbb{Z} = \{\dots, -2, -1, 0, 1, 2, \dots\}$

answers every subtraction. $\mathbb{N}$ sits inside $\mathbb{Z}$ untouched — we didn't break anything, we extended. Every law from last lesson (commutativity, associativity, distributivity) still holds; we just have more numbers to apply them to.

And $\mathbb{Z}$ has its own defect, naturally — ask it "$3 \div 5$" and it shrugs at you like a useless specimen. You know what happens next. Same move, new lesson. Go do the gauntlet.