2.4平均值不等式

平均值不等式知识点精讲与推导证明

同学们好，我是今天的授课老师，接下来我们将从根源出发，系统拆解平均值不等式的推导、证明、几何意义与核心要点，所有内容都基于一个最基础的实数公理：对任意实数\(x\)，都有\(x^2 \geq 0\)，当且仅当\(x=0\)时，等号成立。这是我们所有推导的核心根基。

---

一、平均值不等式1（重要不等式）

1. 定理内容

对任意实数\(a\)和\(b\)，都有

\[\boldsymbol{a^2 + b^2 \geq 2ab} \]

当且仅当\(\boldsymbol{a=b}\)时，等号成立。

2. 严格代数证明

我们从实数平方非负的公理出发，进行无跳步推导：

1. 对任意实数\(a,b\)，令\(x=a-b\)，根据平方非负公理，必有\((a-b)^2 \geq 0\)；
2. 完全平方展开左边：\((a-b)^2 = a^2 - 2ab + b^2\)，因此可得：
   \[a^2 - 2ab + b^2 \geq 0 \]

3. 对不等式进行移项，将\(-2ab\)移到不等号右侧（不等式两侧同时加\(2ab\)，不等号方向不变），最终得到：
   \[a^2 + b^2 \geq 2ab \]

3. 等号成立条件的严谨说明

“当且仅当”是数学中表示充分必要条件的术语，分为两层含义：

• 充分性：当\(a=b\)时，\(a-b=0\)，因此\((a-b)^2=0\)，代入可得\(a^2 + b^2 = 2ab\)，等号一定成立；
• 必要性：若等号\(a^2 + b^2 = 2ab\)成立，则\((a-b)^2=0\)，根据平方非负公理，只有底数为0时平方为0，因此必有\(a-b=0\)，即\(a=b\)。

综上，等号成立的充要条件为\(a=b\)。

4. 几何解释（赵爽弦图）

该不等式的几何意义可通过中国古代数学家赵爽的弦图直观理解：

1. 大正方形的边长为直角三角形的斜边长\(\sqrt{a^2+b^2}\)，因此大正方形面积为\(a^2 + b^2\)；
2. 大正方形内有4个全等的直角三角形，每个直角三角形的面积为\(\frac{1}{2}ab\)，4个三角形的总面积为\(4\times\frac{1}{2}ab=2ab\)；
3. 从图形上可直接看出：4个直角三角形的总面积不会超过大正方形的面积，仅当中间的小正方形缩为一个点（即直角三角形为等腰直角三角形，\(a=b\)）时，两者面积相等。
   由此直观验证了\(a^2 + b^2 \geq 2ab\)的恒成立性。

5. 常用变式与证明

基于核心不等式，我们可以推导出两个高频使用的变式，适用范围仍为全体实数\(a,b\)：

变式序号	变式内容	等号成立条件	证明过程
变式1	\(a^2 + b^2 \geq -2ab\)	当且仅当\(a=-b\)时等号成立	由\((a+b)^2 \geq 0\)，展开得\(a^2 + 2ab + b^2 \geq 0\)，移项得\(a^2 + b^2 \geq -2ab\)；等号成立当且仅当\(a+b=0\)，即\(a=-b\)
变式2	\(a^2 + b^2 \geq 2|ab|\)	当且仅当\(|a|=|b|\)时等号成立	由\(a^2=|a|^2\)，\(b^2=|b|^2\)，代入核心不等式得\(|a|^2 + |b|^2 \geq 2|a||b|\)，即\(a^2 + b^2 \geq 2|ab|\)；等号成立当且仅当\(|a|=|b|\)

---

二、平均值不等式2（基本不等式/二元均值不等式）

1. 定理内容

对任意正数\(a\)和\(b\)，都有

\[\boldsymbol{\frac{a+b}{2} \geq \sqrt{ab}} \]

当且仅当\(\boldsymbol{a=b}\)时，等号成立。

2. 核心概念定义

• 算术平均数：我们把\(\frac{a+b}{2}\)叫做正数\(a,b\)的算术平均数；
• 几何平均数：我们把\(\sqrt{ab}\)叫做正数\(a,b\)的几何平均数。

因此该不等式的文字表述为：两个正数的算术平均数不小于它们的几何平均数。

3. 严格代数证明

这里提供两种无跳步证明方法，分别从核心公理和已证的平均值不等式1出发，帮助同学们多角度理解：

方法1：基于平方非负公理的直接证明（作差法）

1. 因为\(a>0,b>0\)，所以\(\sqrt{a},\sqrt{b}\)均为有意义的实数，我们对不等式两侧作差：
   \[\frac{a+b}{2} - \sqrt{ab} \]

2. 对差式通分、配方变形：
   \[\frac{a+b}{2} - \sqrt{ab} = \frac{a + b - 2\sqrt{ab}}{2} = \frac{(\sqrt{a} - \sqrt{b})^2}{2} \]

3. 根据平方非负公理，\((\sqrt{a} - \sqrt{b})^2 \geq 0\)，且分母\(2>0\)，因此：
   \[\frac{(\sqrt{a} - \sqrt{b})^2}{2} \geq 0 \]

4. 由此可得\(\frac{a+b}{2} - \sqrt{ab} \geq 0\)，即\(\frac{a+b}{2} \geq \sqrt{ab}\)。

方法2：基于平均值不等式1的推导证明

1. 因为\(a>0,b>0\)，令\(x=\sqrt{a}\)，\(y=\sqrt{b}\)，则\(x,y\)均为实数，满足平均值不等式1的适用条件；
2. 代入平均值不等式1\(x^2 + y^2 \geq 2xy\)，可得：
   \[(\sqrt{a})^2 + (\sqrt{b})^2 \geq 2\cdot\sqrt{a}\cdot\sqrt{b} \]

3. 化简左侧为\(a+b\)，右侧为\(2\sqrt{ab}\)，因此得到：
   \[a + b \geq 2\sqrt{ab} \]

4. 因为\(a,b>0\)，不等式两侧同时除以正数2，不等号方向不变，最终得到：
   \[\frac{a+b}{2} \geq \sqrt{ab} \]

4. 等号成立条件的严谨说明

同样分为两层含义：

• 充分性：当\(a=b\)时，\(\sqrt{a}=\sqrt{b}\)，因此\((\sqrt{a}-\sqrt{b})^2=0\)，代入可得\(\frac{a+b}{2} = \sqrt{ab}\)，等号成立；
• 必要性：若等号\(\frac{a+b}{2} = \sqrt{ab}\)成立，则\((\sqrt{a}-\sqrt{b})^2=0\)，必有\(\sqrt{a}=\sqrt{b}\)，两侧同时平方得\(a=b\)。

综上，等号成立的充要条件为\(a=b\)。

5. 几何解释（直角三角形斜边中线与高）

该不等式的几何意义可通过直角三角形的线段性质直观理解：

1. 在\(Rt\triangle ABC\)中，\(\angle BAC=90^\circ\)，\(AD\)是斜边\(BC\)上的高，\(AE\)是斜边\(BC\)上的中线，设\(BD=a\)，\(DC=b\)；
2. 根据直角三角形射影定理，斜边上的高是两条射影的比例中项，即\(AD^2=BD\cdot DC=ab\)，因此\(AD=\sqrt{ab}\)（对应\(a,b\)的几何平均数）；
3. 根据直角三角形性质，斜边中线等于斜边的一半，斜边\(BC=a+b\)，因此\(AE=\frac{a+b}{2}\)（对应\(a,b\)的算术平均数）；
4. 根据“点到直线的垂线段最短”，斜边的高\(AD\)一定不大于斜边的中线\(AE\)，即\(AE \geq AD\)，由此直观验证了\(\frac{a+b}{2} \geq \sqrt{ab}\)；
5. 仅当\(AD\)与\(AE\)重合（即\(\triangle ABC\)为等腰直角三角形，\(D\)与\(E\)重合，\(a=b\)）时，\(AE=AD\)，等号成立。

6. 解题核心变形与最值规则

该不等式是求函数最值的核心工具，我们可以推导出两个核心变形，以及使用的核心准则：

核心变形

1. 和定积最大：若\(a+b\)为定值\(S\)，则\(ab \leq \left( \frac{a+b}{2} \right)^2 = \frac{S^2}{4}\)，当且仅当\(a=b\)时，\(ab\)取得最大值\(\frac{S^2}{4}\)；
2. 积定和最小：若\(ab\)为定值\(P\)，则\(a+b \geq 2\sqrt{ab}=2\sqrt{P}\)，当且仅当\(a=b\)时，\(a+b\)取得最小值\(2\sqrt{P}\)。

核心使用准则：一正、二定、三相等

这是使用基本不等式求最值的前提，三者缺一不可：

1. 一正：\(a,b\)必须均为正数，若为负数需先变形转化为正数，否则不能直接使用不等式；
2. 二定：\(a+b\)的和为定值，或\(ab\)的积为定值，无定值则无法确定最值；
3. 三相等：必须验证等号成立的条件\(a=b\)能否取到，若无法取到，则不能用该不等式求最值。

