← mapBedrock

Absolute Value & Distance

⚗ Dr. Möbius, from the lab

Most people think absolute value means "make the number positive." That's a parlor trick, not an idea, and it will fail you spectacularly the instant a variable shows up. The real definition is one word: distance. Once you see x|x| as "how far from zero," every absolute-value equation and inequality stops being a memorized procedure you half-remember and becomes a goddamn sentence about the number line. Today we make that switch permanently — and we meet an inequality at the end that quietly runs the entire mathematical universe.

THE BIG IDEA

Absolute value is distance: $|x|$ is the distance from $x$ to $0$ and $|a-b|$ is the distance between $a$ and $b$, so every $|\cdot|$ equation and inequality is best solved by translating it into a statement about distances first.

Absolute value is distance, not "make it positive"

Here's the definition that actually means something — I want you to engrave this on the inside of your skull:

x=the distance from x to 0 on the number line.|x| = \text{the distance from } x \text{ to } 0 \text{ on the number line.}

Distance is never negative, and it doesn't care which side you're on. You're 55 units from zero whether you stand at 55 or at 5-5, so 5=5|5| = 5 and 5=5|-5| = 5. The number 00 is zero units from itself, so 0=0|0| = 0. That's it. "Make it positive" gives the right answers for plain numbers, but it hides the idea, and the idea is what survives contact with algebra. The parlor trick gets you through one homework set; the distance picture gets you through every damn thing after it.

There's also a piecewise definition — the same thing written as a rule:

