绝对值方程及非负性