---

三、知识点归纳总结表

分类	平均值不等式1（重要不等式）	平均值不等式2（基本不等式/二元均值不等式）
核心公式	\(a^2 + b^2 \geq 2ab\)	\(\frac{a+b}{2} \geq \sqrt{ab}\)
适用范围	全体实数\(a,b\)（正、负、0均可）	正实数\(a,b\)（\(a>0,b>0\)）
等号成立充要条件	当且仅当\(a=b\)时等号成立	当且仅当\(a=b\)时等号成立
理论根源	实数平方非负性：\((a-b)^2 \geq 0\)	实数平方非负性：\((\sqrt{a}-\sqrt{b})^2 \geq 0\)，或由重要不等式换元推导
核心意义	两个实数的平方和不小于它们乘积的2倍	两个正数的算术平均数不小于它们的几何平均数
几何意义	赵爽弦图：大正方形面积≥4个全等直角三角形的总面积	直角三角形：斜边中线长≥斜边上的高
高频变形	1. \(a^2 + b^2 \geq -2ab\)（\(a=-b\)取等） 2. $a^2 + b^2 \geq 2	ab
核心应用场景	不等式证明、代数式范围求解	二元函数最值求解、实际优化问题、不等式证明
注意事项	无正负限制，全体实数恒成立	必须满足“一正、二定、三相等”，缺一不可

---

基本不等式经典例题 深度精讲

同学们好，我们今天结合这两道核心例题，彻底吃透基本不等式的证明思路、适用规则与易错点，每道题都会先讲解题核心逻辑，再给严谨分步证明，最后拆解考点、易错点与通用解题方法。

---

例1 多元不等式的证明（同向可加/可乘性应用）

本题核心考点：二元基本不等式的拓展应用、不等式的同向可加性与同向正可乘性，是多元对称不等式的经典入门题型。

（1）已知\(a,b,c \in \mathbb{R}\)，求证：\(a^2 + b^2 + c^2 \geq ab + ac + bc\)

【解题核心思路】

我们已掌握二元均值不等式：对任意实数\(m,n\)，有\(m^2+n^2\geq2mn\)。本题是三元不等式，核心方法是将三元拆分为3组二元不等式，利用不等式的同向可加性合并推导，这是处理多元对称不等式的通用方法。

【严谨分步证明】

1. 基于二元均值不等式，写出3组恒成立的不等式：

   • 对实数\(a,b\)：\(a^2 + b^2 \geq 2ab\)，当且仅当\(a=b\)时等号成立；
   • 对实数\(a,c\)：\(a^2 + c^2 \geq 2ac\)，当且仅当\(a=c\)时等号成立；
   • 对实数\(b,c\)：\(b^2 + c^2 \geq 2bc\)，当且仅当\(b=c\)时等号成立。

2. 利用不等式同向可加性（若\(A\geq B,C\geq D,E\geq F\)，则\(A+C+E\geq B+D+F\)），将3个不等式左右两侧分别相加：
   左侧相加：\((a^2 + b^2)+(a^2 + c^2)+(b^2 + c^2)=2(a^2 + b^2 + c^2)\)
   右侧相加：\(2ab + 2ac + 2bc=2(ab + ac + bc)\)
   得到：\(2(a^2 + b^2 + c^2) \geq 2(ab + ac + bc)\)

3. 不等式两侧同时除以正数2，不等号方向不变，最终得证：

   \[a^2 + b^2 + c^2 \geq ab + ac + bc \]

【等号成立条件详解】

不等式等号成立，当且仅当3个二元不等式的等号同时成立，即\(a=b\)、\(a=c\)、\(b=c\)同时满足，也就是\(\boldsymbol{a=b=c}\)。

关键提醒：多元不等式的等号成立，必须让所有拆分的不等式的等号条件同时满足，缺一不可。

【考点拓展】

该不等式是高中数学高频基础结论，可通过配方进一步验证本质：
\(a^2 + b^2 + c^2 - ab - ac - bc = \frac{1}{2}[(a-b)^2 + (b-c)^2 + (c-a)^2] \geq 0\)，完美契合实数平方非负的核心公理。

---

（2）已知\(x,y>0\)，求证：\((x+y)(x^2+y^2)(x^3+y^3) \geq 8x^3y^3\)

【解题核心思路】

观察右侧\(8x^3y^3\)，\(8=2\times2\times2\)，正好对应3个括号各用1次基本不等式得到的系数2。核心方法是对每个括号分别应用基本不等式，再利用正数不等式的同向可乘性合并化简。

【严谨分步证明】

1. 因\(x,y>0\)，满足基本不等式“一正”的前提，对每个括号分别应用基本不等式：

   • 对\(x+y\)：\(x + y \geq 2\sqrt{xy} > 0\)，当且仅当\(x=y\)时等号成立；
   • 对\(x^2+y^2\)：\(x^2>0,y^2>0\)，故\(x^2 + y^2 \geq 2\sqrt{x^2y^2}=2xy > 0\)，当且仅当\(x^2=y^2\)（即\(x=y\)，因\(x,y>0\)）时等号成立；
   • 对\(x^3+y^3\)：\(x^3>0,y^3>0\)，故\(x^3 + y^3 \geq 2\sqrt{x^3y^3}=2x^{\frac{3}{2}}y^{\frac{3}{2}} > 0\)，当且仅当\(x^3=y^3\)（即\(x=y\)，因\(x,y>0\)）时等号成立。

2. 利用不等式同向正可乘性（若\(A\geq B>0,C\geq D>0,E\geq F>0\)，则\(ACE\geq BDF\)），将3个不等式左右两侧分别相乘：
   左侧相乘：\((x+y)(x^2+y^2)(x^3+y^3)\)
   右侧相乘：\(2\sqrt{xy} \cdot 2xy \cdot 2x^{\frac{3}{2}}y^{\frac{3}{2}}\)

3. 化简右侧表达式：
   系数：\(2\times2\times2=8\)
   \(x\)的指数：\(x^{\frac{1}{2}} \cdot x^1 \cdot x^{\frac{3}{2}}=x^3\)
   \(y\)的指数：\(y^{\frac{1}{2}} \cdot y^1 \cdot y^{\frac{3}{2}}=y^3\)
   右侧最终化简为\(8x^3y^3\)，得证：

   \[(x+y)(x^2+y^2)(x^3+y^3) \geq 8x^3y^3 \]

【等号成立条件与易错点】

• 等号成立：当且仅当3个不等式的等号同时满足，即\(\boldsymbol{x=y}\)。
• 易错警示1：必须保证所有相乘的不等式两侧均为正数，才能使用同向可乘性，本题\(x,y>0\)满足该前提，无正数前提不可直接相乘。
• 易错警示2：必须验证等号条件可同时满足，若多个不等式的等号条件无法统一，最终不等式的等号无法成立。

---

例2 基本不等式的正负号处理（高频易错题型）

本题核心考点：基本不等式的适用前提“一正”、负数的转化技巧、绝对值的性质，是考试中错误率极高的经典题型，核心考查对基本不等式适用规则的理解。

（1）已知\(xy>0\)，求证：\(\frac{y}{x} + \frac{x}{y} \geq 2\)

【解题核心思路】

\(xy>0\)说明\(x,y\)同号，因此\(\frac{y}{x}\)和\(\frac{x}{y}\)均为正数，完全满足基本不等式的适用条件，直接套用公式即可证明。

【严谨分步证明】

1. 分析正负性：\(xy>0\)，故\(x,y\)同号且\(x\neq0,y\neq0\)，因此\(\frac{y}{x}>0\)，\(\frac{x}{y}>0\)，满足基本不等式“一正”前提。
2. 对两个正数应用基本不等式：
   \[\frac{y}{x} + \frac{x}{y} \geq 2\sqrt{\frac{y}{x} \cdot \frac{x}{y}} \]

3. 化简右侧：\(\sqrt{\frac{y}{x} \cdot \frac{x}{y}}=\sqrt{1}=1\)，因此右侧化简为\(2\times1=2\)，得证：
   \[\frac{y}{x} + \frac{x}{y} \geq 2 \]

【等号成立条件】

当且仅当\(\frac{y}{x}=\frac{x}{y}\)，即\(x^2=y^2\)，结合\(xy>0\)，得\(\boldsymbol{x=y\neq0}\)时等号成立。

---

（2）已知\(xy<0\)，求证：\(\frac{y}{x} + \frac{x}{y} \leq -2\)

【解题核心思路】

本题是高频易错点！\(xy<0\)说明\(x,y\)异号，\(\frac{y}{x}\)和\(\frac{x}{y}\)均为负数，绝对不能直接套用基本不等式。核心方法是：提取负号，将负数转化为正数，再应用基本不等式，最后利用不等式性质还原符号，注意不等号方向的改变。

【严谨分步证明】

