绝对值运算法则