绝对值不等式的性质定理及推论