1. 分析正负性：\(xy<0\)，故\(x,y\)异号且\(x\neq0,y\neq0\)，因此\(\frac{y}{x}<0\)，\(\frac{x}{y}<0\)。
2. 负数转正数：对两个负数提取负号，得\(-\frac{y}{x}>0\)，\(-\frac{x}{y}>0\)，满足基本不等式的适用条件。
3. 对两个正数应用基本不等式：
   \[\left(-\frac{y}{x}\right) + \left(-\frac{x}{y}\right) \geq 2\sqrt{\left(-\frac{y}{x}\right) \cdot \left(-\frac{x}{y}\right)} \]

4. 化简不等式：
   左侧：\(-\left( \frac{y}{x} + \frac{x}{y} \right)\)
   右侧：\(\sqrt{\left(-\frac{y}{x}\right) \cdot \left(-\frac{x}{y}\right)}=\sqrt{1}=1\)，因此右侧为\(2\times1=2\)
   得到：\(-\left( \frac{y}{x} + \frac{x}{y} \right) \geq 2\)
5. 不等式两侧同时乘以\(-1\)，不等号方向必须改变，最终得证：
   \[\frac{y}{x} + \frac{x}{y} \leq -2 \]

【等号成立条件与易错警示】

• 等号成立：当且仅当\(-\frac{y}{x}=-\frac{x}{y}\)，即\(x^2=y^2\)，结合\(xy<0\)，得\(\boldsymbol{x=-y\neq0}\)时等号成立。
• 致命易错点1：对负数直接套用基本不等式，忽略“一正”的核心前提。
• 致命易错点2：不等式两侧乘负数时，忘记改变不等号方向，导致证明完全错误。

---

（3）试比较\(\left| \frac{y}{x} + \frac{x}{y} \right|\)与\(2\)的大小

【解题核心思路】

结合绝对值的定义，分情况讨论，直接利用前两问已证明的结论推导，无需重复计算。

【严谨分步推导】

根据绝对值的定义，分两种情况讨论：

1. 当\(xy>0\)时，\(\frac{y}{x} + \frac{x}{y} > 0\)，因此\(\left| \frac{y}{x} + \frac{x}{y} \right| = \frac{y}{x} + \frac{x}{y}\)。
   由（1）的结论，\(\frac{y}{x} + \frac{x}{y} \geq 2\)，故此时\(\left| \frac{y}{x} + \frac{x}{y} \right| \geq 2\)。

2. 当\(xy<0\)时，\(\frac{y}{x} + \frac{x}{y} < 0\)，因此\(\left| \frac{y}{x} + \frac{x}{y} \right| = -\left( \frac{y}{x} + \frac{x}{y} \right)\)。
   由（2）的结论，\(\frac{y}{x} + \frac{x}{y} \leq -2\)，两侧乘\(-1\)得\(-\left( \frac{y}{x} + \frac{x}{y} \right) \geq 2\)，故此时\(\left| \frac{y}{x} + \frac{x}{y} \right| \geq 2\)。

综合两种情况，无论\(xy>0\)还是\(xy<0\)（\(x,y\neq0\)），最终结论为：

\[\boldsymbol{\left| \frac{y}{x} + \frac{x}{y} \right| \geq 2} \]

【等号成立条件】

当且仅当\(\boldsymbol{|x|=|y|\neq0}\)时，等号成立（\(xy>0\)时\(x=y\)，\(xy<0\)时\(x=-y\)，统一为\(|x|=|y|\neq0\)）。

---

【题型总结与核心解题准则】

1. 证明题通用方法

• 多元对称不等式：拆分为多个二元基本不等式，利用同向可加/可乘性合并；
• 负数形式不等式：先提取负号转化为正数，再用基本不等式，最后还原符号；
• 带绝对值的不等式：结合绝对值定义分情况讨论，复用已证结论简化计算。

2. 基本不等式核心准则（必须严格遵守）

使用\(\frac{a+b}{2}\geq\sqrt{ab}\)时，必须满足一正、二定、三相等：

• 一正：\(a,b\)必须为正数，负数必须先转化；
• 二定：和定积最大，积定和最小；
• 三相等：必须验证等号成立的条件可同时满足。

3. 高频避坑提醒

• 绝对不能对负数直接套用基本不等式2；
• 不等式两侧乘负数时，必须改变不等号方向；
• 多元不等式的等号成立，必须让所有拆分不等式的等号条件同时满足。

---

平均值不等式（基本不等式）的应用 深度精讲

同学们好，今天我们系统学习基本不等式最核心的用途——求函数的最大值与最小值。所有应用的核心都源于「最值定理」（例3的结论），它是解决这类问题的根基，我们会从定理证明、基础应用、进阶技巧三个维度，把每道题的解题逻辑、变形思路和避坑要点讲透。

---

例3 最值定理（核心根基）

已知\(a,b>0\)，我们证明两个求最值的核心结论，这是所有应用的基础。

（1）积定和最小：若\(ab=P\)（\(P>0\)，P为定值），则当且仅当\(a=b\)时，\(a+b\)有最小值\(2\sqrt{P}\)

【核心思路】

已知乘积为定值，要找和的最小值，直接套用基本不等式，代入定值得到和的下界，验证等号可成立，该下界即为最小值。

【严谨证明】

因为\(a,b>0\)，由基本不等式\(\frac{a+b}{2} \geq \sqrt{ab}\)，将\(ab=P\)代入得：

\[\frac{a+b}{2} \geq \sqrt{P} \]

两侧同乘2，得\(a+b \geq 2\sqrt{P}\)，该不等式对所有满足\(ab=P\)的正数\(a,b\)恒成立。

根据等号成立条件，当且仅当\(a=b\)时，\(a+b=2\sqrt{P}\)，因此\(a+b\)的最小值为\(2\sqrt{P}\)，当且仅当\(a=b\)时取到最小值。

---

（2）和定积最大：若\(a+b=S\)（\(S>0\)，S为定值），则当且仅当\(a=b\)时，\(ab\)有最大值\(\frac{S^2}{4}\)

【核心思路】

已知和为定值，要找乘积的最大值，对基本不等式变形，代入定值得到乘积的上界，验证等号可成立，该上界即为最大值。

【严谨证明】

因为\(a,b>0\)，由基本不等式\(\frac{a+b}{2} \geq \sqrt{ab}\)，将\(a+b=S\)代入得：

\[\frac{S}{2} \geq \sqrt{ab} \]

两侧均为正数，同时平方不等号方向不变，得：

\[ab \leq \left( \frac{S}{2} \right)^2 = \frac{S^2}{4} \]

该不等式对所有满足\(a+b=S\)的正数\(a,b\)恒成立。

当且仅当\(a=b\)时，\(ab=\frac{S^2}{4}\)，因此\(ab\)的最大值为\(\frac{S^2}{4}\)，当且仅当\(a=b\)时取到最大值。

---

【最值定理核心准则：一正、二定、三相等】

这是使用基本不等式求最值的铁则，三者缺一不可，也是考试最高频的易错点：

1. 一正：\(a,b\)必须为正数，负数需先转化为正数才能使用；
2. 二定：必须满足「乘积为定值」（求最小值）或「和为定值」（求最大值），无定值则无法确定最值；
3. 三相等：必须验证等号成立条件\(a=b\)能在定义域内取到，取不到则最值无效。

---

例4 实际应用问题（矩形周长与面积最值）

这类问题是最值定理的直接应用，核心是把实际问题转化为数学模型，对应「积定」或「和定」场景。

（1）面积为\(100\ \text{m}^2\)的矩形菜园，长、宽为多少时，周长最短？

【核心思路】

矩形面积=长×宽，是定值100，要求周长\(=2×(长+宽)\)的最小值，对应积定和最小场景。

【严谨解题步骤】

设矩形菜园的长为\(x\ \text{m}\)，宽为\(y\ \text{m}\)，其中\(x>0,y>0\)。

1. 由题意，面积\(xy=100\)（定值），周长\(L=2(x+y)\)；
2. 由基本不等式，\(x+y \geq 2\sqrt{xy}=2\sqrt{100}=20\)，当且仅当\(x=y\)时等号成立；
3. 因此周长\(L=2(x+y) \geq 2×20=40\)，当且仅当\(x=y=10\)时等号成立。

结论：当长和宽都为\(10\ \text{m}\)时，菜园周长最短，最短周长为\(40\ \text{m}\)。

【关键结论】

这验证了开篇的几何规律：面积相等时，正方形的周长最短；反过来，周长相等时，正方形的面积最大。

---

（2）周长为\(36\ \text{m}\)的矩形菜园，长、宽为多少时，面积最大？

【核心思路】

矩形周长\(=2×(长+宽)\)，因此长+宽是定值18，要求面积=长×宽的最大值，对应和定积最大场景。

【严谨解题步骤】

设矩形菜园的宽为\(x\ \text{m}\)，由周长36m得长+宽=18m，因此长为\((18-x)\ \text{m}\)，其中\(0<x<18\)（保证长、宽为正）。

