不等式选讲（绝对值不等式与证明方法）

一、概念导入：从距离到绝对值不等式

在平面直角坐标系中，数轴上两点 $a$ 和 $b$ 之间的距离可以用 $|a-b|$ 表示。例如，$|x-3|$ 表示点 $x$ 到点 $3$ 的距离。在现实世界中，误差、偏差等概念也往往用绝对值表示。因此，研究绝对值不等式既是数形结合的典范，也是解决实际问题的工具。

二、核心讲解：绝对值三角不等式

1. 基本性质

• $|a| \ge 0$，等号当且仅当 $a=0$ 时成立。
• $|ab| = |a| \cdot |b|$，$\left|\frac{a}{b}\right| = \frac{|a|}{|b|}$（$b \neq 0$）。
• $|a| \le b \iff -b \le a \le b$（$b>0$）；$|a| \ge b \iff a \le -b$ 或 $a \ge b$（$b>0$）。

2. 绝对值三角不等式（核心定理）

$\bigl||a|-|b|\bigr| \le |a \pm b| \le |a|+|b|$

几何意义：三角形两边之和大于第三边，两边之差小于第三边。当 $a$ 与 $b$ 同号（或至少一个为0）时，$|a+b|=|a|+|b|$；当 $a$ 与 $b$ 异号时，$|a+b| < |a|+|b|$。等号成立的条件非常重要：
① $|a+b|=|a|+|b|$ 当且仅当 $ab \ge 0$；
② $|a-b|=|a|+|b|$ 当且仅当 $ab \le 0$；
③ $|a|-|b| = |a-b|$ 当且仅当 $a \ge b \ge 0$ 或 $a \le b \le 0$。

三、解法策略：含绝对值不等式的常见题型

1. 单绝对值不等式

形如 $|f(x)| \le c$ 或 $|f(x)| \ge c$（$c>0$），直接转化为 $-c \le f(x) \le c$ 或 $f(x)\le -c$ 或 $f(x)\ge c$。

2. 双绝对值不等式

形如 $|x-a|+|x-b| \ge c$ 或 $|x-a|-|x-b| \le c$。常用方法：

• 零点分段法：找到 $a,b$ 分点，分区间讨论去掉绝对值。
• 数形结合法：$|x-a|$ 表示 $x$ 到 $a$ 的距离，$|x-a|+|x-b|$ 即到两点的距离之和。利用绝对值的几何意义，可以快速写出解集。
• 构造函数法：转化为分段函数，利用函数图像。

3. 绝对值恒成立与存在性问题

常用技巧：分离参数后，转化为求函数最值。例如：若 $|x-a|+|x-b| \ge m$ 恒成立，则 $m \le \min f(x)$；若存在 $x$ 使得 $|x-a|+|x-b| \le m$，则 $m \ge \min f(x)$。

四、证明方法初步

1. 比较法：作差（或作商）与0（或1）比较。

2. 综合法：从已知条件出发，利用已证的不等式（如基本不等式 $a^2+b^2 \ge 2ab$）逐步推出结论。

3. 分析法：从要证明的结论出发，逐步寻找使结论成立的条件，直到找到一个显然成立的条件（注意步骤可逆）。

4. 放缩法：通过适当放大或缩小不等式的一边，以达到证明目的。常用放缩技巧：$\frac{1}{n(n+1)} < \frac{1}{n^2} < \frac{1}{n(n-1)}$，$\sqrt{n+1}-\sqrt{n} = \frac{1}{\sqrt{n+1}+\sqrt{n}}$ 等。

五、典型例题

六、常见误区

1. 忽略等号成立条件：使用 $|a|-|b| \le |a\pm b|$ 时，忘记验证取等条件，导致最值判断错误。
2. 解不等式乱平方：例如 $|x-1| > x$ 不能直接平方，需考虑正负，更简单是分类讨论或数形结合。
3. 分段讨论遗漏边界：零点处必须考虑包含在哪一段，通常遵循“不重不漏”原则。
4. 证明方法逻辑颠倒：使用分析法时，步骤必须可逆；综合法要明确从什么已知条件出发。

七、学习建议

• 牢记绝对值三角不等式及其取等条件，这是求最值和解题的利器。
• 对于双绝对值问题，优先考虑几何意义（数轴上两点的距离），可以快速得到答案。
• 多动手画图（分段函数图像、数轴距离），直观理解不等式的解集。
• 证明训练：每天练习1-2道综合法或分析法的证明题，熟悉常见放缩技巧。

八、知识链接

九、习题自测（含答案）

1. 解不等式 $|x+1|-|x-2| \le 1$。
2. 已知 $a,b \in \mathbb{R}$，且 $|a|+|b| \le 1$，求 $a+b$ 的最大值和最小值。
3. 设 $f(x)=|2x-1|+|x+2|$，若存在 $t \in \mathbb{R}$ 使 $f(t) \le m$，求实数 $m$ 的取值范围。