绝对值不等式的拓展