x={xif x0,xif x<0.|x| = \begin{cases} x & \text{if } x \ge 0, \\ -x & \text{if } x < 0. \end{cases}

Why "x-x" for negatives? Because if xx is negative, its distance from zero is its opposite, and the opposite of a negative is positive (from Zero & the Negatives). E.g. 5=(5)=5|-5| = -(-5) = 5. The two views are identical: the geometric one ("distance from 00") and the algebraic one ("flip it if it's negative"). Use the distance picture to think, the piecewise rule to compute.

Drag the point and watch its absolute value — the distance bar from 00 — update no matter which side you're on:

number line
-10-8-6-4-202468105
x = 5−x = -5|x| = 5

The formula that becomes "norm" later: ab|a-b|

Now the upgrade that makes absolute value indispensable. The distance from 00 is nice, but we usually want the distance between two arbitrary points aa and bb. It's:

ab=the distance between a and b.|a - b| = \text{the distance between } a \text{ and } b.

Why subtraction? Because aba - b measures the gap (the signed displacement from bb to aa), and the absolute value strips the sign to leave pure distance. And it doesn't matter which you subtract: ab=ba|a-b| = |b-a|, because the distance from your house to mine equals the distance from mine to yours. Example: the distance between 33 and 1111 is 311=8=8|3 - 11| = |-8| = 8. Between 2-2 and 55: 25=7=7|-2 - 5| = |-7| = 7.

Burn this in, because it's coming back with a vengeance. In the Matrices stratum, the "length" of a vector v\|v\| and the distance between two vectors uv\|u - v\| are literally this formula, promoted to higher dimensions. ab|a-b| is the one-dimensional ancestor of every distance in linear algebra. Same idea, more arrows. The whole edifice is built on this one subtraction under an absolute value, and the Federation of Boring Textbook Authors treats it as a throwaway definition. It is not.

Solving x=c|x| = c: two points at distance cc

Translate to distance and the solutions appear for free. x=c|x| = c (with c>0c > 0) says "xx is exactly distance cc from 00." On a line, two points sit at distance cc from zero — one each side:

x=c        x=c  or  x=c.|x| = c \;\iff\; x = c \ \text{ or } \ x = -c.

So x=7|x| = 7 means x=7x = 7 or x=7x = -7. (If c=0c = 0, the only point at distance 00 is 00 itself. If c<0c < 0, there are no solutions — distance can't be negative. The distance picture tells you all three cases instantly.)

Solving x<c|x| < c: a band; x>c|x| > c: two rays

This is where students who memorize get absolutely slaughtered and students who actually think win effortlessly.

x<c|x| < c says "xx is closer than cc to zero." The points within distance cc of zero form a single band straddling it:

x<c        c<x<c.|x| < c \;\iff\; -c < x < c.

So x<3|x| < 3 means 3<x<3-3 < x < 3, the interval (3,3)(-3, 3). "Less than" \to a band hugging zero. (Recall intervals from Order & Inequality.)

x>c|x| > c says "xx is farther than cc from zero." Those points are everything outside the band — two rays shooting off in both directions:

x>c        x<c  or  x>c.|x| > c \;\iff\; x < -c \ \text{ or } \ x > c.

So x>3|x| > 3 means x<3x < -3 or x>3x > 3, the rays (,3)(3,)(-\infty, -3) \cup (3, \infty). "Greater than" \to two rays fleeing the center.

And for centered-elsewhere versions, the distance reading carries you: x5<2|x - 5| < 2 says "xx is within distance 22 of 55," i.e. the band (3,7)(3, 7). Always translate to distance first — "within," "farther than," "at least this far" — then read off the interval. Never memorize the four cases; derive them from the picture every time.

The triangle inequality: the law that runs the universe

I've saved the crown jewel, and I mean that — this thing is genuinely beautiful. For any two real numbers aa and bb:

a+ba+b.|a + b| \le |a| + |b|.

This is the triangle inequality. In words: the size of a sum is at most the sum of the sizes. Let me show you it's true by cases, using a20a^2 \ge 0-style reasoning and the meaning of |\cdot|.

Case 1: aa and bb have the same sign (or one is zero). Then they pull the same direction, and a+b|a+b| adds up to exactly a+b|a| + |b| — equality. E.g. 3+5=8=3+5|3 + 5| = 8 = |3| + |5|.

Case 2: aa and bb have opposite signs. Then they partly cancel, so the sum is smaller in size than the pieces separately: a+b<a+b|a + b| < |a| + |b|. E.g. 3+(5)=2=2|3 + (-5)| = |-2| = 2, while 3+5=8|3| + |-5| = 8, and indeed 2<82 < 8.

Either way, a+ba+b|a+b| \le |a| + |b|, with equality exactly when aa and bb point the same direction. Done.

Why does this "run the universe"? The name is the tell: it's the algebraic version of "the straight path is the shortest — any detour through a third point is at least as long." Going from 00 to a+ba+b directly never beats going 0aa+b0 \to a \to a+b. That single principle, generalized to vectors as u+vu+v\|u + v\| \le \|u\| + \|v\|, is the backbone of every notion of distance in mathematics — it's what makes distance behave like distance. You'll meet it again with vectors, and it'll be the exact same inequality wearing arrows. It's also the engine behind half the convergence proofs in analysis. File it away: it detonates across the entire rest of the course, and I am not exaggerating.

You now own absolute value as distance, not as a sign-stripper. Go run the gauntlet.

🔬 SPECIMENS (worked examples)

Worked example 1 — distance between two points, no parlor tricks

Find the distance between 3-3 and 99 on the number line using absolute value.

Distance between two points is ab|a - b| — subtract, then strip the sign:

39=12=12.|-3 - 9| = |-12| = 12.

Check it the other way (order shouldn't matter): 9(3)=12=12|9 - (-3)| = |12| = 12. Same answer, because the distance from 3-3 to 99 equals the distance from 99 to 3-3.

distance=12.\text{distance} = 12.

You can verify by walking the line: from 3-3 up to 00 is 33 steps, from 00 up to 99 is 99 more, total 1212. The formula ab|a-b| just does that walk automatically.

Worked example 2 — an absolute-value inequality as a band

Solve x43|x - 4| \le 3 and write the solution in interval notation.

Translate to distance first. x43|x - 4| \le 3 says "xx is within distance 33 of 44." That's a band centered at 44, reaching 33 in each direction — from 434 - 3 to 4+34 + 3.

Algebraically, "\le" gives a band, so unfold it into a double inequality:

3x43.-3 \le x - 4 \le 3.

Add 44 to all three parts (adding preserves order — from Order & Inequality):

1x7.1 \le x \le 7.

Both endpoints are included (the \le), so closed brackets:

[1,7].[1, 7].

Check the center x=4x=4: 44=03|4-4|=0\le3. Check an endpoint x=7x=7: 74=33|7-4|=3\le3. Both good. The distance reading ("within 33 of 44") gave us [1,7][1,7] before we even started the algebra.

Worked example 3 — the trap: the triangle inequality, equality vs strict

Verify the triangle inequality a+ba+b|a+b| \le |a| + |b| for (i) a=6,b=2a=6, b=2 and (ii) a=6,b=2a=6, b=-2. Explain why one is equality and the other is strict.

(i) a=6,b=2a=6, b=2 (same sign).

a+b=6+2=8,a+b=6+2=8.|a+b| = |6+2| = 8, \qquad |a|+|b| = 6 + 2 = 8.

So 888 \le 8equality. The two numbers pull the same direction, so nothing cancels; the sizes simply add.

(ii) a=6,b=2a=6, b=-2 (opposite signs).

a+b=6+(2)=4=4,a+b=6+2=8.|a+b| = |6 + (-2)| = |4| = 4, \qquad |a|+|b| = 6 + 2 = 8.

So 484 \le 8strict (4<84 < 8). The numbers pull opposite directions, so they partly cancel and the sum is smaller than the pieces measured separately.

The principle: a+b=a+b|a+b| = |a|+|b| exactly when aa and bb point the same way; otherwise the inequality is strict. The trap is assuming you always get equality — you don't. The "straight path is shortest" only becomes a tie when there's no detour to cut, i.e. when the directions already agree.

☠ KNOWN HAZARDS

  • Defining x|x| as "make it positive." It works for bare numbers but collapses spectacularly on variables: x|x| is not always "xx with the sign removed" — if xx could be negative, x=x|x|=-x, which is the opposite. Think "distance from 00," always. Every time.

  • Solving x<c|x|<c as just x<cx<c. You lose the entire left side of the band. "Closer than cc to zero" is the band c<x<c-c<x<c — two bounds, not one. Forgetting the c-c end is the single most common absolute-value error and it loses you half the solution set.

  • Turning x>c|x|>c into c>x>c-c>x>c (an impossible single chain). That inequality chain is a contradiction — nothing is simultaneously less than c-c and greater than cc. It's two rays joined by "or": x<cx<-c OR x>cx>c. You can't be on both sides at once, so it's never a single interval.

  • Expecting a+b=a+b|a+b|=|a|+|b| always. That's only when aa and bb share a sign. With opposite signs they partly cancel and a+b|a+b| is strictly smaller. The general truth is the inequality \le, not equality. The triangle inequality is a bound, not a calculation formula.

TL;DR

  • x|x| is the distance from xx to 00: never negative, side-blind. Piecewise: x=x|x|=x if x0x\ge0, x=x|x|=-x if x<0x<0 — same idea.

  • ab|a-b| is the distance between aa and bb (and ab=ba|a-b|=|b-a|). This is the 1-D ancestor of the vector norm uv\|u-v\|.

  • x=c|x|=c gives two points x=±cx=\pm c; x<c|x|<c gives a band c<x<c-c<x<c; x>c|x|>c gives two rays x<cx<-c or x>cx>c. Translate to distance first.

  • Triangle inequality a+ba+b|a+b|\le|a|+|b|: the size of a sum is at most the sum of sizes — equality when a,ba,b share a sign. The straight path is shortest.

  • The triangle inequality generalizes to vectors and underlies every distance in mathematics.