1. 矩形面积\(S=x(18-x)\)，其中\(x + (18-x)=18\)，是定值；
2. 由和定积最大结论\(ab \leq \left( \frac{a+b}{2} \right)^2\)，代入得：
   \[S=x(18-x) \leq \left( \frac{x + (18-x)}{2} \right)^2 = 81 \]

3. 当且仅当\(x=18-x\)，即\(x=9\)时，等号成立，此时长\(=18-9=9\ \text{m}\)。

结论：当长和宽都为\(9\ \text{m}\)时，菜园面积最大，最大面积为\(81\ \text{m}^2\)。

---

例5 进阶技巧：凑形法求最值（高频考点）

这类题的核心难点是凑出“定值”：题目没有直接给出定值，需要通过变形、凑项、配系数，人为凑出乘积定值（求最小值）或和定值（求最大值），我们逐个拆解。

---

（1）若\(x>0\)，求\(4x + \frac{9}{x+1}\)的最小值

【核心思路】

要求和的最小值，需凑乘积定值。分母是\(x+1\)，因此把\(4x\)拆成含\(x+1\)的形式，让两项相乘消去\(x\)，得到定值。

【严谨解题步骤】

1. 凑项变形：\(x>0\)，故\(x+1>0\)，将\(4x\)拆为\(4(x+1)-4\)，原式变为：
   \[4x + \frac{9}{x+1} = 4(x+1) + \frac{9}{x+1} - 4 \]

2. 应用基本不等式：\(4(x+1)\)和\(\frac{9}{x+1}\)均为正数，乘积\(4(x+1) \cdot \frac{9}{x+1}=36\)（定值），满足积定和最小：
   \[4(x+1) + \frac{9}{x+1} \geq 2\sqrt{4(x+1) \cdot \frac{9}{x+1}} = 12 \]

3. 求最小值：代入原式得\(4x + \frac{9}{x+1} \geq 12 - 4 = 8\)。
4. 验证等号：当且仅当\(4(x+1) = \frac{9}{x+1}\)时等号成立，解得\(x=\frac{1}{2}\)，满足\(x>0\)，等号可取。

结论：当\(x=\frac{1}{2}\)时，\(4x + \frac{9}{x+1}\)的最小值为8。

【易错提醒】

不可直接对\(4x\)和\(\frac{9}{x+1}\)用基本不等式，此时乘积\(\frac{36x}{x+1}\)不是定值，无法求出最小值，必须先凑定值。

---

（2）若\(x,y>0\)，且\(\frac{1}{x} + \frac{9}{y}=1\)，求\(x+y\)的最小值

这是高中经典题型，我们讲解两种核心解法，重点掌握1的代换法（通用万能解法）。

方法一：消元法

【核心思路】

双变量消为单变量，再凑定值用基本不等式求解。

【解题步骤】

1. 由\(\frac{1}{x} + \frac{9}{y}=1\)，解出\(y=\frac{9x}{x-1}\)，由\(y>0,x>0\)得\(x>1\)；
2. 代入\(x+y\)得：\(x+y = x + \frac{9x}{x-1}\)；
3. 凑项变形：\(\frac{9x}{x-1}=9 + \frac{9}{x-1}\)，因此原式变为：
   \[x+y = (x-1) + \frac{9}{x-1} + 10 \]

4. 应用基本不等式：\((x-1) + \frac{9}{x-1} \geq 2\sqrt{(x-1) \cdot \frac{9}{x-1}}=6\)，得\(x+y \geq 16\)；
5. 验证等号：解得\(x=4\)，代入得\(y=12\)，满足\(x,y>0\)，等号可取。

---

方法二：1的代换法（推荐）

【核心思路】

已知\(\frac{1}{x} + \frac{9}{y}=1\)，将\(x+y\)乘上这个1，式子值不变，展开后即可凑出乘积定值的两项，直接用基本不等式。

【解题步骤】

1. 乘1代换：
   \[x+y = (x+y) \times 1 = (x+y)\left( \frac{1}{x} + \frac{9}{y} \right) \]

2. 展开括号：
   \[(x+y)\left( \frac{1}{x} + \frac{9}{y} \right) = 10 + \frac{9x}{y} + \frac{y}{x} \]

3. 应用基本不等式：\(\frac{9x}{y}\)和\(\frac{y}{x}\)均为正数，乘积为9（定值），因此：
   \[\frac{9x}{y} + \frac{y}{x} \geq 2\sqrt{\frac{9x}{y} \cdot \frac{y}{x}} = 6 \]

4. 求最小值：代入得\(x+y \geq 10+6=16\)。
5. 验证等号：当且仅当\(\frac{9x}{y}=\frac{y}{x}\)，即\(y=3x\)，结合条件解得\(x=4,y=12\)，等号可取。

结论：当\(x=4,y=12\)时，\(x+y\)的最小值为16。

---

（3）若\(a>0,b>0\)，且\(a^2 + \frac{b^2}{2}=1\)，求\(a\sqrt{1+b^2}\)的最大值

【核心思路】

要求乘积的最大值，需凑和为定值。已知\(a^2 + \frac{b^2}{2}=1\)是定值，通过配系数，把待求式凑出含\(a^2\)和\(\frac{b^2}{2}\)的和，用和定积最大求解。

【严谨解题步骤】

1. 配系数凑定值：将待求式变形，匹配已知定值：
   \[a\sqrt{1+b^2} = \sqrt{2} \cdot a \cdot \sqrt{\frac{1+b^2}{2}} \]

2. 应用基本不等式：对正数\(a\)和\(\sqrt{\frac{1+b^2}{2}}\)，用\(ab \leq \frac{a^2 + b^2}{2}\)得：
   \[a \cdot \sqrt{\frac{1+b^2}{2}} \leq \frac{a^2 + \left( \sqrt{\frac{1+b^2}{2}} \right)^2}{2} \]

3. 化简代入定值：
   右侧平方项化简为\(\frac{1+b^2}{2}\)，因此右侧变为：
   \[\frac{a^2 + \frac{b^2}{2} + \frac{1}{2}}{2} \]
   代入\(a^2 + \frac{b^2}{2}=1\)，得右侧\(=\frac{1+\frac{1}{2}}{2}=\frac{3}{4}\)。
4. 求最大值：代回原式得\(a\sqrt{1+b^2} \leq \sqrt{2} \times \frac{3}{4} = \frac{3\sqrt{2}}{4}\)。
5. 验证等号：当且仅当\(a = \sqrt{\frac{1+b^2}{2}}\)，结合已知条件解得\(a=\frac{\sqrt{3}}{2},b=\frac{\sqrt{2}}{2}\)，满足\(a,b>0\)，等号可取。

结论：当\(a=\frac{\sqrt{3}}{2},b=\frac{\sqrt{2}}{2}\)时，\(a\sqrt{1+b^2}\)的最大值为\(\frac{3\sqrt{2}}{4}\)。

---

【核心方法总结与避坑指南】

1. 求最值核心技巧汇总

题型场景	核心方法	关键操作
积为定值，求和的最小值	积定和最小	直接套用\(a+b \geq 2\sqrt{ab}\)，凑乘积定值
和为定值，求积的最大值	和定积最大	直接套用\(ab \leq \left( \frac{a+b}{2} \right)^2\)，凑和定值
无直接定值，求和的最小值	凑项法	拆分项、配系数，让两项相乘消去变量，得到定值
已知和为1，求另一个和的最小值	1的代换法	待求式乘1，展开后凑乘积定值的两项
已知和为定值，求乘积的最大值	配系数法	调整系数，凑出和为已知定值的两项，再用不等式

2. 高频易错点避坑指南

1. 忽略“一正”：对负数直接用基本不等式，需先提取负号转化为正数，注意不等号方向改变；
2. 忽略“二定”：未凑定值就用基本不等式，导致无法求出最值，所有应用必须先凑定值；
3. 忽略“三相等”：求出最值后不验证等号能否取到，定义域内无法满足\(a=b\)时，最值无效；
4. 多次用不等式的陷阱：一道题多次用基本不等式时，必须保证所有不等式的等号成立条件能同时满足，否则等号无法取到。

3. 核心记忆口诀

一正二定三相等，定值是核心，凑形是关键，验证等号不能忘。

---

三元平均值不等式（均值不等式）精讲与应用

同学们好，今天我们将二元基本不等式推广到三元情形，系统讲解三元均值不等式的定理、证明、核心应用技巧，结合例题拆解解题逻辑，帮大家彻底掌握多元均值不等式的使用方法。

---

一、三元平均值不等式核心定理

我们先给出两个核心的三元均值不等式，分别对应二元的平方和形式与算术-几何均值形式，所有定理的适用前提均为正数，这是使用的基础。

平均值不等式3（三元立方和形式）

定理内容

如果 \(a,b,c>0\)，那么

\[\boldsymbol{a^3 + b^3 + c^3 \geq 3abc} \]

当且仅当 \(\boldsymbol{a=b=c}\) 时，等号成立。

---

三种严谨证明方法拆解

方法一：因式分解法（最核心、最严谨）

