>>816
|a+b|≦|a|+|b|　は（１）で証明されている。
つまり、文字を換えて　任意の実数x、yについて|x+y|≦|x|+|y| としてもこの不等式は正しい。
そこで x=a+b、y=-b とすると
|a|=|a+b-b|=|x+y|≦|x|+|y|=|a+b|+|-b|=|a+b|+|b| ゆえ、　|a|-|b|≦|a+b|