Visual walkthrough — Integers — operations, number line, absolute value

This page is a deep-dive child of Integers — operations, number line, absolute value. We assume you can place a point on a line and nothing else. Everything — the bars $||$, the word "distance", the squeeze trick — gets built here.

---

Step 1 — What "distance from zero" even means

WHAT we just did. We named a machine. You feed it any integer $a$; it hands back a plain, direction-free number of steps.

WHY we need it. The whole claim is about distances, and distance can't be negative — you never walk "$-3$ steps". So before comparing distances we need a symbol that strips off the left/right sign and keeps only the size. That symbol is $|a|$.

PICTURE. Look at $+3$ and $-3$ below. They are on opposite sides, yet each is exactly 3 steps from the middle. The two orange braces are the same length — that sameness is $|3|=|-3|=3$.

$|a|=\underset{\text{if }a\ge 0:\text{ already positive, keep it}}{\underbrace{a}}|a|=\underset{\text{if }a<0:\text{ flip the sign to make it positive}}{\underbrace{-a}}$

• $a$ — the raw integer, sign and all.
• $-a$ — the flipped version; when $a$ is negative, flipping makes it positive, e.g. $-(-3)=3$.

Related idea: the number line and left/right ordering come from inequalities.

---

Step 2 — The squeeze fact: every number is trapped by its own size

WHAT we just did. We claimed that any integer $a$ is sandwiched between the negative of its size and the positive of its size.

WHY this tool, and why now? We are heading toward bounding $a+b$ from above and below. To bound a sum you first bound each piece. This inequality is the cleanest possible bound on a single number: it says "$a$ can't be bigger than its own magnitude, and can't be smaller than minus its magnitude." Nothing fancier is needed — and nothing weaker would work.

PICTURE. Below, $a$ (the magenta dot) always lands inside the violet fence whose posts sit at $-|a|$ and $+|a|$. Two cases are drawn: a positive $a$ leaning on the right post, a negative $a$ leaning on the left post. Either way, it's inside.

$\underset{\text{left fence post}}{\underbrace{-|a|}}\le \underset{\text{the number itself}}{\underbrace{a}}\le \underset{\text{right fence post}}{\underbrace{|a|}}$

• If $a\ge 0$: then $a=|a|$, so $a$ is the right post — still $\le |a|$. ✓
• If $a<0$: then $a=-|a|$, so $a$ is the left post — still $\ge -|a|$. ✓

Both signs covered, no gaps.

---

Step 3 — Do the same trap for $b$

WHAT we just did. We wrote the identical trap for a second integer $b$.

WHY. The thing we ultimately care about is $a+b$, which has two moving parts. We now hold a fence for each part separately, ready to be combined.

PICTURE. Two fences stacked: the magenta one from Step 2 for $a$, a new orange one for $b$. Each dot sits inside its own fence.

$-|b|\le b\le |b|$

• $-|b|$ — $b$'s left post.
• $b$ — the second number.
• $|b|$ — $b$'s right post.

---

Step 4 — Add the two traps together

WHAT we just did. We stacked the two chains from Steps 2 and 3 and added them column by column: left posts to left posts, middles to middles, right posts to right posts.

WHY this is allowed — the one algebra rule, proved. Adding two same-direction inequalities is legal:

Mini-proof. From $x\le X$, add the number $y$ to both sides — adding the same amount to both sides never flips a $\le$ (this is the basic order-preserving move from inequalities) — giving $x+y\le X+y$. From $y\le Y$, add the number $X$ to both sides, giving $X+y\le X+Y$. Now chain them: $x+y\le X+y\le X+Y$, so $x+y\le X+Y$. $■$

Apply this twice to the Step-2 and Step-3 chains: once to the right-hand halves ($a\le |a|$ with $b\le |b|$ gives $a+b\le |a|+|b|$) and once to the left-hand halves ($-|a|\le a$ with $-|b|\le b$ gives $-(|a|+|b|)\le a+b$). This is the one algebra move the whole proof rides on.

PICTURE. Watch the left posts $-|a|$ and $-|b|$ merge into one far-left post $-(|a|+|b|)$, and the right posts merge into $+(|a|+|b|)$. The sum $a+b$ drops into the new, wider fence.

