Adding equations in Triangle Inequality Proof

Inequality to prove:

$|a+b|\leq |a| + |b|$

Proof:

  1. $-|a| \leq a \leq |a|$

  2. $-|b| \leq b \leq |b|$

Add 1 and 2 together to get:

$-(|a|+|b|)\leq a+b\leq|a|+|b|$

$|a+b|\leq|a|+|b|$

  1. What is the meaning of adding inequalities 1 and 2? How does adding these inequalities rely on the order axioms? Could someone break down this addition into its elementary meaning? I think adding inequalities must be some “short-cut” or “trick” what is the principle behind this?

What I don’t understand is how to do this without “adding inequalities”. Suppose I use the order axioms and add $-|b|$ to inequality 1. We get:

$-|a|+-|b| \leq a+-|b| \leq |a|+-|b|$

This gives the very left inequality of the final result, but how can we use the order axioms to get the final result?

Solutions Collecting From Web of "Adding equations in Triangle Inequality Proof"

We have to prove $a+b\leq |a| + |b|$ and $-(a+b)\leq |a| + |b|$.

By property of mod $a \leq |a|$. Add $b$ to both sides, so by translation invariance

$a + b \leq |a| + b.$

By property of mod $b \leq |b|$. Add $|a|$ to both sides, so by translation invariance

$|a| + b \leq |a| + |b|.$

So by transitivity $a + b < |a| + |b|$.

Similarly $-a \leq |a|$. Add $-b$ to both sides, so by translation invariance

$-a – b \leq |a| – b.$

Similarly $-b \leq |b|$. Add $|a|$ to both sides, so by translation invariance

$|a| – b \leq |a| + |b|.$

So by transitivity $-(a + b) = -a-b < |a| + |b|$.

Adding inequalities means this. If $x\leq y$ and $p\leq q$, then $x+p\leq y+p$ and $y+p\leq y+q$, so that $x+p\leq y+q$.

$\mathbb{R}$ is an Ordered Field.

Then:

(1) $\forall a \forall b \forall c (a\leq b \Rightarrow a+c\leq b+c)$

If $a\leq b$ and $c\leq d$, by (1):

$a+c\leq b+c$

$c+b\leq d+b$

$\Rightarrow a+c \leq b+d$, by transitivity.

This is “adding inequalities”