绝对值不等式定理等号成立的条件