∵对于任意实数a,b有
-│a│≤a≤│a│
-|b|≤b≤|b|
∴两式相加：
-（|a|+|b|)≤a+b≤|a|+|b|
∴│a+b│≤│a│+│b│