该方法从代数恒等变形出发，结合实数平方非负的公理证明，是理解该不等式的根基。

1. 对目标式作差，进行因式分解：
   首先回忆立方和公式：\(x^3+y^3=(x+y)(x^2-xy+y^2)\)，以及完全立方展开：\((a+b)^3=a^3+3a^2b+3ab^2+b^3\)，因此 \(a^3+b^3=(a+b)^3-3ab(a+b)\)。
   对 \(a^3+b^3+c^3-3abc\) 变形：
   \[\begin{align*} a^3+b^3+c^3-3abc &= (a+b)^3 - 3a^2b - 3ab^2 + c^3 - 3abc \\ &= \left[(a+b)^3 + c^3\right] - 3ab(a+b+c) \\ &= (a+b+c)\left[(a+b)^2 - (a+b)c + c^2\right] - 3ab(a+b+c) \\ &= (a+b+c)\left(a^2 + 2ab + b^2 - ac - bc + c^2 - 3ab\right) \\ &= (a+b+c)\left(a^2 + b^2 + c^2 - ab - bc - ca\right) \end{align*} \]

2. 分析因式的符号：
   • 因为 \(a,b,c>0\)，所以 \(a+b+c>0\)；
   • 我们之前已证明：\(a^2 + b^2 + c^2 - ab - bc - ca = \frac{1}{2}\left[(a-b)^2 + (b-c)^2 + (c-a)^2\right] \geq 0\)，当且仅当 \(a=b=c\) 时等号成立。
3. 综上，两个因式相乘非负，即 \(a^3+b^3+c^3-3abc \geq 0\)，因此 \(a^3 + b^3 + c^3 \geq 3abc\)，当且仅当 \(a=b=c\) 时等号成立。

---

方法二：二元基本不等式递推法

该方法用已学的二元均值不等式推导，帮大家建立知识间的联系。

1. 先证明引理：对 \(a,b>0\)，有 \(a^3 + b^3 \geq ab(a+b)\)。
   证明：由立方和公式，\(a^3+b^3=(a+b)(a^2-ab+b^2)\)。
   由二元均值不等式 \(a^2+b^2 \geq 2ab\)，得 \(a^2 - ab + b^2 \geq 2ab - ab = ab\)。
   又 \(a+b>0\)，不等式两侧同乘正数 \(a+b\)，不等号方向不变，因此：
   \[(a+b)(a^2-ab+b^2) \geq ab(a+b) \]
   即 \(a^3 + b^3 \geq ab(a+b)\)，当且仅当 \(a=b\) 时等号成立。
2. 同理可得另外两个不等式：
   \(a^3 + c^3 \geq ac(a+c)\)，\(b^3 + c^3 \geq bc(b+c)\)。
3. 三个不等式同向相加，左侧为 \(2(a^3+b^3+c^3)\)，右侧展开分组：
   \[\begin{align*} 2(a^3+b^3+c^3) &\geq a^2b + ab^2 + a^2c + ac^2 + b^2c + bc^2 \\ &= (a^2b + bc^2) + (ab^2 + ac^2) + (a^2c + b^2c) \end{align*} \]

4. 对每组再次用二元均值不等式：
   例如 \(a^2b + bc^2 = b(a^2+c^2) \geq b\cdot 2ac = 2abc\)，同理另外两组均 \(\geq 2abc\)，因此右侧整体 \(\geq 6abc\)。
5. 最终得 \(2(a^3+b^3+c^3) \geq 6abc\)，两侧除以2，得 \(a^3+b^3+c^3 \geq 3abc\)，当且仅当 \(a=b=c\) 时等号成立。

---

方法三：多次二元均值不等式法

该方法拓展解题思路，理解多次用不等式时等号条件的一致性。

1. 对正数 \(a^3,b^3,c^3,abc\) 分组用二元均值不等式：
   \[a^3 + b^3 \geq 2\sqrt{a^3b^3} = 2ab\sqrt{ab}, \quad c^3 + abc \geq 2\sqrt{c^3 \cdot abc} = 2c^2\sqrt{ab} \]

2. 两个不等式同向相加：
   \[a^3+b^3+c^3+abc \geq 2\sqrt{ab}(ab + c^2) \]

3. 对 \(ab + c^2\) 再次用二元均值不等式：\(ab + c^2 \geq 2\sqrt{ab \cdot c^2} = 2c\sqrt{ab}\)，代入得：
   \[a^3+b^3+c^3+abc \geq 2\sqrt{ab} \cdot 2c\sqrt{ab} = 4abc \]

4. 移项得 \(a^3+b^3+c^3 \geq 3abc\)，当且仅当 \(a^3=b^3\)、\(c^3=abc\)、\(ab=c^2\) 同时成立，即 \(a=b=c\) 时等号成立。

---

平均值不等式4（三元算术-几何均值不等式，三元AM-GM）

定理内容

如果 \(a,b,c>0\)，那么

\[\boldsymbol{\frac{a+b+c}{3} \geq \sqrt[3]{abc}} \]

当且仅当 \(\boldsymbol{a=b=c}\) 时，等号成立。

• 算术平均数：\(\frac{a+b+c}{3}\) 是正数 \(a,b,c\) 的算术平均数；
• 几何平均数：\(\sqrt[3]{abc}\) 是正数 \(a,b,c\) 的几何平均数；
• 文字表述：三个正数的算术平均数不小于它们的几何平均数。

---

严谨证明

该定理可直接由平均值不等式3换元推导，逻辑简洁清晰。

1. 因为 \(a,b,c>0\)，令 \(x=\sqrt[3]{a}\)，\(y=\sqrt[3]{b}\)，\(z=\sqrt[3]{c}\)，则 \(a=x^3\)，\(b=y^3\)，\(c=z^3\)，且 \(x,y,z>0\)。
2. 代入平均值不等式3 \(x^3+y^3+z^3 \geq 3xyz\)，得：
   \[a + b + c \geq 3\sqrt[3]{a} \cdot \sqrt[3]{b} \cdot \sqrt[3]{c} = 3\sqrt[3]{abc} \]

3. 不等式两侧同时除以正数3，不等号方向不变，得：
   \[\frac{a+b+c}{3} \geq \sqrt[3]{abc} \]

4. 等号成立条件：当且仅当 \(x=y=z\)，即 \(\sqrt[3]{a}=\sqrt[3]{b}=\sqrt[3]{c}\)，也就是 \(a=b=c\) 时等号成立。

---

核心最值推论（和定积最大、积定和最小）

和二元均值不等式一致，三元均值不等式的核心用途是求最值，对应两个核心推论，使用前提仍为一正、二定、三相等：

1. 积定和最小：若 \(abc=P\)（\(P>0\)，定值），则 \(a+b+c \geq 3\sqrt[3]{P}\)，当且仅当 \(a=b=c\) 时，\(a+b+c\) 取得最小值 \(3\sqrt[3]{P}\)；
2. 和定积最大：若 \(a+b+c=S\)（\(S>0\)，定值），则 \(abc \leq \left( \frac{S}{3} \right)^3\)，当且仅当 \(a=b=c\) 时，\(abc\) 取得最大值 \(\frac{S^3}{27}\)。

---

二、经典例题精讲

我们结合3道典型例题，拆解三元均值不等式的解题技巧，核心难点是凑项、配系数，人为构造定值。

---

例6 已知 \(a,b,c>0\)，求证：\((a+b+c)\left( \frac{1}{a} + \frac{1}{b} + \frac{1}{c} \right) \geq 9\)

【解题核心思路】

分别对两个括号用三元均值不等式，利用乘积消去变量得到定值，也可展开后用二元均值不等式证明。

【方法一：三元均值不等式法（推荐）】

1. 由三元均值不等式，对正数 \(a,b,c\)：
   \[a+b+c \geq 3\sqrt[3]{abc} > 0 \]

2. 对正数 \(\frac{1}{a},\frac{1}{b},\frac{1}{c}\)，同理得：
   \[\frac{1}{a} + \frac{1}{b} + \frac{1}{c} \geq 3\sqrt[3]{\frac{1}{abc}} > 0 \]

3. 两个同向正不等式相乘，不等号方向不变：
   \[(a+b+c)\left( \frac{1}{a} + \frac{1}{b} + \frac{1}{c} \right) \geq 3\sqrt[3]{abc} \cdot 3\sqrt[3]{\frac{1}{abc}} = 9 \]

4. 等号成立条件：当且仅当 \(a=b=c\) 且 \(\frac{1}{a}=\frac{1}{b}=\frac{1}{c}\)，即 \(a=b=c\) 时等号成立。

【方法二：展开法（二元均值不等式）】

1. 将括号展开：
   \[(a+b+c)\left( \frac{1}{a} + \frac{1}{b} + \frac{1}{c} \right) = 3 + \left( \frac{a}{b} + \frac{b}{a} \right) + \left( \frac{a}{c} + \frac{c}{a} \right) + \left( \frac{b}{c} + \frac{c}{b} \right) \]

