绝对值不等式的性质