不等式选讲深入——柯西不等式与排序不等式的妙用
从快递员配送路线的最优性引入排序思想,结合向量点积的几何意义讲解柯西不等式。系统梳理两种重要不等式的基本形式、证明方法及典型应用,通过3道由易到难的例题突破复杂不等式的证明与最值求解,帮助高三学生掌握不等式放缩的核心技巧。
1. 概念导入:从“最优分配”说起
假如你是一位快递员,每天要从配送站出发,给A、B、C三个小区送快件。每个小区所需的行驶时间不同(例如A需要20分钟,B需要30分钟,C需要50分钟),而你有三个不同速度的快递车(慢车、中车、快车),每个车在一个小区花费的时间也不同。怎么安排车子才能让总耗时最小?或者总耗时最大?
这个问题背后隐藏着排序不等式的思想:两个数组同序(大的配大的)乘积之和最大,反序(大的配小的)乘积之和最小。类似地,在求解含两个变量乘积的和的最值问题时,柯西不等式往往能一锤定音。这两个不等式是高考不等式选讲中最重要的工具,也是解决难题的“杀手锏”。
2. 核心讲解
2.1 柯西不等式(Cauchy-Schwarz Inequality)
二维形式:对任意实数 $a_1,a_2,b_1,b_2$,有
$$(a_1^2+a_2^2)(b_1^2+b_2^2) \ge (a_1b_1+a_2b_2)^2$$等号成立当且仅当 $\frac{a_1}{b_1}=\frac{a_2}{b_2}$(若分母为零则理解为分子也为零)。
一般形式:对任意实数 $a_i,b_i$($i=1,\dots,n$),有
$$\left(\sum_{i=1}^{n}a_i^2\right)\left(\sum_{i=1}^{n}b_i^2\right) \ge \left(\sum_{i=1}^{n}a_ib_i\right)^2$$等号成立当且仅当 $a_i$ 与 $b_i$ 对应成比例。
2.2 排序不等式(Rearrangement Inequality)
设有两个递增数列:$a_1 \le a_2 \le \dots \le a_n$,$b_1 \le b_2 \le \dots \le b_n$。 $c_1,c_2,\dots,c_n$ 是 $b_1,\dots,b_n$ 的任意一个排列。则
$$\sum_{i=1}^{n} a_i b_{n-i+1} \le \sum_{i=1}^{n} a_i c_i \le \sum_{i=1}^{n} a_i b_i$$
等号成立当且仅当至少一个数列中所有数相等,或者排序相同(同序时取最大,反序时取最小)。
3. 推导/过程
3.1 柯西不等式的向量证明(二维)
设向量 $\vec{u} = (a_1,a_2)$,$\vec{v} = (b_1,b_2)$,则
$$\vec{u}\cdot\vec{v} = |\vec{u}||\vec{v}|\cos\theta \le |\vec{u}||\vec{v}|$$两边平方即得 $(\vec{u}\cdot\vec{v})^2 \le |\vec{u}|^2|\vec{v}|^2$,展开就是柯西不等式。几何意义:向量点积的绝对值不超过模长的乘积,当且仅当向量共线时取等。
3.2 排序不等式的证明思路(以三个数为例)
设 $a_1\le a_2\le a_3$,$b_1\le b_2\le b_3$。对于任意排列 $c_i$,我们通过逐步调整法证明:若存在相邻逆序,交换后和会增大或减小。例如,对比 $a_1b_1 + a_2b_2$ 与 $a_1b_2 + a_2b_1$:
$$(a_1b_1+a_2b_2) - (a_1b_2+a_2b_1) = (a_1-a_2)(b_1-b_2) \ge 0$$因此同序和 ≥ 反序和。反复运用此差比较,即可推广到 $n$ 项。
4. 典型例题
例题1(基础):已知 $x,y \in \mathbb{R}$,求 $(x^2+4)(y^2+9)$ 的最小值,并求此时 $x,y$ 的值。
思路:直接使用柯西不等式的二维形式,凑出 $(x\cdot y + 2\cdot 3)^2 = (xy+6)^2$,但题目要求的是乘积的最小值,不是平方。实际上,注意 $(x^2+4)(y^2+9) \ge (x\cdot y + 2\cdot 3)^2 = (xy+6)^2$,当且仅当 $\frac{x}{y} = \frac{2}{3}$ 时取等。但 $(xy+6)^2$ 的最小值在 $xy=-6$ 时取得0,但此时能否同时满足 $\frac{x}{y} = \frac{2}{3}$?令 $x=2k, y=3k$,则 $xy=6k^2=-6$ 无实数解。因此该方法不是求原式最小值的最佳途径。
正确解法:利用均值不等式或柯西不等式的另一种形式。实际上,$(x^2+4)(y^2+9) = x^2y^2 + 9x^2 + 4y^2 + 36 \ge 2\sqrt{9x^2\cdot4y^2} + 36 = 12|xy| + 36 \ge 36$,当 $x=y=0$ 时取最小值36。因此最小值为36,此时 $x=0,y=0$。
易错点:直接套用柯西不等式求最值时要确保等号能取到,否则需另寻方法。
例题2(中等):设 $a,b,c>0$,且 $a+b+c=1$,证明:$\frac{1}{a} + \frac{1}{b} + \frac{1}{c} \ge 9$。
思路:利用柯西不等式:$(a+b+c)\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right) \ge (1+1+1)^2 = 9$,而 $a+b+c=1$,所以得证。等号成立当 $a=b=c=\frac{1}{3}$。
也可以使用均值不等式,但柯西更直接。
例题3(困难):已知 $a,b,c$ 是正实数,且 $a^2+b^2+c^2=3$,求 $M = \frac{a}{b+2} + \frac{b}{c+2} + \frac{c}{a+2}$ 的最小值。
思路:这类分式结构通常考虑使用柯西不等式(权方和形式)或排序不等式。我们使用柯西不等式的变形:
$$\frac{a}{b+2} = \frac{a^2}{a(b+2)}$$求和后凑出分母形式:
$$\sum \frac{a^2}{a(b+2)} \ge \frac{(a+b+c)^2}{\sum a(b+2)} = \frac{(a+b+c)^2}{ab+bc+ca + 2(a+b+c)}$$由 $a^2+b^2+c^2=3$,易得 $a+b+c \le 3$(均值),$ab+bc+ca \le 3$,代入分母得:
$$M \ge \frac{(a+b+c)^2}{ab+bc+ca + 2(a+b+c)} \ge \frac{(a+b+c)^2}{3 + 2(a+b+c)}$$令 $t = a+b+c$,则 $0
注:此类问题常用放缩技巧和柯西不等式结合,是竞赛常见题。
5. 常见误区
- 等号条件遗忘:使用柯西或排序不等式后,必须验证等号能否成立,否则得出的最值可能无法达到。
- 排序顺序:使用排序不等式前,必须先确认数列是单调的(递增或递减),并明确是同序还是反序。
- 放缩方向错误:在证明不等式时,经常需要放大或缩小分母、分子,错误的方向会导致证明失效。
- 忽略正负:柯西不等式对实数都成立,但若分母有负号,直接套用可能出错。
6. 学习建议
- 记牢核心公式:柯西不等式的二维和一般形式、排序不等式的反序和同序关系。
- 多练凑配:不等式证明的本质是“凑”出已知形式,多做经典题有助于培养感觉。
- 数形结合:将柯西不等式与向量点积、三角形边长等几何意义联系起来,加深理解。
- 归纳模型:注意常见题型结构,如“分式和”常用权方和形式,“积和”常用排序或柯西。
7. 知识链接
- 与向量:柯西不等式的向量形式是 $|\vec{u}\cdot\vec{v}| \le |\vec{u}||\vec{v}|$,是三角不等式的基础。
- 与数列:排序不等式常用于数列求和不等式的证明,如切比雪夫不等式。
- 与函数最值:利用柯西不等式可以快速求解一些多元函数的最值,如 $y = \sqrt{x^2+9} + \sqrt{(10-x)^2+16}$ 的最小值。
- 与三角:柯西不等式可以推导出正弦、余弦的平方和公式及三角形中的正弦定理、余弦定理的应用。
8. 习题自测
- 已知 $x,y \in \mathbb{R}$,求 $\frac{1}{x^2} + \frac{1}{y^2}$ 的最小值,其中 $x+y=1$,$x,y>0$。
- 设 $a,b,c>0$,证明:$\frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b} \ge \frac{3}{2}$。
- 已知 $a_1,a_2,\dots,a_n >0$,且 $\sum_{i=1}^n a_i = S$,求 $\sum_{i=1}^n \frac{1}{a_i}$ 的最小值(用 $n,S$ 表示)。
答案:
- 由柯西:$(x+y)\left(\frac{1}{x^2}+\frac{1}{y^2}\right) \ge (1+1)^2 = 4$,但 $"\frac{1}{x^2}+\frac{1}{y^2}"$ 应直接用均值或柯西的另一种形式。正确做法:$\frac{1}{x^2}+\frac{1}{y^2} \ge \frac{2}{xy} \ge \frac{2}{(\frac{x+y}{2})^2} = 8$,当 $x=y=\frac{1}{2}$ 取等。答案:8。
- 经典不等式,使用柯西或排序。提示:$\sum \frac{a}{b+c} \ge \frac{(a+b+c)^2}{2(ab+bc+ca)} \ge \frac{3}{2}$ 等价于 $a^2+b^2+c^2 \ge ab+bc+ca$,成立。
- 由柯西:$(\sum a_i)(\sum \frac{1}{a_i}) \ge n^2$,所以 $\sum \frac{1}{a_i} \ge \frac{n^2}{S}$,等号当 $a_i = \frac{S}{n}$ 时取得。