绝对值不等式性质与运算法则