2.5不等式的证明

不等式的证明 知识点详解与推导证明

各位同学，今天我们系统学习不等式证明的四大核心方法，我会从理论根基、方法逻辑、例题拆解、习题详解四个维度，把每个知识点讲透，最后用表格帮大家归纳总结，方便记忆和应用。

---

一、比较法

1. 核心理论根基

比较法是不等式证明最基础、最常用的方法，它的本质是实数的有序性：
对任意两个实数\(a,b\)，有且仅有以下关系成立：

• \(a > b \iff a-b > 0\)
• \(a < b \iff a-b < 0\)
• \(a = b \iff a-b = 0\)

2. 证明步骤

1. 作差：将不等式左右两边相减，构造差式；
2. 变形：对差式进行恒等变形（核心手段：因式分解、配方、通分、合并同类项），目标是把差式转化为能直接判断正负的形式；
3. 定号：结合已知条件，判断差式的符号（正/负/零）；
4. 定论：根据差式的符号，得出原不等式成立的结论。

3. 例题拆解

例1 求证：对任意\(x,y \in \mathbf{R}\)，都有\(x^2+y^2+xy \geqslant 3(x+y-1)\)

证明思路：整式不等式，作差后通过配方变形为平方和（平方数具有非负性，可直接定号）。
详细推导：
作差构造差式：

\[\begin{align*} x^2+y^2+xy - 3(x+y-1) &= x^2+y^2+xy -3x -3y +3 \end{align*} \]

方法一：双变量配方
通过换元简化变形，令\(u=x-1, v=y-1\)（即\(x=u+1,y=v+1\)），代入差式：

\[\begin{align*} &(u+1)^2 + (v+1)^2 + (u+1)(v+1) -3[(u+1)+(v+1)-1] \\ =& u^2+2u+1 + v^2+2v+1 + uv+u+v+1 -3(u+v+1) \\ =& u^2 + uv + v^2 \end{align*} \]

对\(u^2 + uv + v^2\)配方（拆分交叉项）：

\[u^2 + uv + v^2 = \left(u+\frac{1}{2}v\right)^2 + \frac{3}{4}v^2 \]

因为平方数非负，所以\(\left(u+\frac{1}{2}v\right)^2 + \frac{3}{4}v^2 \geqslant 0\)，当且仅当\(u=0,v=0\)即\(x=1,y=1\)时取等号。
因此差式\(\geqslant 0\)，原不等式成立。

方法二：主元法（降维配方）
把\(x\)当作主元，\(y\)当作参数，对\(x\)进行一元二次式配方：

\[\begin{align*} x^2+y^2+xy -3x -3y +3 &= x^2 + (y-3)x + (y^2-3y+3) \\ &= \left(x+\frac{y-3}{2}\right)^2 + (y^2-3y+3) - \frac{(y-3)^2}{4} \\ &= \left(x+\frac{y-3}{2}\right)^2 + \frac{3}{4}(y-1)^2 \end{align*} \]

平方和非负，差式\(\geqslant 0\)，原不等式成立。

例2 若\(a,b>0,n>1,n\)为正整数，求证：\(a^n + b^n \geqslant a^{n-1}b + ab^{n-1}\)

证明思路：幂次不等式，作差后分组因式分解，结合幂函数单调性分类定号。
详细推导：
作差构造差式：

\[\begin{align*} (a^n + b^n) - (a^{n-1}b + ab^{n-1}) &= a^n - a^{n-1}b + b^n - ab^{n-1} \\ &= a^{n-1}(a-b) - b^{n-1}(a-b) \\ &= (a-b)(a^{n-1} - b^{n-1}) \end{align*} \]

分类定号（幂函数\(y=x^{n-1}\)在\(x>0\)时为增函数）：

1. 若\(a > b > 0\)：\(a-b>0\)，\(a^{n-1}>b^{n-1}\)，故差式\(>0\)；
2. 若\(0 < a < b\)：\(a-b<0\)，\(a^{n-1}<b^{n-1}\)，故差式\(>0\)；
3. 若\(a = b\)：\(a-b=0\)，故差式\(=0\)。

综上，差式\(\geqslant 0\)，原不等式成立，当且仅当\(a=b\)时取等号。

---

二、分析法

1. 核心理论根基

