绝对值不等式

陈一男学习网站[ ChenYinan.com ] - 中国数学学会 - 中国院士 - GeoGebra - 数学基础

第一部分：基础绝对值不等式（核心公式+全部二级结论）

一、基本定义与核心基础不等式

对任意实数 \(x\in\mathbb R\)，绝对值核心恒成立不等式：

1. 非负性：\(\boldsymbol{|x|\ge 0}\)，当且仅当 \(x=0\) 取等

2. 自放缩不等式：\(\boldsymbol{|x|\ge x}\)，\(\boldsymbol{|x|\ge -x}\)，当且仅当 \(x\ge0、x\le0\) 分别取等

3. 基础解集不等式（最常用）

若 \(a>0\)：

\(|x|<a \iff -a<x<a\)

\(|x|>a \iff x<-a \text{ 或 } x>a\)

若 \(a=0\)：

\(|x|<0\) 无解；\(|x|>0 \iff x\neq0\)

若 \(a<0\)：

\(|x|<a\) 无解；\(|x|>a\) 解集为 \(\mathbb R\)

二、绝对值四则运算二级不等式（全覆盖）

设 \(x,y\in\mathbb R\)，以下不等式恒成立，附带取等条件：

1. 乘积不等式：\(\boldsymbol{|xy|=|x||y|}\)（恒等，无不等号，必考恒等变形）

2. 商不等式：\(\boldsymbol{\left|\dfrac{x}{y}\right|=\dfrac{|x|}{|y|}}\ (y\neq0)\)（恒等变形）

3. 平方等价不等式：\(\boldsymbol{|x|\ge|y| \iff x^2\ge y^2}\)

核心用途：去绝对值、比大小，避免分类讨论

4. 单变量平方放缩：\(\boldsymbol{|x|\ge \dfrac{x^2}{|x|+1}}\)，\(\boldsymbol{x^2\le |x|}\ (|x|\le1)\)

5. 差值放缩：\(\boldsymbol{||x|-|y||\le |x\pm y|\le |x|+|y|}\)（三角不等式总纲，下文细讲）

第二部分：绝对值三角不等式（核心+全部二级衍生结论）

一、核心基础三角不等式（双边界）

对任意实数 \(a,b\in\mathbb R\)，恒有：

\(\boldsymbol{||a|-|b|| \le |a+b| \le |a|+|b|}\)

\(\boldsymbol{||a|-|b|| \le |a-b| \le |a|+|b|}\)

精准取等条件（高频易错点）

1. 右边界取等 \(|a+b|=|a|+|b|\)、\(|a-b|=|a|+|b|\)：\(\boldsymbol{ab\ge0}\)（同号或至少一个为0）

2. 左边界取等 \(||a|-|b||=|a+b|\)：\(\boldsymbol{ab\le0}\)（异号或至少一个为0）

3. 左边界取等 \(||a|-|b||=|a-b|\)：\(\boldsymbol{ab\ge0}\)（同号或至少一个为0）

二、二级衍生结论（高中全部拓展，无遗漏）

结论1：三变量三角不等式（压轴常用）

对任意实数 \(a,b,c\in\mathbb R\)：

\(\boldsymbol{|a+b+c|\le |a|+|b|+|c|}\)，取等条件：\(a,b,c\) 全部同号或部分为0

\(\boldsymbol{|a-b-c|\ge ||a|-|b|-|c||}\)，多变量差值下界核心公式

结论2：链式迭代不等式

\(|a\pm b\pm c|\ge ||a|-|b|-|c||\)，推广：有限个实数和的绝对值，大于等于绝对值的最大差值

结论3：对称差值不等式

\(\boldsymbol{|a|-|b| \le |a-b|}\)，\(\boldsymbol{|b|-|a| \le |a-b|}\)，合并即为左边界三角不等式

结论4：最值限定结论（恒成立求参数专用）

1. \(|x-a|+|x-b|\ge |a-b|\)，最小值为 \(|a-b|\)，当且仅当 \(x\) 在 \(a,b\) 之间（含端点）取等

