I am trying to solve the exercise problems from Spivak Calculus. I am new to proof based approach. Please, go through my reasoning for this problem, and point out whether it is valid or not, or if it is wrong altogether. It's not even close to clean, so if you can provide an elegant solution it would be great.
Problem Statement: Express the following without absolute value signs, treating various cases separately when necessary.
$|a+b|-|b|$
My Solution:
For case 1: $ a,b>0 $
$a+b-b = a$
For case 4: $ a,b<0 $
Then if we consider $c,d>0$ and $a=-c$ and $b=-d$
Then, $|-c-d|-|-d| $
$=|-(c+d)|-d$
$=c+d-d=c$
$c$ is the Positive value of $a$, so case 1 and case 4 yields same result.
For case 2: $ a>0, b<0 $
$Let, b = -c,$ where $c>0$
$|a-c|- |-c| = |a-c|- c $
Let the positive difference $|a-c|=k$
Therefore, $k-c$
For case 3: $ a<0, b>0 $
$Let, a = -d,$ where $c>0$
$|-d+b|- |b|=|b-d|-b$
Let the positive difference $|b-d|=k$ , which is same in value as in case 2.
Therefore, $k-b$. But $b=c$.
Therefore cases 2 and 3 yield same result => $k-b$.