$\underset{\text{left post of }a\text{+}\text{left post of }b}{\underbrace{-(|a|+|b|)}}\le \underset{\text{middle}\text{+}\text{middle}}{\underbrace{a+b}}\le \underset{\text{right post of }a\text{+}\text{right post of }b}{\underbrace{|a|+|b|}}$

Every piece is just the Step-2 piece plus the Step-3 piece, lined up.

---

Step 5 — Read the trap back as an absolute value

WHAT we just did. We recognised the Step-4 sandwich as the very shape of an absolute-value statement, and folded it back into bars. To do that we borrow one general reading of the bars — but first let us say plainly what the letters will stand for.

WHY. Step 1 built $|x|$ = distance from $0$. Being trapped in the range from $-M$ to $M$ is precisely being within $M$ steps of $0$, i.e. $|x|\le M$. Here $M=|a|+|b|$ is legal to use because it is a sum of two distances, so it is automatically $\ge 0$.

PICTURE. The wide fence from Step 4 redrawn as a distance circle: $a+b$ lives no farther than $|a|+|b|$ from the origin.

$\boxed{|a+b|\le |a|+|b|}■$

• $|a+b|$ — the true distance the sum ends up from $0$.
• $|a|+|b|$ — the "walk one then the other" upper limit.
• $\le$ — "at most", never more.

---

Step 6 — When is it equal, and when is it strictly less?

WHAT we just did. We split the single inequality into the case where it's tight and the case where there's slack.

WHY it matters. An inequality without its equality condition is half a fact. Knowing when the two sides agree tells you the bound is the best possible.

PICTURE. Left panel: $a=4,b=3$ same way, arrows chain nose-to-tail, $|a+b|=7=|a|+|b|$. Right panel: $a=4,b=-3$ opposite ways, the orange arrow backtracks, $|a+b|=1<7=|a|+|b|$.

$\underset{\text{same sign: equality}}{\underbrace{|4+3|=7=|4|+|3|}}\underset{\text{opposite signs: strict}}{\underbrace{|4+(-3)|=1<7=|4|+|-3|}}$

---

Step 7 — The degenerate cases (never leave a gap)

WHY these deserve a step. The contract: the reader must never meet a case we skipped. Zeros and exact-opposites are the boundary of the "same/opposite direction" split from Step 6, and both obey the boxed law.

---

The one-picture summary

The whole argument in a single frame: two fences (one per number) add into one wide fence; the sum can only ever land inside it; touching the wall means "same direction", landing short means "some cancellation."

Recall Feynman retelling — say it back in plain words

Give me any two whole-number moves. First I put a fence around move $a$: it can't go past $|a|$ steps either side of home. I put the same kind of fence around move $b$. Now I add the two moves — and because adding two "no-further-than" limits gives a "no-further-than" limit for the total, the sum is caught inside a bigger fence stretching $|a|+|b|$ on each side of home. Being inside a fence of half-width $M$ is the exact same thing as being within $M$ steps of zero — that's what the absolute-value bars mean. So the distance of the sum, $|a+b|$, is at most $|a|+|b|$. When both moves point the same way I hit the fence wall (equality); when they fight each other I land short (strictly less); a zero move adds nothing and gives equality too. Nothing about fractions was needed, so the same story runs on rational numbers and even on arrows in the 2D plane, where the "triangle" in the name finally becomes a real triangle.

Recall Quick self-test

What does $|a|$ measure? ::: The distance of $a$ from $0$ on the number line, ignoring direction. Which single algebra move powers Step 4? ::: Adding two same-direction inequalities: $x\le X$ and $y\le Y$ give $x+y\le X+Y$. When is $|a+b|=|a|+|b|$ exact? ::: When $a$ and $b$ have the same sign (or one is zero) — no cancellation. Compute $|4+(-3)|$ and $|4|+|-3|$. ::: $1$ and $7$; indeed $1\le 7$. Why is $|a|+|b|$ allowed as the bound $M$ in Step 5? ::: It's a sum of two distances, so it is $\ge 0$, which the "between $-M$ and $M$" reading requires.

Prerequisite threads: counting steps, solving the equality condition like a linear equation, and plotting on the coordinate plane.