含绝对值不等式的性质:

a0 |a| \ge 0

aa |a| \ge a

aba+ba+b ||a|-|b|| \le |a+b| \le |a|+|b|

aba+ba+b ||a|-|b|| \le |a+b| \le |a|+|b|

abbab(b>0) |a| \le b \Leftrightarrow -b \le a \le b (b>0)

abab |a| \ge b \Leftrightarrow a \ge b ab(b>0)a \le -b (b>0)