2. \(|x-a|-|x-b|\le |a-b|\)，最大值为 \(|a-b|\)

3. \(||x-a|-|x-b||\le |a-b|\)，恒成立上界

结论5：双绝对值和差终极结论（高考高频）

设 \(f(x)=|x-m|+|x-n|\)，则 \(f(x)_{\text{min}}=|m-n|\)，无最大值

设 \(g(x)=|x-m|-|x-n|\)，则 \(g(x)_{\text{max}}=|m-n|\)，\(g(x)_{\text{min}}=-|m-n|\)

结论6：平方三角放缩

\(|a+b|^2\le (|a|+|b|)^2=a^2+b^2+2|ab|\)

\(|a-b|^2\ge (|a|-|b|)^2=a^2+b^2-2|ab|\)

结论7：分式绝对值放缩（导数压轴小众结论）

\(\left|\dfrac{a}{b}-\dfrac{c}{d}\right|\ge \dfrac{|ad-bc|}{|bd|}\ (b,d\neq0)\)

第三部分：绝对值不等式难题（中档+压轴，附完整解析）

说明：题目梯度递进，涵盖恒成立、最值证明、参数范围、多变量放缩，全部适配高中考试压轴题型。

题1（恒成立求参数）

已知对任意实数 \(x\)，不等式 \(|x+2|+|x-1|\ge a^2-2a\) 恒成立，求实数 \(a\) 的取值范围。

解析：由双绝对值最值结论，\(f(x)=|x+2|+|x-1|\ge |(x+2)-(x-1)|=3\)，即 \(f(x)_{\text{min}}=3\)。

不等式恒成立等价于 \(a^2-2a\le 3\)，整理得 \(a^2-2a-3\le0\)，即 \((a-3)(a+1)\le0\)。

解得：\(\boldsymbol{-1\le a\le3}\)。

题2（多变量证明）

求证：对任意实数 \(a,b\)，\(|a^2-b^2|\ge ||a|-|b||^2\)。

解析：左边 \(|a^2-b^2|=|(|a|-|b|)(|a|+|b|)|=||a|-|b||\cdot(|a|+|b|)\)。

因为 \(|a|+|b|\ge ||a|-|b||\ge0\)，两边同乘非负数 \(||a|-|b||\)，可得：

\(||a|-|b||\cdot(|a|+|b|)\ge ||a|-|b||^2\)，即 \(|a^2-b^2|\ge ||a|-|b||^2\)，得证。

题3（差值最值压轴）

求函数 \(f(x)=|x-3|-|x+1|\) 的最大值与最小值。

解析：由三角不等式二级结论：\(||x-3|-|x+1||\le |(x-3)-(x+1)|=4\)。

因此 \(-4\le |x-3|-|x+1|\le4\)。

取等验证：\(x\le-1\) 时，\(f(x)=4\)（最大值）；\(x\ge3\) 时，\(f(x)=-4\)（最小值）。

结论：\(\boldsymbol{f(x)_{\text{max}}=4,\ f(x)_{\text{min}}=-4}\)。

题4（含参不等式无解问题）

若不等式 \(|x-1|+|x+2|<k\) 无解，求实数 \(k\) 的取值范围。

解析：先求左边最小值：\(|x-1|+|x+2|\ge |1-(-2)|=3\)，即左边值域为 \([3,+\infty)\)。

不等式 \(左边<k\) 无解，即 \(k\le 左边_{\text{min}}\)，故 \(\boldsymbol{k\le3}\)。

题5（三变量三角不等式证明）

已知实数 \(a,b,c\)，求证：\(|a-b|+|b-c|\ge |a-c|\)。

解析：由三角不等式核心公式，\(|a-c|=|(a-b)+(b-c)|\le |a-b|+|b-c|\)。

取等条件：\((a-b)(b-c)\ge0\)，即 \(b\) 在 \(a,c\) 之间，该不等式为绝对值几何意义核心公式（数轴上两点距离性质），得证。

题6（恒成立难题，双向放缩）

