不等式公式定理证明——构建严谨数学思维的基石

【题目】证明：对任意实数 a, b，有 |a + b| ≤ |a| + |b| 【证法一：分类讨论】 若 ab ≥ 0（同号或零） - a,b ≥ 0：|a+b| = a+b = |a|+|b| - a,b ≤ 0：|a+b| = -(a+b) = -a + (-b) = |a|+|b| 若 ab < 0（异号） - 不妨设 |a| ≥ |b| > 0，则 a+b 与 a 同号 |a+b| = |a| - |b| < |a| = |a| + |b| 综上，|a+b| ≤ |a| + |b|，等号当且仅当 ab ≥ 0 【证法二：平方放大法】 (|a+b|)² = a² + 2ab + b² ≤ a² + 2|a||b| + b² = (|a|+|b|)² 开方得 |a+b| ≤ |a|+|b|（因两边非负）

【题目】设 x > -1, x ≠ 0，r > 1 为实数，证明 (1+x)^r > 1 + rx 【证明】构造函数 f(x) = (1+x)^r - 1 - rx 求导：f'(x) = r(1+x)^{r-1} - r = r[(1+x)^{r-1} - 1] - 当 x > 0：(1+x)^{r-1} > 1 ⇒ f'(x) > 0 - 当 -1 < x < 0：(1+x)^{r-1} < 1 ⇒ f'(x) < 0 故 f(x) 在 x=0 处取极小值 f(0)=0 因 x≠0，故 f(x) > 0，即 (1+x)^r > 1 + rx

【题目】设 a,b,c > 0 且 abc=1，证明： a² + b² + c² + 3 ≥ 2(ab + bc + ca) 【证明】 由 abc=1，令 a=x/y, b=y/z, c=z/x（x,y,z>0） 代入得： (x/y)² + (y/z)² + (z/x)² + 3 ≥ 2[(x/y)(y/z) + (y/z)(z/x) + (z/x)(x/y)] 即 x²/y² + y²/z² + z²/x² + 3 ≥ 2(x/z + y/x + z/y) 由 AM-GM：x²/y² + 1 ≥ 2x/y 同理 y²/z² + 1 ≥ 2y/z，z²/x² + 1 ≥ 2z/x 式相加：左边 ≥ 2(x/y + y/z + z/x) 但需证的是 2(x/z + y/x + z/y)，注意变量轮换性 改用 Schur 不等式： 对 r=1，有 a³+b³+c³ + 3abc ≥ ab(a+b) + bc(b+c) + ca(c+a) 结合 a²+b²+c² ≥ ab+bc+ca，可得 (a²+b²+c²) + 3 = (a²+b²+c²) + 3abc ≥ (ab+bc+ca) + 3abc 需证 (ab+bc+ca) + 3abc ≥ 2(ab+bc+ca) 即 3abc ≥ ab+bc+ca，但此式不成立（反例 a=b=c=1） 【正确路径】使用 Lagrange 乘数法或换元法 令 a=x/y, b=y/z, c=z/x，则原不等式等价于： ∑x²/y² + 3 ≥ 2∑x/z 即 ∑(x²/y² - 2x/z + y/z²) ≥ 0 注意到 x²/y² - 2x/z + y/z² = (x/y - y/z)² + y/z² - y²/z² = (x/y - y/z)² + y(z-y)/z² 此式非恒非负，说明需更精细处理 【标准解法】使用 Cauchy-Schwarz： (∑a²)(∑1) ≥ (∑a)² ⇒ a²+b²+c² ≥ (a+b+c)²/3 又由 AM-GM：a+b+c ≥ 3(abc)^{1/3}=3 故 a²+b²+c² ≥ 3 需证 3 + 3 ≥ 2(ab+bc+ca) ⇒ ab+bc+ca ≤ 3 但 abc=1 时 ab+bc+ca ≥ 3(abc)^{2/3}=3（AM-GM） 等号当 a=b=c=1 因此原不等式等价于 a²+b²+c² + 3 ≥ 2(ab+bc+ca) 即 (a²+b²+c² - ab - bc - ca) + (3 - ab - bc - ca) ≥ 0 第一项 = ½[(a-b)²+(b-c)²+(c-a)²] ≥ 0 第二项 = 3 - (ab+bc+ca) ≤ 0（因 ab+bc+ca ≥ 3） 需结合两者：当 a=b=c=1 时取等号 通过构造函数 f(a,b,c)=a²+b²+c²+3-2(ab+bc+ca) 在约束 abc=1 下求最小值 令 g(a,b)=f(a,b,1/(ab)) 计算偏导得极值点 a=b=1 ⇒ c=1 阶导数检验为极小值 f(1,1,1)=0 故不等式成立，等号当且仅当 a=b=c=1

【错误证明】要证 √(a²+b²) ≥ (a+b)/√2 两边平方：a²+b² ≥ (a²+2ab+b²)/2 ⇒ 2a²+2b² ≥ a²+2ab+b² ⇒ a²-2ab+b² ≥ 0 ⇒ (a-b)² ≥ 0（真命题） 故原命题成立！ 【问题】此推导是“结论→真命题”，而非“真命题→结论”。 正确写法应反向： ∵ (a-b)² ≥ 0 ⇒ a²-2ab+b² ≥ 0 ⇒ 2a²+2b² ≥ a²+2ab+b² ⇒ a²+b² ≥ (a+b)²/2 ⇒ √(a²+b²) ≥ |a+b|/√2 ≥ (a+b)/√2 注意绝对值符号不可省！

【错误】证明 a² + 4 ≥ 4a 时写： a² - 4a + 4 = (a-2)² ≥ 0 ⇒ a² + 4 ≥ 4a 但未说明等号当 a=2 时成立。 【危害】在最优化问题中，若忽略等号条件，可能得出错误最优解。 【正确】应明确写出“等号成立当且仅当 a=2”。

【错误】证明 a² + b² + 1 ≥ ab + a + b 错误放缩： a² + b² ≥ 2ab（AM-GM） a² + 1 ≥ 2a b² + 1 ≥ 2b 式相加：2a² + 2b² + 2 ≥ 2ab + 2a + 2b ⇒ a² + b² + 1 ≥ ab + a + b 【问题】看似正确，但实际放缩过程未保持等价性： 当 a=b=0 时，左边=1，右边=0，成立 当 a=b=1 时，左边=3，右边=3，成立 但此证明隐含假设了三个不等式可同时取等号，而 a²+b²=2ab 要求 a=b，a²+1=2a 要求 a=1，b²+1=2b 要求 b=1，故仅在 a=b=1 时等号成立，其他点不等号严格成立。 【正确】直接作差： a² + b² + 1 - ab - a - b = ½[(a-b)² + (a-1)² + (b-1)²] ≥ 0

【错误】证明 x² + 1/x² ≥ 2（x≠0） 用 AM-GM：x² + 1/x² ≥ 2√(x²·1/x²) = 2 【问题】AM-GM 要求所有项非负，此处 x² > 0 成立，但若写成 x + 1/x ≥ 2 就错了（x=-1 时为 -2）。 【正确】对 x² + 1/x²，因 x² > 0，可安全使用 AM-GM； 对 x + 1/x，需分 x>0 和 x<0 讨论： x>0 时 ≥2，x<0 时 ≤-2。