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:
Distance is never negative, and it doesn't care which side you're on. You're units from zero whether you stand at or at , so and . The number is zero units from itself, so . 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:
Why "" for negatives? Because if is negative, its distance from zero is its opposite, and the opposite of a negative is positive (from Zero & the Negatives). E.g. . The two views are identical: the geometric one ("distance from ") 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 — update no matter which side you're on:
The formula that becomes "norm" later:
Now the upgrade that makes absolute value indispensable. The distance from is nice, but we usually want the distance between two arbitrary points and . It's:
Why subtraction? Because measures the gap (the signed displacement from to ), and the absolute value strips the sign to leave pure distance. And it doesn't matter which you subtract: , because the distance from your house to mine equals the distance from mine to yours. Example: the distance between and is . Between and : .
Burn this in, because it's coming back with a vengeance. In the Matrices stratum, the "length" of a vector and the distance between two vectors are literally this formula, promoted to higher dimensions. 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 : two points at distance
Translate to distance and the solutions appear for free. (with ) says " is exactly distance from ." On a line, two points sit at distance from zero — one each side:
So means or . (If , the only point at distance is itself. If , there are no solutions — distance can't be negative. The distance picture tells you all three cases instantly.)
Solving : a band; : two rays
This is where students who memorize get absolutely slaughtered and students who actually think win effortlessly.
says " is closer than to zero." The points within distance of zero form a single band straddling it:
So means , the interval . "Less than" a band hugging zero. (Recall intervals from Order & Inequality.)
says " is farther than from zero." Those points are everything outside the band — two rays shooting off in both directions:
So means or , the rays . "Greater than" two rays fleeing the center.
And for centered-elsewhere versions, the distance reading carries you: says " is within distance of ," i.e. the band . 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 and :
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 -style reasoning and the meaning of .
Case 1: and have the same sign (or one is zero). Then they pull the same direction, and adds up to exactly — equality. E.g. .
Case 2: and have opposite signs. Then they partly cancel, so the sum is smaller in size than the pieces separately: . E.g. , while , and indeed .
Either way, , with equality exactly when and 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 to directly never beats going . That single principle, generalized to vectors as , 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.