2. 由二元均值不等式，每组均满足 \(\frac{x}{y} + \frac{y}{x} \geq 2\)，因此三组之和 \(\geq 6\)，代入得：
   \[(a+b+c)\left( \frac{1}{a} + \frac{1}{b} + \frac{1}{c} \right) \geq 3 + 6 = 9 \]
   当且仅当 \(a=b=c\) 时等号成立。

---

例7 已知 \(a>b>0\)，求证：\(a + \frac{1}{(a-b)b} \geq 3\)

【解题核心思路】

本题核心是凑项构造定值：将 \(a\) 拆分为 \((a-b)+b\)，得到三个乘积为定值的正数，用三元均值不等式求解。

【严谨解题步骤】

1. 分析正负性：\(a>b>0\)，因此 \(a-b>0\)，\(b>0\)，故 \(\frac{1}{(a-b)b}>0\)，满足“一正”前提。
2. 拆项凑定值：将 \(a\) 变形为 \((a-b)+b\)，原式变为三个正数之和：
   \[a + \frac{1}{(a-b)b} = (a-b) + b + \frac{1}{(a-b)b} \]

3. 应用三元均值不等式：三个正数的乘积 \((a-b) \cdot b \cdot \frac{1}{(a-b)b}=1\)（定值），满足“积定和最小”：
   \[(a-b) + b + \frac{1}{(a-b)b} \geq 3\sqrt[3]{(a-b) \cdot b \cdot \frac{1}{(a-b)b}} = 3\sqrt[3]{1} = 3 \]

4. 验证等号：当且仅当 \(a-b = b = \frac{1}{(a-b)b}\)，解得 \(b=1\)，\(a=2\)，满足 \(a>b>0\)，等号可取。

综上，\(a + \frac{1}{(a-b)b} \geq 3\)，得证。

---

例8 实际应用：无盖盒子的容积最大值问题

题干：边长为1米的正方形硬纸板，四个角各剪去一个小正方形，折成无盖盒子。要使盒子容积最大，剪去的小正方形边长应为多少？

【解题核心思路】

先建立容积的函数模型，再通过配系数构造和为定值，用三元均值不等式的“和定积最大”求最大值。

【严谨解题步骤】

1. 建立数学模型：
   设剪去的小正方形边长为 \(x\) 米，折成的盒子高为 \(x\) 米，底面正方形边长为 \((1-2x)\) 米，因此盒子容积：
   \[V = x(1-2x)^2 \]
   定义域：\(0 < x < \frac{1}{2}\)（保证底面边长为正）。
2. 配系数构造定值：
   观察式子，\(V\) 是三个正数 \(x\)、\((1-2x)\)、\((1-2x)\) 的乘积，直接相加和为 \(x+(1-2x)+(1-2x)=2-3x\)，不是定值，因此需要配系数：
   要让和为定值，需让 \(x\) 的系数抵消，设配系数后为 \(kx\)，则 \(kx + (1-2x) + (1-2x)\) 的 \(x\) 系数为 \(k-4=0\)，即 \(k=4\)。因此将 \(V\) 变形为：
   \[V = \frac{1}{4} \cdot 4x(1-2x)(1-2x) \]
   此时三个正数 \(4x\)、\(1-2x\)、\(1-2x\) 的和为 \(4x + (1-2x) + (1-2x) = 2\)（定值），满足“和定积最大”。
3. 应用三元均值不等式求最大值：
   由和定积最大推论，\(abc \leq \left( \frac{a+b+c}{3} \right)^3\)，因此：
   \[4x(1-2x)(1-2x) \leq \left( \frac{4x + 1-2x + 1-2x}{3} \right)^3 = \left( \frac{2}{3} \right)^3 = \frac{8}{27} \]
   代入容积公式得：
   \[V \leq \frac{1}{4} \times \frac{8}{27} = \frac{2}{27} \]

4. 验证等号：
   当且仅当 \(4x = 1-2x\)，即 \(x=\frac{1}{6}\) 时等号成立，满足 \(0 < x < \frac{1}{2}\)，符合定义域要求。

结论：当剪去的小正方形边长为 \(\frac{1}{6}\) 米时，盒子容积最大，最大容积为 \(\frac{2}{27}\) 立方米。

---

三、知识点总结与核心准则

1. 二元与三元均值不等式对比表

类型	二元均值不等式	三元均值不等式
核心公式	\(\frac{a+b}{2} \geq \sqrt{ab} \ (a,b>0)\)	\(\frac{a+b+c}{3} \geq \sqrt[3]{abc} \ (a,b,c>0)\)
立方和形式	\(a^2+b^2 \geq 2ab \ (a,b \in \mathbb{R})\)	\(a^3+b^3+c^3 \geq 3abc \ (a,b,c>0)\)
等号成立条件	当且仅当 \(a=b\)	当且仅当 \(a=b=c\)
积定和最小	\(a+b \geq 2\sqrt{ab}\)	\(a+b+c \geq 3\sqrt[3]{abc}\)
和定积最大	\(ab \leq \left( \frac{a+b}{2} \right)^2\)	\(abc \leq \left( \frac{a+b+c}{3} \right)^3\)

2. 多元均值不等式核心使用准则

使用三元（及多元）均值不等式求最值，必须严格遵守一正、二定、三相等，三者缺一不可：

1. 一正：所有变量必须为正数，负数需先转化为正数再使用；
2. 二定：必须通过凑项、配系数，构造出和为定值（求积最大值）或积为定值（求和最小值）；
3. 三相等：必须验证等号成立的条件（所有变量相等）能在定义域内取到，取不到则最值无效。

3. 核心解题技巧

• 求和最小值：优先凑乘积为定值，对应“积定和最小”；
• 求积最大值：优先凑和为定值，对应“和定积最大”；
• 单变量最值问题：通过拆项、配系数，将式子拆为多个项，保证项的和/积为定值，再用均值不等式求解。

---

绝对值三角不等式 深度精讲

同学们好，今天我们学习基本不等式的另一重要分支——绝对值三角不等式，它是实数绝对值运算的核心规则，在向量、复数、不等式证明、函数最值求解中都有广泛应用，其几何意义对应三角形三边关系，也是高中数学的高频考点。

---

一、核心定理

定理（绝对值三角不等式）

如果\(a、b\)是任意实数，那么

\[\boldsymbol{||a| - |b|| \leq |a + b| \leq |a| + |b|} \]

• 右侧不等式（上界）等号成立条件：当且仅当\(\boldsymbol{ab \geq 0}\)（\(a、b\)同号，或至少一个为0）；
• 左侧不等式（下界）等号成立条件：当且仅当\(\boldsymbol{ab \leq 0}\)（\(a、b\)异号，或至少一个为0）。

---

二、严谨分步证明

我们将不等式拆分为右侧上界和左侧下界两部分分别证明，每一步都标注逻辑依据，确保无跳步、好理解。

---

第一部分：证明右侧不等式 \(\boldsymbol{|a+b| \leq |a| + |b|}\)

这是三角不等式的核心，也叫“三角不等式的上界”，我们提供两种证明方法，分别对应代数等价变形和绝对值定义。

方法一：平方法（等价变形法）

核心逻辑：对于非负实数，平方后不等号方向不变，因此绝对值不等式可转化为平方后的整式不等式证明。

1. 前提铺垫：对任意实数\(x\)，\(|x| \geq 0\)，且\(|x|^2 = x^2\)。
   不等式两侧\(|a+b|\)和\(|a|+|b|\)均为非负实数，因此\(|a+b| \leq |a|+|b|\) 与 \((a+b)^2 \leq (|a|+|b|)^2\) 是等价命题（证明后者即可证明前者）。
2. 展开不等式两侧：
   左侧：\((a+b)^2 = a^2 + 2ab + b^2\)
   右侧：\((|a|+|b|)^2 = |a|^2 + 2|a||b| + |b|^2\)
   由绝对值性质\(|a|^2=a^2\)、\(|b|^2=b^2\)、\(|a||b|=|ab|\)，右侧可化简为\(a^2 + 2|ab| + b^2\)。
3. 等价化简不等式：
   原不等式等价于：
   \[a^2 + 2ab + b^2 \leq a^2 + 2|ab| + b^2 \]
   两侧同时减去\(a^2+b^2\)，进一步等价于：
   \[2ab \leq 2|ab| \implies ab \leq |ab| \]

4. 结论：根据绝对值的定义，对任意实数\(x\)，都有\(x \leq |x|\)恒成立（\(x\geq0\)时等号成立，\(x<0\)时\(x<|x|\)），因此\(ab \leq |ab|\)是恒真命题。
   又因为所有推导步骤均可逆，因此原不等式\(|a+b| \leq |a| + |b|\)成立。

方法二：绝对值定义法

核心逻辑：利用绝对值的核心性质\(-|x| \leq x \leq |x|\)，通过同向不等式相加直接证明。

1. 绝对值核心性质：对任意实数\(a\)，恒有\(-|a| \leq a \leq |a|\)；对任意实数\(b\)，恒有\(-|b| \leq b \leq |b|\)。
2. 同向不等式相加：将两个不等式左右分别相加，得：
   \[-(|a|+|b|) \leq a+b \leq |a|+|b| \]

