绝对值不等式性质-a