分析法的核心逻辑是执果索因：从要证明的结论出发，逐步寻找使结论成立的充分条件，直到把结论归结为一个明显成立的条件（已知条件、定理、基本不等式等），若所有充分条件都成立，则原结论成立。

2. 核心要求与适用场景

• 核心要求：每一步推导必须可逆（即每一步的条件都是上一步的充分/等价条件），否则会出现逻辑错误；
• 适用场景：不等式结构复杂（带根号、分式、高次幂），从已知条件正向推导难度大的题目。

3. 证明步骤

1. 明确要证明的结论\(Q\)；
2. 书写规范：用“欲证\(Q\)，只需证\(P_1\)，即证\(P_2\)……”的句式，逐步倒推；
3. 最终推导出明显成立的条件\(P_n\)；
4. 说明每一步可逆，得出原结论成立。

4. 例题拆解

例3 设\(x>0,y>0\)，求证：\((x^2+y^2)^{\frac{1}{2}} > (x^3+y^3)^{\frac{1}{3}}\)

证明思路：两边为正数的根式，直接作差难以变形，用分析法乘方去根号，简化不等式。
详细推导：
\(\because x>0,y>0\)，\(\therefore (x^2+y^2)^{\frac{1}{2}}>0\)，\((x^3+y^3)^{\frac{1}{3}}>0\)。

欲证 \((x^2+y^2)^{\frac{1}{2}} > (x^3+y^3)^{\frac{1}{3}}\)，
只需证 两边同时6次方（2和3的最小公倍数，去根号），即 \((x^2+y^2)^3 > (x^3+y^3)^2\)，

展开左右两边：
左边：\((x^2+y^2)^3 = x^6 + 3x^4y^2 + 3x^2y^4 + y^6\)
右边：\((x^3+y^3)^2 = x^6 + 2x^3y^3 + y^6\)

即证 \(x^6 + 3x^4y^2 + 3x^2y^4 + y^6 > x^6 + 2x^3y^3 + y^6\)，
两边消去\(x^6+y^6\)，即证 \(3x^4y^2 + 3x^2y^4 > 2x^3y^3\)，

\(\because x>0,y>0\)，\(\therefore x^2y^2>0\)，两边同时除以\(x^2y^2\)，即证 \(3x^2 + 3y^2 > 2xy\)。

由基本不等式\(x^2+y^2 \geqslant 2xy\)，得：
\(3x^2+3y^2 = 3(x^2+y^2) \geqslant 6xy > 2xy\)，显然成立。

且以上每一步均可逆，因此原不等式成立。

---

三、综合法

1. 核心理论根基

综合法的核心逻辑是由因导果：从已知条件出发，利用定义、公理、定理、基本不等式、不等式的性质，逐步正向推导，最终得出要证明的结论。

• 与分析法的关系：思考时常用分析法找思路，书写证明时常用综合法，保证逻辑严谨。

2. 证明步骤

1. 明确已知条件\(P\)；
2. 从\(P\)出发，结合已有定理，逐步推导中间结论\(P_1,P_2\cdots\)；
3. 最终推导出要证明的结论\(Q\)；
4. 每一步必须有明确的理论依据，不能跳步。

3. 例题拆解

例4 设\(a,b,x,y \in \mathbf{R}\)，且\(a^2+b^2=1,x^2+y^2=1\)，试证：\(|ax+by| \leqslant 1\)

证明思路：已知平方和为1，要证绝对值不等式，先平方去绝对值，再用基本不等式放缩。
详细推导：
要证\(|ax+by| \leqslant 1\)，只需证\((ax+by)^2 \leqslant 1\)。

展开左边：

\[(ax+by)^2 = a^2x^2 + 2abxy + b^2y^2 \]

由基本不等式\(m^2+n^2 \geqslant 2mn\)，令\(m=bx,n=ay\)，得：

\[2abxy \leqslant b^2x^2 + a^2y^2 \]

因此：

\[\begin{align*} (ax+by)^2 &\leqslant a^2x^2 + (b^2x^2 + a^2y^2) + b^2y^2 \\ &= a^2(x^2+y^2) + b^2(x^2+y^2) \\ &= (a^2+b^2)(x^2+y^2) \end{align*} \]

代入已知条件\(a^2+b^2=1,x^2+y^2=1\)，得：

\[(ax+by)^2 \leqslant 1 \times 1 = 1 \]

