高中数学 · METHOD 35
35
/ 72

柯西不等式

高中数学思想方法导引

方法定义

柯西不等式是数学中一个历史悠久、形式优美、结构对称且具有较强应用性的重要不等式。其标准形式为:设 x1,x2,,xnx_1, x_2, \dots, x_ny1,y2,,yny_1, y_2, \dots, y_n 均是实数,则 (x1y1+x2y2++xnyn)2(x12+x22++xn2)(y12+y22++yn2)(x_1y_1+x_2y_2+\dots+x_n y_n)^2 \le (x_1^2+x_2^2+\dots+x_n^2)(y_1^2+y_2^2+\dots+y_n^2),当且仅当 xi=λyix_i=\lambda y_ii=1,2,,ni=1,2,\dots,n)时取等号。它是证明命题、研究最值问题的强有力的工具。

核心思想

柯西不等式的核心在于**“结构匹配”与“拆分构造”**。它常常作为重要的基础去架设已知条件与结论间的桥梁。通过观察代数式的结构特征,发掘“内隐定值”(如变量的平方和为常数),人为地将目标式拆分、拼凑成柯西不等式所需要的两组数列的内积形式。一旦配凑成功,原本复杂的交叉项或无理式就能通过平方和的运算转化为常数,从而快速得出极值。

适用题型

该方法广泛涉及函数、导数、数列、不等式、解析几何、三角、向量等诸多模块。特别适用于:带有系数的无理函数求最值问题、多元变量的一次式和与平方和的互化求解问题、解析几何中涉及交叉相乘的面积与距离极值问题。

识别信号

  1. 和与平方和的转化特征:题目已知几个变量的平方和为常数,求其一次项线性组合的最值;或已知一次项之和,求平方和的极值。
  2. 无理根式的线性组合:目标函数呈现形如 af(x)+bg(x)a\sqrt{f(x)} + b\sqrt{g(x)} 的形式,且敏锐发现 f(x)+g(x)f(x)+g(x) 或其常数倍等于一个定值。
  3. 解析几何中的交叉乘积:如利用行列式或坐标求三角形面积时出现 x1y2x2y1|x_1y_2 - x_2y_1|,且点 A,BA,B 满足某个圆或椭圆方程(暗示坐标的平方和等于定值)。

标准解题步骤

  1. 审视结构,发掘定值:仔细观察已知条件和待求目标式,寻找潜在的“平方和为常数”或能够相互抵消的代数结构(即“内隐定值”)。
  2. 拆分构造,凑配序列:将目标式巧妙拆分并匹配成柯西不等式左侧的乘积和结构。如将 axa\sqrt{x} 拆分为常数数列 aa 和根式数列 x\sqrt{x}
  3. 套用公式,实施放缩:运用柯西不等式将乘积和的平方放大为两组数列各自平方和的乘积,代入内隐定值求出边界。
  4. 严格检验取等条件:根据柯西不等式取等号的条件(即对应项成比例 xi=λyix_i = \lambda y_i)建立方程,解出此时的变量值,检验其是否在定义域或隐含的约束范围内。

一个简短示例

题目:求函数 y=5x1+102xy=5\sqrt{x-1}+\sqrt{10-2x} 的最大值。

解答: 观察根式内部,发现 (x1)2+(5x)2=x1+5x=4(\sqrt{x-1})^2 + (\sqrt{5-x})^2 = x-1+5-x = 4 为定值。

将原函数提取系数化为:y=5x1+25xy=5\sqrt{x-1}+\sqrt{2}\sqrt{5-x}

利用柯西不等式进行放缩:

y2=(5x1+25x)2[52+(2)2][(x1)2+(5x)2]y^2 = (5\sqrt{x-1}+\sqrt{2}\sqrt{5-x})^2 \le [5^2+(\sqrt{2})^2][(\sqrt{x-1})^2+(\sqrt{5-x})^2]

y2(25+2)(x1+5x)=27×4=108y^2 \le (25+2)(x-1+5-x) = 27 \times 4 = 108

又因为 y>0y>0,所以 y108=63y \le \sqrt{108} = 6\sqrt{3}

当且仅当 x15=5x2\frac{\sqrt{x-1}}{5} = \frac{\sqrt{5-x}}{\sqrt{2}},即 2x1=55x\sqrt{2}\sqrt{x-1} = 5\sqrt{5-x} 时, 两边平方得 2(x1)=25(5x)2(x-1)=25(5-x),解得 x=12727x=\frac{127}{27},此时取到等号。

所以函数的最大值为 636\sqrt{3}

常见误区

  1. 系数拆分错误或定值配凑失败:在提取公因数或拆分根号时(如把 102x\sqrt{10-2x} 直接当作一个整体而找不到与其他根式的联系,或者提取系数时发生计算错误),导致配凑出的两项平方和根本不是常数,放缩失去意义。
  2. 忽视等号成立条件(只算不管):拼凑出柯西不等式并算出最值边界后,不去解 xi=λyix_i = \lambda y_i 的比例方程,或者解出来的自变量根本不在原函数的定义域内,导致得出了无法取到的“伪最值”。
  3. 滥用柯西导致放缩过大:对于一些非对称或不具有定值和属性的代数式强行使用柯西不等式,导致放缩出的边界远大于实际的最大值。
END · OF · METHOD