不等式选讲:绝对值不等式与柯西不等式的高效解法
从生活实例出发,系统讲解绝对值不等式的几何解法与代数解法,以及柯西不等式的应用。结合数轴图与函数图像,帮助直观理解,突破难点。
1. 概念导入:从满减优惠到不等式比较
假设网上购物有满减规则:满 100 减 20,满 200 减 50。你购物车里商品原价总和为 x 元,实际支付金额为 f(x)。
满减后:
- 如果 x < 100,f(x) = x(不变);
- 如果 100 ≤ x < 200,f(x) = x – 20;
- 如果 x ≥ 200,f(x) = x – 50。
你希望实际支付 f(x) 不超过 150 元。那么原价 x 应满足哪种范围?这便是分段不等式问题。
这类“不同区间对应不同规则”的模型,正是绝对值不等式和分段函数的原型。下面我们系统学习不等式选讲中最重要的两类:绝对值不等式和柯西不等式。
2. 核心讲解
绝对值不等式
三角不等式:对于任意实数 a, b,有
- |a + b| ≤ |a| + |b|
- |a – b| ≥ ||a| – |b||
绝对值方程与不等式的解法:
- |ax + b| ≤ c (c > 0)⇔ –c ≤ ax + b ≤ c
- |ax + b| ≥ c (c > 0)⇔ ax + b ≤ –c 或 ax + b ≥ c
- 多个绝对值之和(如 |x – a| + |x – b| ≥ c)可用数形结合或零点分段法。
柯西不等式
二维柯西不等式: (a12 + a22)(b12 + b22) ≥ (a1b1 + a2b2)2,等号成立当且仅当 a1/b1 = a2/b2。
三维及一般形式: Σai2 · Σbi2 ≥ (Σaibi)2。
几何意义:两组向量点积的绝对值不超过模长之积。
3. 推导/过程
绝对值不等式 |x – 1| + |x – 3| ≥ 4 的解法
方法一:几何意义
在数轴上,|x – 1| + |x – 3| 表示点 x 到点 1 和点 3 的距离之和。这个和的最小值出现在 x ∈ [1, 3] 区间内,最小值为 2。要使其 ≥ 4,则 x ≤ 0 或 x ≥ 4(如下图)。
方法二:零点分段法
令 x – 1 = 0, x – 3 = 0,得零点 x = 1, 3。将数轴分为三段:
- x ≤ 1:原式变为 -(x-1) – (x-3) = 4 – 2x ≥ 4 → x ≤ 0
- 1 < x ≤ 3:原式变为 (x-1) – (x-3) = 2 ≥ 4,无解
- x > 3:原式变为 (x-1) + (x-3) = 2x – 4 ≥ 4 → x ≥ 4
综上,解集为 {x | x ≤ 0 或 x ≥ 4}。
柯西不等式的构造证明(二维)
要证明 (a2 + b2)(c2 + d2) ≥ (ac + bd)2,可考虑差值:
(a2 + b2)(c2 + d2) – (ac + bd)2
= a2c2 + a2d2 + b2c2 + b2d2 – (a2c2 + 2abcd + b2d2)
= a2d2 + b2c2 – 2abcd = (ad – bc)2 ≥ 0
故原不等式成立,等号当且仅当 ad = bc,即 a/c = b/d。
4. 图形辅助
绝对值不等式常可通过函数图像直观理解。例如,y = |x – 1| + |x – 3| 的图像是折线,与直线 y = 4 的交点即为边界。
5. 典型例题
思路: 直接利用绝对值的性质去掉绝对值,化为 –3 ≤ 2x – 1 ≤ 3。
易错点:忘记同时乘除时变号?这里乘除正数不变号。
也可以画数轴验证:x 到 0.5 的距离 ≤ 1.5,即 x ∈ [–1, 2]。
思路: 利用柯西不等式的三维形式。(12+12+12)(a2+b2+c2) ≥ (a+b+c)2。
等号当且仅当 a = b = c = √3 /3 时取到。
注意:不能直接用 a+b+c ≤ √(3(a2+b2+c2)),这是经典结论。
思路: 用零点分段法或几何意义。数轴上点 x 到 2 和 –1 的距离之和≥5。最小值在区间 [–1, 2] 内,为 3。故解为 x 在区间左侧或右侧。
x ≤ –1:–(x–2) – (x+1) = 1 – 2x ≥ 5 ⇒ x ≤ –2;
–1 < x ≤ 2:–(x–2) + (x+1) = 3 ≥ 5,无解;
x > 2:(x–2) + (x+1) = 2x – 1 ≥ 5 ⇒ x ≥ 3。
解集:{x | x ≤ –2 或 x ≥ 3}。
数轴表示(略):在 –2 左侧和 3 右侧涂色,边界为实心点。
易错点:分段时忘记改变中间项的符号。
6. 常见误区
- 绝对值不等式去绝对值时忘记考虑正负:例如 |x + 1| ≥ 2 错误写成 –2 ≤ x + 1 ≤ 2,正确应为 x + 1 ≤ –2 或 x + 1 ≥ 2。
- 柯西不等式取等条件记错:二维中 a/d = b/c?正确是 a/c = b/d,或者对应成比例。
- 多个绝对值和的最小值:误以为最小值出现在端点,实际在中间区间内为常数,例如 |x–1|+|x–3| 在 [1,3] 上恒为 2。
- 应用柯西不等式时不配平方:如证 a + b + c ≤ √3 时,遗忘平方后开方要加正负号,但利用不等式直接得平方关系再开方注意非负。
7. 学习建议
- 理解绝对值的几何意义(数轴上的距离)比纯代数计算更直观,建议多做数轴图。
- 柯西不等式常与向量、三角函数等结合,记忆“内积≤模长乘积”可以帮助取等条件。
- 遇到多个绝对值时,先找零点,画数轴,分段讨论,最后取并集。
- 练习由易到难,先解简单 |ax + b| ≤ c,再解 |x – a| + |x – b| ≥ c,最后解决含参数的分类讨论。
8. 知识链接
绝对值不等式与 绝对值函数、分段函数 紧密相关;柯西不等式与 向量点积、三角函数(如 acosθ + bsinθ 最值)、二次函数最值 均有联系。学好不等式的证明对后续 导数应用 中证明不等式也有帮助。
9. 习题自测
- 解不等式 |3x + 2| ≤ 4。
- 已知 x, y > 0,且 x + y = 1,求 (x + 1/x)(y + 1/y) 的最小值。(提示:展开使用柯西不等式基本不等式)
- 解不等式 |x – 1| + |x – 5| < 6,并画出数轴示意图。
答案
- –4 ≤ 3x + 2 ≤ 4 ⇒ –6 ≤ 3x ≤ 2 ⇒ –2 ≤ x ≤ 2/3。
- 展开得 xy + 1/(xy) + (x/y + y/x)。由基本不等式,xy ≤ 1/4,1/(xy) ≥ 4;由柯西或均值,x/y + y/x ≥ 2。整体最小值为 4 + 2 + (xy + 1/(xy) – (x/y + y/x)? 更规范解法:直接使用柯西不等式 (x + 1/x)(y + 1/y) ≥ (√(xy) + 1/√(xy))^2,令 t = √(xy) ≤ 1/2,函数 f(t) = (t + 1/t)^2 在 (0, 1/2] 上递减,最小值为 (1/2 + 2)^2 = 25/4。故最小值为 25/4。
- 零点 x=1,5。分段:x≤1:–(x-1)–(x-5)=6–2x<6 ⇒ x>0,得 0
5:2x–6<6 ⇒ x<6,得 5