绝对值不等式

绝对值不等式是一个关于绝对值的不等式，在一般的情况下指代的是下面这组不等式。当$a,b$为实数时，

$\mid \mid a\mid -\mid b\mid \mid ⩽\mid a\pm b\mid ⩽\mid a\mid +\mid b\mid$

等号成立的充分必要条件：

$\mid \mid a\mid -\mid b\mid \mid =\mid a+b\mid$	$\iff a\cdot b⩽0$
$\mid \mid a\mid -\mid b\mid \mid =\mid a-b\mid$	$\iff a\cdot b⩾0$
$\mid a+b\mid =\mid a\mid +\mid b\mid$	$\iff a\cdot b⩾0$
$\mid a-b\mid =\mid a\mid +\mid b\mid$	$\iff a\cdot b⩽0$