两边开平方，得\(|ax+by| \leqslant 1\)，原不等式成立。

例5 已知\(\triangle ABC\)的三边长为\(a,b,c\)，且\(s=\frac{a+b+c}{2}\)，求证：\((s-a)(s-b)(s-c) \leqslant \frac{abc}{8}\)

证明思路：三角形半周长\(s-a,s-b,s-c\)均为正数，用基本不等式两两放缩，再同向相乘。
详细推导：
由三角形两边之和大于第三边，得：
\(s-a=\frac{b+c-a}{2}>0\)，\(s-b=\frac{a+c-b}{2}>0\)，\(s-c=\frac{a+b-c}{2}>0\)。

由基本不等式，对正数\(m,n\)，有\(mn \leqslant \left(\frac{m+n}{2}\right)^2\)，得：

1. \((s-a)(s-b) \leqslant \left(\frac{s-a+s-b}{2}\right)^2 = \left(\frac{2s-a-b}{2}\right)^2 = \frac{c^2}{4}\)，当且仅当\(s-a=s-b\)即\(a=b\)时取等号；
2. \((s-b)(s-c) \leqslant \left(\frac{s-b+s-c}{2}\right)^2 = \frac{a^2}{4}\)，当且仅当\(b=c\)时取等号；
3. \((s-c)(s-a) \leqslant \left(\frac{s-c+s-a}{2}\right)^2 = \frac{b^2}{4}\)，当且仅当\(c=a\)时取等号。

三个同向正数不等式相乘，不等号方向不变：

\[[(s-a)(s-b)(s-c)]^2 \leqslant \frac{c^2}{4} \cdot \frac{a^2}{4} \cdot \frac{b^2}{4} = \left(\frac{abc}{8}\right)^2 \]

两边均为非负数，开平方得：

\[(s-a)(s-b)(s-c) \leqslant \frac{abc}{8} \]

当且仅当\(a=b=c\)（等边三角形）时，三个等号同时成立，原不等式成立。

---

四、反证法

1. 核心理论根基

反证法的核心逻辑是正难则反：先假设原命题的结论不成立（即结论的否定成立），从假设出发，结合已知条件、定理进行正确推理，最终导出矛盾，从而说明假设不成立，原命题成立。

2. 适用场景

1. 结论为否定形式的命题（如“不可能”“不存在”“不大于”）；
2. 结论为“至少”“至多”“唯一”形式的命题；
3. 直接证明难度极大，结论的否定更容易推导的命题。

3. 证明步骤

1. 反设：假设原命题的结论不成立，写出结论的否定形式；
2. 归谬：从反设出发，结合已知条件推理，导出矛盾（与已知条件、定理、公理、假设矛盾）；
3. 定论：由矛盾说明反设不成立，原命题成立。

4. 例题拆解

例6 已知\(a,b,c \in (0,1)\)，求证：\((1-a)b,(1-b)c,(1-c)a\)不可能同时大于\(\frac{1}{4}\)

证明思路：结论为“不可能同时大于”，否定形式明确，用反证法导出矛盾。
详细推导：
反设：假设结论不成立，即\((1-a)b,(1-b)c,(1-c)a\)同时大于\(\frac{1}{4}\)，即：

\[(1-a)b > \frac{1}{4},\ (1-b)c > \frac{1}{4},\ (1-c)a > \frac{1}{4} \]

归谬：
\(\because a,b,c \in (0,1)\)，\(\therefore 1-a,1-b,1-c\)均为正数，三个同向不等式相乘得：

\[(1-a)b \cdot (1-b)c \cdot (1-c)a > \frac{1}{4} \times \frac{1}{4} \times \frac{1}{4} = \frac{1}{64} \tag{①} \]

另一方面，对\(a \in (0,1)\)，由基本不等式：

\[0 < (1-a)a \leqslant \left(\frac{1-a+a}{2}\right)^2 = \frac{1}{4} \]

当且仅当\(1-a=a\)即\(a=\frac{1}{2}\)时取等号。

同理：\(0 < (1-b)b \leqslant \frac{1}{4}\)，\(0 < (1-c)c \leqslant \frac{1}{4}\)。

三个同向正数不等式相乘得：

\[(1-a)a \cdot (1-b)b \cdot (1-c)c \leqslant \frac{1}{4} \times \frac{1}{4} \times \frac{1}{4} = \frac{1}{64} \]

