絕對值不等式的性質是|ab|=|a||b|，|a/b|=|a|/|b|（b≠0）；|a|<|b|可逆，||a|-|b||≤|a+b|≤|a|+|b|，當且僅當ab≤0時左邊等號成立，ab≥0時右邊等號成立，另外有：|a-b|≤|a|+|-b|=|a|+|-1|*|b|=|a|+|b|。