一类：

|a|≥a取=的条件是a≥0。

|a|≥-a取=的条件是a≤0。

二类：三角形不等式。

基本式：|a+b|≤|a|+|b|取=的条件是ab≥0。

其它：

|a-b|≤|a|+|b|取=的条件是ab≤0。

变形为|a+(-b)|≤|a|+|-b|再用基本式得到。

|a+b|≥|a|-|b|取=的条件是(a+b)b≤0。

变形为|a+b|+|-b|≥|(a+b)+(-b)|再用基本式得到。

|a-b|≥|a|-|b|取=的条件是(a-b)b≥0。

变形为|a-b|+|b|≥|(a-b)+b|再用基本式得到。