绝对值不等式是一个关于绝对值的不等式，在一般的情况下指代的是下面这组不等式。当formula_1为实数时，formula_2 等号成立的充分必要条件：