即：

\[(1-a)b \cdot (1-b)c \cdot (1-c)a \leqslant \frac{1}{64} \tag{②} \]

①式与②式互相矛盾，说明反设错误。

定论：原命题成立，即\((1-a)b,(1-b)c,(1-c)a\)不可能同时大于\(\frac{1}{4}\)。

---

课后习题 详细证明

习题1 求证：对任意\(x \in \mathbf{R}\)，都有\(x^8 + x^2 + 1 \geqslant x^5 + x\)

证明（比较法+配方）：
作差构造差式：

\[\begin{align*} f(x) &= x^8 + x^2 + 1 - x^5 - x \\ &= \left(x^8 - x^5 + \frac{1}{4}x^2\right) + \left(\frac{3}{4}x^2 - x + 1\right) \\ &= x^2\left(x^3 - \frac{1}{2}\right)^2 + \frac{3}{4}\left(x - \frac{2}{3}\right)^2 + \frac{2}{3} \end{align*} \]

\(\because\) 平方项非负，\(\frac{2}{3}>0\)，\(\therefore f(x) \geqslant \frac{2}{3} > 0\)，即\(x^8 + x^2 + 1 - x^5 - x > 0\)，原不等式成立。

习题2 已知\(a,b,m>0\)，且\(a<b\)，求证：\(\frac{a+m}{b+m} > \frac{a}{b}\)

证明（比较法-作差通分）：
作差，通分（\(b+m>0,b>0\)）：

\[\begin{align*} \frac{a+m}{b+m} - \frac{a}{b} &= \frac{b(a+m) - a(b+m)}{b(b+m)} \\ &= \frac{ab + bm - ab - am}{b(b+m)} \\ &= \frac{m(b-a)}{b(b+m)} \end{align*} \]

\(\because a,b,m>0,a<b\)，\(\therefore b-a>0\)，分子分母均为正数，差式\(>0\)，即\(\frac{a+m}{b+m} > \frac{a}{b}\)，原不等式成立。

习题3 已知\(|a|<1,|b|<1\)，求证：\(\left|\frac{a+b}{1+ab}\right| < 1\)

证明（分析法+平方去绝对值）：
\(\because |a|<1,|b|<1\)，\(\therefore |ab|<1\)，即\(1+ab>0\)，分母为正。

欲证\(\left|\frac{a+b}{1+ab}\right| < 1\)，只需证\(|a+b| < |1+ab|\)，
两边平方（均为非负数），即证\((a+b)^2 < (1+ab)^2\)，
展开得：\(a^2 + 2ab + b^2 < 1 + 2ab + a^2b^2\)，
消去\(2ab\)，即证\(a^2 + b^2 - a^2b^2 - 1 < 0\)，
因式分解得：\((a^2-1)(1-b^2) < 0\)，即\(-(1-a^2)(1-b^2) < 0\)。

\(\because |a|<1,|b|<1\)，\(\therefore 1-a^2>0,1-b^2>0\)，\(\therefore (1-a^2)(1-b^2) > 0\)，显然成立。
且每一步可逆，原不等式成立。

习题4 已知\(a^3 + b^3=2\)，求证：\(a + b \leqslant 2\)

证明（反证法）：
反设：假设\(a+b>2\)。

归谬：
由立方和公式，\(a^3+b^3=(a+b)(a^2-ab+b^2)=2\)，
\(\because a+b>2\)，\(\therefore a^2-ab+b^2 = \frac{2}{a+b} < 1\) ①。

又\(a^2-ab+b^2=(a+b)^2 - 3ab\)，\(\because a+b>2\)，\(\therefore (a+b)^2>4\)，
\(\therefore a^2-ab+b^2 > 4 - 3ab\) ②。

由①②得：\(4-3ab < 1\)，解得\(ab>1\)。

另一方面，由基本不等式\(a^2+b^2 \geqslant 2ab\)，得\(a^2-ab+b^2 \geqslant ab\)，
结合①得\(ab < a^2-ab+b^2 <1\)，即\(ab<1\)，与\(ab>1\)矛盾。

定论：假设不成立，原命题\(a+b \leqslant 2\)成立。

