ab小于等于0是使不等式|a-b|小于等于|a|+|b|等号成立的啥条件