若对任意 \(x\in\mathbb R\)，\(|x-a|-|x-2|\le3\) 恒成立，求实数 \(a\) 的取值范围。

解析：由二级结论 \(||x-a|-|x-2||\le |a-2|\)，即 \(|x-a|-|x-2|\le |a-2|\)。

不等式恒成立需满足上界最大值 \(|a-2|\le3\)，解得 \(-3\le a-2\le3\)。

最终得：\(\boldsymbol{-1\le a\le5}\)。

题7（多参数最值综合）

已知 \(|x|\le1,|y|\le1\)，求证：\(|xy+x+y|\le3\)。

解析：由三角不等式 \(|xy+x+y|\le |xy|+|x|+|y|\)。

由 \(|x|\le1,|y|\le1\)，得 \(|xy|=|x||y|\le1\)，\(|x|\le1,|y|\le1\)。

因此 \(|xy|+|x|+|y|\le1+1+1=3\)，即 \(|xy+x+y|\le3\)，得证。

题8（绝对值方程+不等式综合）

已知 \(|a-b|+|b-c|=|a-c|\)，求证：\(a,b,c\) 三个数中，\(b\) 介于 \(a,c\) 之间。

解析：由题5结论 \(|a-c|\le |a-b|+|b-c|\)，本题取等成立。

三角不等式取等条件：\((a-b)(b-c)\ge0\)。

即 \((a-b)\) 与 \((b-c)\) 同号或至少一个为0，对应数轴上 \(b\) 在 \(a,c\) 之间（含端点），得证。

题9（高考压轴题型：双绝对值恒成立）

设函数 \(f(x)=|2x-1|+|x+2|\)，若 \(f(x)\ge m^2+\dfrac{3}{2}m\) 对任意 \(x\in\mathbb R\) 恒成立，求 \(m\) 的取值范围。

解析：先分段求 \(f(x)\) 最小值：

当 \(x\le-2\) 时，\(f(x)=1-2x-x-2=-3x-1\)，单调递减，\(f(x)\ge5\)；

当 \(-2<x<\dfrac12\) 时，\(f(x)=1-2x+x+2=-x+3\)，单调递减，\(f(x)\in\left(\dfrac52,5\right)\)；

当 \(x\ge\dfrac12\) 时，\(f(x)=2x-1+x+2=3x+1\)，单调递增，\(f(x)\ge\dfrac52\)。

故 \(f(x)_{\text{min}}=\dfrac52\)，恒成立需 \(m^2+\dfrac32m\le\dfrac52\)。

整理得 \(2m^2+3m-5\le0\)，解得 \(\boldsymbol{-\dfrac52\le m\le1}\)。

题10（高阶放缩证明，竞赛基础题型）

求证：对任意实数 \(a,b\)，\(\dfrac{|a+b|}{1+|a+b|}\le \dfrac{|a|}{1+|a|}+\dfrac{|b|}{1+|b|}\)。

解析：构造函数 \(f(x)=\dfrac{x}{1+x}(x\ge0)\)，易证 \(f(x)\) 在 \([0,+\infty)\) 单调递增。

由三角不等式 \(|a+b|\le |a|+|b|\)，故 \(f(|a+b|)\le f(|a|+|b|)\)。

展开右边：\(f(|a|+|b|)=\dfrac{|a|+|b|}{1+|a|+|b|}=\dfrac{|a|}{1+|a|+|b|}+\dfrac{|b|}{1+|a|+|b|}\)。

因为分母 \(1+|a|+|b|\ge1+|a|\)，\(1+|a|+|b|\ge1+|b|\)，所以：

\(\dfrac{|a|}{1+|a|+|b|}\le\dfrac{|a|}{1+|a|}\)，\(\dfrac{|b|}{1+|a|+|b|}\le\dfrac{|b|}{1+|b|}\)。

联立可得：\(\dfrac{|a+b|}{1+|a+b|}\le \dfrac{|a|}{1+|a|}+\dfrac{|b|}{1+|b|}\)，得证。

数学基础 : 小学数学、初中数学、高中数学、高等数学