习题5 已知\(a>0,b>0,c>0\)，求证：\(\frac{1}{2a} + \frac{1}{2b} + \frac{1}{2c} \geqslant \frac{1}{b+c} + \frac{1}{c+a} + \frac{1}{a+b}\)

证明（综合法+基本不等式）：
先证核心不等式：对任意正数\(x,y\)，有\(\frac{1}{4x} + \frac{1}{4y} \geqslant \frac{1}{x+y}\)。
作差验证：

\[\frac{1}{4x} + \frac{1}{4y} - \frac{1}{x+y} = \frac{(x+y)^2 - 4xy}{4xy(x+y)} = \frac{(x-y)^2}{4xy(x+y)} \geqslant 0 \]

当且仅当\(x=y\)时取等号，不等式成立。

分别令\(x=b,y=c\)；\(x=c,y=a\)；\(x=a,y=b\)，得三个不等式：

1. \(\frac{1}{4b} + \frac{1}{4c} \geqslant \frac{1}{b+c}\)
2. \(\frac{1}{4c} + \frac{1}{4a} \geqslant \frac{1}{c+a}\)
3. \(\frac{1}{4a} + \frac{1}{4b} \geqslant \frac{1}{a+b}\)

三个不等式左右相加，左边合并得：

\[\frac{2}{4a} + \frac{2}{4b} + \frac{2}{4c} = \frac{1}{2a} + \frac{1}{2b} + \frac{1}{2c} \]

右边为\(\frac{1}{b+c} + \frac{1}{c+a} + \frac{1}{a+b}\)。

因此原不等式成立，当且仅当\(a=b=c\)时取等号。

习题6 求证：对任意实数\(a,b\)，\(|a+b|\)、\(|a-b|\)、\(|1-a|\)中至少有一个不小于\(\frac{1}{2}\)

证明（反证法）：
反设：假设结论不成立，即\(|a+b|\)、\(|a-b|\)、\(|1-a|\)都小于\(\frac{1}{2}\)，即：

\[|a+b| < \frac{1}{2},\ |a-b| < \frac{1}{2},\ |1-a| < \frac{1}{2} \]

归谬：
由绝对值不等式\(|m|+|n| \geqslant |m+n|\)，得：

\[|a+b| + |a-b| \geqslant |(a+b)+(a-b)| = |2a| = 2|a| \]

\(\because |a+b| + |a-b| < \frac{1}{2} + \frac{1}{2} = 1\)，\(\therefore 2|a| < 1\)，即\(|a| < \frac{1}{2}\)，得\(-\frac{1}{2} < a < \frac{1}{2}\) ①。

由\(|1-a| < \frac{1}{2}\)，去绝对值得：\(-\frac{1}{2} < 1-a < \frac{1}{2}\)，解得\(\frac{1}{2} < a < \frac{3}{2}\) ②。

①与②互相矛盾，说明反设错误。

定论：原命题成立，即三个绝对值中至少有一个不小于\(\frac{1}{2}\)。

---

四大证明方法 归纳总结表

证明方法	核心逻辑	理论依据	适用场景	核心步骤	关键技巧	注意事项
比较法	作差定号，以差的正负判断大小	实数的有序性（\(a>b \iff a-b>0\)）	整式、分式、幂次不等式，结构简单易作差变形	作差→变形→定号→定论	配方、因式分解、通分、分组变形	变形的目标是能直接判断符号，不能盲目变形
分析法	执果索因，从结论倒推充分条件	不等式的可逆性、充要条件的传递性	带根号、分式、高次幂的复杂不等式，正向推导无思路	欲证\(Q\)→只需证\(P_1\)→…→证明显然成立的\(P_n\)	乘方去根号、通分去分母、等价转化	每一步必须可逆，否则逻辑不成立
综合法	由因导果，从已知正向推结论	基本不等式、不等式性质、定理公理	已知条件与结论联系明确，或已用分析法找到思路	已知\(P\)→推\(P_1\)→…→推结论\(Q\)	放缩法、公式套用、同向不等式相乘/相加	每一步必须有明确的理论依据，不能随意放缩
反证法	正难则反，否定结论导出矛盾	命题与逆否命题等价，矛盾律	否定形式、“至少/至多/唯一”类命题，直接证明难度极大	反设→归谬→定论	准确写出结论的否定形式，正确推理导出矛盾	反设必须是结论的完整否定，不能遗漏情况