3. 转化为绝对值形式：根据绝对值的定义，\(|x| \leq M\)（\(M\geq0\)）等价于\(-M \leq x \leq M\)，因此上式直接等价于：
   \[|a+b| \leq |a| + |b| \]

右侧等号成立条件详解

等号成立当且仅当推导过程中的等号同时成立，即\(ab=|ab|\)，其充要条件为\(ab\geq0\)，也就是：

• \(a、b\)同为正数，或同为负数；
• \(a、b\)中至少有一个为0。

---

第二部分：证明左侧不等式 \(\boldsymbol{||a| - |b|| \leq |a+b|}\)

核心逻辑：利用已经证明的右侧不等式，通过换元变形推导下界，避免重复证明。

1. 换元变形：将\(a\)拆分为\((a+b) + (-b)\)，对该式应用已证的右侧三角不等式\(|x+y| \leq |x|+|y|\)，令\(x=a+b\)，\(y=-b\)，得：
   \[|a| = |(a+b) + (-b)| \leq |a+b| + |-b| \]
   由\(|-b|=|b|\)，化简得：
   \[|a| \leq |a+b| + |b| \]
   移项后得到：\(|a| - |b| \leq |a+b|\) ——（1）
2. 对称推导：同理，将\(b\)拆分为\((a+b) + (-a)\)，再次应用三角不等式，得：
   \[|b| = |(a+b) + (-a)| \leq |a+b| + |a| \]
   移项后得到：\(|b| - |a| \leq |a+b|\)，即\(-(|a| - |b|) \leq |a+b|\) ——（2）
3. 合并结论：\(||a| - |b||\)的含义是\(|a|\)与\(|b|\)的差的绝对值，等价于\(\max\{ |a|-|b|,\ -(|a|-|b|) \}\)。
   结合（1）和（2），两个值都小于等于\(|a+b|\)，因此：
   \[||a| - |b|| \leq |a+b| \]

左侧等号成立条件详解

等号成立当且仅当推导过程中的等号成立，即\((a+b)\cdot(-b) \geq 0\)，化简得\(-ab -b^2 \geq 0\)，即\(ab \leq -b^2\)。
因为\(b^2\geq0\)，因此该式成立的充要条件为\(ab\leq0\)，也就是：

• \(a、b\)一正一负（异号）；
• \(a、b\)中至少有一个为0。

---

三、几何意义（为什么叫“三角不等式”）

这个不等式的名称来源于它完美对应了三角形的三边关系，我们从两个维度解释，帮助理解和记忆。

1. 平面向量中的几何意义（核心）

把\(a、b\)看作平面中的两个向量\(\vec{a}、\vec{b}\)，\(\vec{a}+\vec{b}\)是两个向量的和向量：

• 当\(\vec{a}、\vec{b}\)不共线时，\(\vec{a}、\vec{b}、\vec{a}+\vec{b}\)恰好构成三角形的三条边；
• 右侧不等式\(|\vec{a}+\vec{b}| \leq |\vec{a}| + |\vec{b}|\)：对应三角形两边之和大于第三边；
• 左侧不等式\(||\vec{a}| - |\vec{b}|| \leq |\vec{a}+\vec{b}|\)：对应三角形两边之差小于第三边；
• 等号成立：当且仅当两个向量共线（三角形退化为一条线段），同向时右侧等号成立，反向时左侧等号成立。

2. 数轴上的几何意义

把\(a、b\)看作数轴上的两个点，对应到原点的距离分别为\(|a|、|b|\)：

• \(|a+b|\)是\(a+b\)这个点到原点的距离；
• 右侧不等式：两个点在原点同侧（\(ab\geq0\)）时，和的距离等于两个距离的和；在原点两侧时，和的距离小于两个距离的和；
• 左侧不等式：两个点在原点两侧（\(ab\leq0\)）时，和的距离等于两个距离的差的绝对值；在原点同侧时，和的距离大于这个差值。

---

四、核心推论

推论1：差的绝对值三角不等式

如果\(a、b\)是实数，那么

\[\boldsymbol{||a| - |b|| \leq |a - b| \leq |a| + |b|} \]

• 右侧等号成立条件：当且仅当\(\boldsymbol{ab \leq 0}\)（\(a、b\)异号，或至少一个为0）；
• 左侧等号成立条件：当且仅当\(\boldsymbol{ab \geq 0}\)（\(a、b\)同号，或至少一个为0）。

证明

将原定理中的\(b\)替换为\(-b\)（\(b\)为任意实数，\(-b\)也为任意实数），代入原定理得：

\[||a| - |-b|| \leq |a + (-b)| \leq |a| + |-b| \]

由\(|-b|=|b|\)，直接化简得到差的三角不等式，等号条件同步替换即可。

这个推论是求绝对值函数最值的核心工具，例如求\(|x-1|+|x+2|\)的最小值，可直接用该不等式快速求解。

---

推论2：n元绝对值三角不等式（推广）

如果\(a_1,a_2,\dots,a_n\)都是实数，那么

\[\boldsymbol{|a_1 + a_2 + \dots + a_n| \leq |a_1| + |a_2| + \dots + |a_n|} \]

等号成立条件：当且仅当\(a_1,a_2,\dots,a_n\)全部非负，或全部非正（所有数同号，或至少一个为0）。

该推论是二元不等式的推广，可通过数学归纳法证明，核心是多次套用二元三角不等式，逐步累加得到n元结论。

---

五、知识点总结与易错提醒

核心内容汇总表

不等式类型	核心公式	等号成立条件	核心应用场景
和的三角不等式	\(||a| - |b|| \leq |a+b| \leq |a| + |b|\)	右等号：\(ab\geq0\)；左等号：\(ab\leq0\)	不等式证明、和的绝对值范围求解
差的三角不等式	\(||a| - |b|| \leq |a-b| \leq |a| + |b|\)	右等号：\(ab\leq0\)；左等号：\(ab\geq0\)	绝对值函数最值、数轴距离问题
n元推广不等式	\(|\sum_{i=1}^n a_i| \leq \sum_{i=1}^n |a_i|\)	所有\(a_i\)同号（全≥0或全≤0）	多元绝对值放缩、不等式证明

---

高频易错点提醒

1. 与均值不等式的前提区分：三角不等式对任意实数都成立，无需正数前提；而均值不等式要求变量为正数，这是两者最核心的区别。
2. 等号条件混淆：和的不等式右等号是\(ab\geq0\)，差的不等式右等号是\(ab\leq0\)，建议通过换元逻辑记忆，不要死记硬背。
3. 最值求解忽略等号验证：用三角不等式求最值时，必须验证等号能否在定义域内取到，取不到则该最值无效。
4. 放缩过度：多次使用三角不等式时，需保证所有不等式的等号条件能同时满足，否则会出现放缩过度，无法取到最值。

---

绝对值三角不等式 经典例题深度精讲

同学们好，今天我们通过4道核心例题，彻底掌握绝对值三角不等式的四大核心应用场景：多变量不等式证明、线性放缩、函数型不等式证明、恒成立/有解参数求解，每道题都会拆解核心思路、严谨解题步骤、考点与易错点，帮大家建立标准化的解题逻辑。

---

例9 三点形式三角不等式（核心推广）

题干：已知\(a、b、c\)是实数，求证：\(|a-c| \leq |a-b| + |b-c|\)。

【核心解题思路】

这是三角不等式最经典的推广，也叫折线不等式，是处理多变量绝对值问题的核心工具。
核心技巧是凑项拆分：将目标式中的\(a-c\)，拆分为\((a-b)+(b-c)\)，直接套用二元三角不等式\(|x+y| \leq |x|+|y|\)，一步完成证明。

【严谨证明过程】

1. 恒等变形：对任意实数\(a,b,c\)，都有\((a-b)+(b-c) = a-c\)；
2. 套用三角不等式：对\(x=a-b\)，\(y=b-c\)，由\(|x+y| \leq |x|+|y|\)，得：
   \[|(a-b)+(b-c)| \leq |a-b| + |b-c| \]

3. 化简得证：将左侧化简为\(|a-c|\)，即：
   \[|a-c| \leq |a-b| + |b-c| \]

【等号成立条件】

当且仅当\((a-b)(b-c) \geq 0\)时，等号成立。
含义：\(b\)落在\(a\)和\(c\)之间（包括与\(a\)或\(c\)重合）。

【几何意义（数轴模型）】

在数轴上，设\(a、b、c\)对应的点分别为\(A、B、C\)：

1. 当点\(B\)在\(A、C\)之间（含端点）时，\(A\)到\(C\)的距离 = \(A\)到\(B\)的距离 + \(B\)到\(C\)的距离，即\(|a-c|=|a-b|+|b-c|\)；
2. 当点\(B\)不在\(A、C\)之间时，\(A\)到\(C\)的距离 < \(A\)到\(B\)的距离 + \(B\)到\(C\)的距离，即\(|a-c|<|a-b|+|b-c|\)。

