Prove $||a|-|b|| \leq |a-b|$
I do it by making 4 cases :
Case 1 : $ a \geq 0$, $ b\geq 0$
So we have
$||a||-||b|| = |a - b|$ . hence proved
Case 2 :
$a < 0 , b< 0$
$|-a+b| = |-(a-b)|=|a-b|$
Case 3
$a >0, b<0$
$||a||-||b|| =|a+b| \leq |a|+|b| \leq a -b \leq |a-b| $
Case 4:
$a <0 ,b>0$
$|-a+b| = |-(a-b)| = |a-b|$
Is this OK ? Thanks
Two small comments:
In case three: consider $a \ge 0; b< 0$ (otherwise you haven't covered the case where $a =0; b < 0$.)
An also in case three: You state $|a| + |b| \le a - b$. It's stronger to state $|a| + |b| = a-b$.
Other than that this is fine.
However in case 3) you refer to an earlier result $|a+b| \le |a| + |b|$. You should either explicitly mention that result or try to prove without it.
...
As an alternative prove as you have already proven $|a + b| \le |a|+|b|$ you might consider this slick proof:
$|a| = |a+b -b| \le |a-b| + |b|$ so $|a| - |b| \le |a-b|$.
Likewise $|b| = |a+b - a| \le |b-a| + |a|$ so $|b| - |a| \le |b-a| = |a-b|$
So $||a| -|b|| = \pm(|a| - |b|) \le |a-b|$.