本质：两点之间线段最短，折线距离≥直线距离，这也是“三角不等式”名称的核心来源。

---

例10 三角不等式的线性放缩应用

题干：已知\(|x-a|<\frac{c}{4}\)，\(|y-b|<\frac{c}{6}\)，求证：\(|(2x+3y)-(2a+3b)|<c\)。

【核心解题思路】

这是不等式放缩的经典题型，核心是拆分目标式，匹配已知条件：
将待证式的绝对值内拆分为含\(x-a\)和\(y-b\)的形式，提取系数后套用三角不等式，再代入已知的范围逐步放缩，最终得到结论。

【严谨证明过程】

1. 恒等拆分：将目标式变形，匹配已知条件：
   \[|(2x+3y)-(2a+3b)| = |(2x-2a)+(3y-3b)| \]

2. 套用三角不等式：由\(|x+y| \leq |x|+|y|\)，得：
   \[|(2x-2a)+(3y-3b)| \leq |2x-2a| + |3y-3b| \]

3. 提取系数：由绝对值性质\(|kx|=|k|\cdot|x|\)，化简得：
   \[|2x-2a| + |3y-3b| = 2|x-a| + 3|y-b| \]

4. 代入已知条件放缩：
   已知\(|x-a|<\frac{c}{4}\)，故\(2|x-a|<2\times\frac{c}{4}=\frac{c}{2}\)；
   已知\(|y-b|<\frac{c}{6}\)，故\(3|y-b|<3\times\frac{c}{6}=\frac{c}{2}\)；
   两式相加得：\(2|x-a| + 3|y-b| < \frac{c}{2} + \frac{c}{2} = c\)。
5. 联立得证：
   \[|(2x+3y)-(2a+3b)| \leq 2|x-a| + 3|y-b| < c \]

【考点与易错提醒】

1. 核心考点：绝对值的数乘性质、三角不等式的放缩、同向不等式的相加；
2. 易错点：放缩时严格保证不等号方向一致，本题是严格小于号，传递后仍为严格小于，不可写为≤；
3. 通用技巧：已知单变量的绝对值范围，证明线性组合的绝对值范围，核心是拆分、提系数、套不等式、代入放缩。

---

例11 函数型绝对值不等式证明

题干：已知\(f(x)=\sqrt{1+x^2}\)，\(a,b \in \mathbb{R}\)，且\(a \neq b\)，求证：\(|f(a)-f(b)| < |a-b|\)。

【核心解题思路】

这是带根号的函数型不等式，核心技巧是分子有理化，将根号差转化为分式，再结合三角不等式和放缩法完成证明，这是处理根式绝对值不等式的通用方法。

【严谨证明过程】

1. 代入函数式，分子有理化：
   \[|f(a)-f(b)| = \left| \sqrt{1+a^2} - \sqrt{1+b^2} \right| \]
   对根式差有理化，分子分母同乘\(\sqrt{1+a^2} + \sqrt{1+b^2}\)（恒为正数，不改变不等号方向）：
   \[\left| \sqrt{1+a^2} - \sqrt{1+b^2} \right| = \left| \frac{(1+a^2)-(1+b^2)}{\sqrt{1+a^2} + \sqrt{1+b^2}} \right| = \frac{|a^2 - b^2|}{\sqrt{1+a^2} + \sqrt{1+b^2}} \]

2. 分子用平方差+三角不等式化简：
   由平方差公式\(a^2-b^2=(a+b)(a-b)\)，结合绝对值性质\(|xy|=|x||y|\)，得：
   \[|a^2 - b^2| = |a+b| \cdot |a-b| \]
   因此原式变为：
   \[|f(a)-f(b)| = \frac{|a+b| \cdot |a-b|}{\sqrt{1+a^2} + \sqrt{1+b^2}} \]

3. 分母放缩，缩小分式值：
   由根式性质，\(\sqrt{1+x^2} > \sqrt{x^2} = |x|\)，对任意实数\(x\)恒成立，因此：
   \[\sqrt{1+a^2} > |a|, \quad \sqrt{1+b^2} > |b| \]
   相加得分母\(\sqrt{1+a^2} + \sqrt{1+b^2} > |a| + |b|\)，因此：
   \[\frac{1}{\sqrt{1+a^2} + \sqrt{1+b^2}} < \frac{1}{|a| + |b|} \]

4. 结合三角不等式完成最终放缩：
   由三角不等式\(|a+b| \leq |a| + |b|\)，代入得：
   \[|f(a)-f(b)| = \frac{|a+b| \cdot |a-b|}{\sqrt{1+a^2} + \sqrt{1+b^2}} < \frac{|a+b| \cdot |a-b|}{|a| + |b|} \leq \frac{(|a| + |b|) \cdot |a-b|}{|a| + |b|} = |a-b| \]

5. 综上得证：\(|f(a)-f(b)| < |a-b|\)。

【考点与易错提醒】

1. 核心考点：根式有理化、平方差公式、三角不等式、分式放缩；
2. 易错点：
   • 有理化时符号不能出错，绝对值要包裹整个分式；
   • 放缩时严格保证不等号方向：分母放大，分式值缩小，因此用<；
   • 题目给出\(a \neq b\)，因此全程无等号，最终结论为严格小于。

---

例12 绝对值不等式的恒成立/有解问题（高频考点）

题干：已知关于\(x\)的不等式\(|x-3| - |x+1| \leq a\)，分别求解以下问题：
(1) 不等式对任意实数\(x\)恒成立，求\(a\)的取值范围；
(2) 不等式的解集不是空集（有解），求\(a\)的取值范围；
(3) 不等式的解集是\(\mathbb{R}\)的非空真子集，求\(a\)的取值范围。

【核心解题思路】

这类问题的核心逻辑是：先求左侧绝对值函数的最值，再将“恒成立/有解”转化为参数与最值的大小关系。
第一步先用三角不等式求出\(y=|x-3| - |x+1|\)的最大值和最小值，再分情况讨论。

【严谨解题步骤】

步骤1：求函数\(y=|x-3| - |x+1|\)的最值

由三角不等式的下界公式\(||m| - |n|| \leq |m-n|\)，令\(m=x-3\)，\(n=x+1\)，得：

\[||x-3| - |x+1|| \leq |(x-3)-(x+1)| = |-4| = 4 \]

去掉外层绝对值得：\(-4 \leq |x-3| - |x+1| \leq 4\)。
因此：

• 函数最大值\(y_{\text{max}}=4\)，当且仅当\(x \leq -1\)时取到；
• 函数最小值\(y_{\text{min}}=-4\)，当且仅当\(x \geq 3\)时取到。

---

(1) 不等式对任意实数\(x\)恒成立

核心逻辑：不等式\(y \leq a\)对所有\(x\)恒成立，等价于\(a\)要大于等于\(y\)的最大值（保证\(a\)比\(y\)的所有可能取值都大）。
由\(y_{\text{max}}=4\)，得\(a \geq 4\)。

---

(2) 不等式的解集不是空集（有解）

核心逻辑：不等式\(y \leq a\)有解，等价于\(a\)要大于等于\(y\)的最小值（只要\(a\)比\(y\)的最小值大，就一定存在\(x\)让不等式成立）。
由\(y_{\text{min}}=-4\)，得\(a \geq -4\)。

---

(3) 不等式的解集是\(\mathbb{R}\)的非空真子集

核心逻辑：解集是非空真子集，即“不等式有解，但不是对所有\(x\)恒成立”，等价于\(a\)大于等于最小值，且小于最大值。
结合前两问的结论，得\(-4 \leq a < 4\)。

【考点与易错提醒】

1. 核心考点：三角不等式求绝对值函数的最值、恒成立与有解问题的逻辑转化；
2. 高频易错点：
   • 恒成立与有解的逻辑搞反：恒成立是\(a \geq y_{\text{max}}\)，有解是\(a \geq y_{\text{min}}\)，务必区分；
   • 等号能否取到：恒成立时\(a=4\)，不等式对所有\(x\)成立，可取等；有解时\(a=-4\)，存在\(x \geq3\)让不等式成立，可取等；
   • 补充方法：除了三角不等式，也可用零点分段法，令\(x-3=0\)和\(x+1=0\)，分\(x \leq-1\)、\(-1<x<3\)、\(x \geq3\)三段去绝对值，求每段的函数范围，最终得到最值，适合基础薄弱的同学验证结果。

---

【解题方法总结】

题型场景	核心解题方法	关键技巧
多变量绝对值不等式证明	凑项拆分法	将目标式拆分为两个式子的和，直接套用三角不等式
线性放缩类不等式证明	拆分匹配法	拆分目标式匹配已知条件，提系数后套不等式放缩
根式/函数型绝对值不等式	有理化+放缩法	对根式差有理化，结合三角不等式对分子分母分别放缩
恒成立/有解参数问题	最值转化法	先求绝对值函数的最值，再将问题转化为参数与最值的大小关系