不等式 02 齐次式不等式

陈一男学习网站[ ChenYinan.com ] - 中国数学学会 - 中国院士 - GeoGebra - 数学基础

在不等式研究中，齐次式不等式是一类具有特殊结构的不等式，其核心特征是式子中各项的“次数”（或“齐次度”）保持一致。这种结构特性使得它在不等式证明、化简和求解中具有独特的优势，是不等式领域的重要研究对象。

一、齐次式的定义与核心特征

1. 齐次式的基本定义

对于一个含有多个变量（如\(x, y, z\)等）的代数式，如果将每个变量同时乘以一个非零常数\(k\)后，整个式子的值变为原来的\(k^n\)倍（\(n\)为常数），则称该式为n次齐次式。

例1：\(x^2 + y^2 + z^2\)是二次齐次式。  

验证：将\(x, y, z\)换成\(kx, ky, kz\)，得\((kx)^2 + (ky)^2 + (kz)^2 = k^2(x^2 + y^2 + z^2)\)，即变为原式的\(k^2\)倍，故次数为2。

例2：\(\frac{x}{y} + \frac{y}{z} + \frac{z}{x}\)是0次齐次式。  

验证：变量乘以\(k\)后，\(\frac{kx}{ky} + \frac{ky}{kz} + \frac{kz}{kx} = \frac{x}{y} + \frac{y}{z} + \frac{z}{x}\)，即变为原式的\(k^0\)倍（值不变）。

2. 齐次式不等式的核心特征

若一个不等式的左边和右边（或经过移项后所有项移到一边）构成一个齐次式，则称其为齐次式不等式。  

例：\(x^2 + y^2 \geq xy\)是二次齐次不等式（左边两项为二次，右边\(xy\)也为二次）；  

非齐次例：\(x + y \geq 1\)（左边为一次，右边为0次，次数不一致，非齐次）。

二、齐次化：将非齐次不等式转化为齐次式

许多非齐次不等式可以通过齐次化处理转化为齐次式不等式，从而简化证明。核心思路是利用变量间的“约束条件”补充次数，常见约束如：

若\(x + y + z = 1\)（或其他常数），可将常数视为“\(x + y + z\)”的1次式，通过乘方补充次数；

若\(xyz = 1\)，可将1视为“\(xyz\)”的1次式，同理补充次数。

示例：将非齐次不等式齐次化

已知\(x, y > 0\)且\(x + y = 1\)，证明：\(x^2 + y^2 \geq \frac{1}{2}\)。  

非齐次分析：左边\(x^2 + y^2\)是二次，右边\(\frac{1}{2}\)是0次，非齐次；  

齐次化：利用\(1 = x + y\)，将右边的\(\frac{1}{2}\)改写为\(\frac{(x + y)^2}{2}\)（二次式），不等式变为：  \(x^2 + y^2 \geq \frac{(x + y)^2}{2}\)  

此时两边均为二次齐次式，化简后等价于\(x^2 + y^2 \geq 2xy\)（即\((x - y)^2 \geq 0\)），显然成立。

三、齐次式不等式的证明方法

齐次式不等式的证明可利用其“次数一致性”简化变量范围，常见方法如下：

1. 固定变量的“总次数”，减少变量个数

由于齐次性，可通过设定变量的“总约束”（如令\(x + y + z = 1\)或\(xyz = 1\)）来减少变量自由度，而不改变不等式的本质（因齐次式的值与变量缩放无关）。  

例：对于二次齐次不等式\(x^2 + y^2 \geq xy\)，可令\(x + y = 1\)（或\(y = 1\)，固定一个变量），转化为单变量问题证明。

2. 利用均值不等式（AM-GM不等式）

均值不等式本身就是齐次式不等式（如\(a + b \geq 2\sqrt{ab}\)，两边均为1次），因此适合处理齐次式。  

例：证明\(x^3 + y^3 + z^3 \geq 3xyz\)（三次齐次不等式）。  

利用AM-GM：\(\frac{x^3 + y^3 + z^3}{3} \geq \sqrt[3]{x^3y^3z^3} = xyz\)，两边乘3即得证。

3. 变量替换：转化为比值形式

对于0次齐次不等式（如分式不等式），可令变量比值为新变量（如\(t = \frac{x}{y}\)），减少变量个数。  

例：证明\(\frac{x}{y} + \frac{y}{x} \geq 2\)（0次齐次不等式）。  

令\(t = \frac{x}{y} > 0\)，不等式变为\(t + \frac{1}{t} \geq 2\)，由均值不等式显然成立。

4. 排序不等式、柯西不等式等

齐次式不等式常可结合其他不等式工具，如柯西不等式（\((a^2 + b^2)(c^2 + d^2) \geq (ac + bd)^2\)，两边均为4次齐次）、排序不等式（适用于对称齐次式）等。

四、齐次式不等式的常见类型与应用

1. 对称齐次不等式：变量交换后式子不变（如\(x^2 + y^2 + z^2 \geq xy + yz + zx\)），对称性可简化证明；  

2. 分式齐次不等式：如\(\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq x + y + z\)（各项均为1次齐次）；  

3. 高次齐次不等式：如\(x^4 + y^4 + z^4 \geq x^2y^2 + y^2z^2 + z^2x^2\)（四次齐次）。

齐次式不等式的核心是“次数一致性”，这一特性使其可以通过齐次化处理简化问题，结合变量替换、均值不等式等工具高效证明。掌握齐次式的结构与转化方法，是解决不等式问题的重要技巧，尤其在竞赛数学和高等数学中应用广泛。

五、例题与解析

例1（基础）：证明对任意实数\(x, y\)，\(x^2 + y^2 \geq 2xy\)  

齐次性：两边均为二次齐次式。  

证明：移项得\(x^2 - 2xy + y^2 = (x - y)^2 \geq 0\)，显然成立。  

例2（基础）：已知\(a, b > 0\)，证明\(\frac{a}{b} + \frac{b}{a} \geq 2\)  

齐次性：0次齐次式（分子分母次数抵消）。  

证明：令\(t = \frac{a}{b} > 0\)，不等式化为\(t + \frac{1}{t} \geq 2\)，由均值不等式\(t + \frac{1}{t} \geq 2\sqrt{t \cdot \frac{1}{t}} = 2\)。  

例3（中等）：已知\(x, y, z > 0\)，证明\(x^3 + y^3 + z^3 \geq 3xyz\)  

齐次性：三次齐次式。  

证明：利用均值不等式（AM-GM）：  

\(\frac{x^3 + y^3 + z^3}{3} \geq \sqrt[3]{x^3y^3z^3} = xyz\)  

两边乘3即得证。  

例4（中等）：已知\(a, b > 0\)且\(a + b = 1\)，证明\(\left(a + \frac{1}{a}\right)^2 + \left(b + \frac{1}{b}\right)^2 \geq \frac{25}{2}\)  

非齐次转齐次：利用\(1 = a + b\)，将式子齐次化：  

\(\left(a + \frac{(a + b)^2}{a}\right)^2 + \left(b + \frac{(a + b)^2}{b}\right)^2 \geq \frac{25}{2}(a + b)^2\)  

证明：展开左边并化简，结合均值不等式可得左边最小值为\(\frac{25}{2}\)。  

例5（中等）：证明对任意正实数\(x, y\)，\(\frac{x^2}{y} + \frac{y^2}{x} \geq x + y\)  

齐次性：1次齐次式（分子次数2，分母1，整体1次）。  

证明：移项得\(\frac{x^2}{y} - x + \frac{y^2}{x} - y = \frac{(x - y)^2(x + y)}{xy} \geq 0\)（因分子分母均非负）。  

例6（较难）：已知\(a, b, c > 0\)，证明\(\frac{a^2}{b + c} + \frac{b^2}{c + a} + \frac{c^2}{a + b} \geq \frac{a + b + c}{2}\)  

齐次性：1次齐次式（分子2次，分母1次，整体1次）。  

证明：利用柯西不等式（或Titu引理）：  

\(\sum \frac{a^2}{b + c} \geq \frac{(a + b + c)^2}{2(a + b + c)} = \frac{a + b + c}{2}\)  

例7（较难）：证明对任意正实数\(x, y, z\)，\(x^4 + y^4 + z^4 \geq xyz(x + y + z)\)  

齐次性：4次齐次式（左边每项4次，右边\(xyz(x + y + z)\)为4次）。  

证明：由均值不等式，\(x^4 + y^4 + z^4 \geq x^2y^2 + y^2z^2 + z^2x^2\)，再进一步利用\(x^2y^2 + y^2z^2 \geq 2xy^2z\)，累加后得证。  

例8（较难）：已知\(a, b, c > 0\)且\(abc = 1\)，证明\(\frac{1}{a^3(b + c)} + \frac{1}{b^3(c + a)} + \frac{1}{c^3(a + b)} \geq \frac{3}{2}\)  

齐次化：由\(abc = 1\)，设\(a = \frac{x}{y}, b = \frac{y}{z}, c = \frac{z}{x}\)（0次齐次替换），不等式化为：  

\(\frac{y^2z^2}{x^2(xz + yx)} + \cdots \geq \frac{3}{2}\)  

证明：结合均值不等式和柯西不等式，化简后可得左边最小值为\(\frac{3}{2}\)。  

例9（难题）：证明对任意正实数\(a, b, c\)，\(\frac{a^3}{b^2 + bc + c^2} + \frac{b^3}{a^2 + ac + c^2} + \frac{c^3}{a^2 + ab + b^2} \geq \frac{a + b + c}{3}\)  

齐次性：1次齐次式。  

证明：利用幂平均不等式，先证明\(\frac{a^3}{b^2 + bc + c^2} \geq \frac{a^4}{a(b^2 + bc + c^2)}\)，再通过齐次化和累加化简。  

例10（竞赛级）：已知\(x, y, z \geq 0\)，证明\(x^3 + y^3 + z^3 + 3xyz \geq xy(x + y) + yz(y + z) + zx(z + x)\)  

齐次性：3次齐次式。  

证明：移项后因式分解为\((x + y - z)(y + z - x)(z + x - y) \geq 0\)，由三角形不等式的非负性得证。  

总结：齐次式不等式的解题关键在于：  

1. 识别齐次性，利用变量缩放（如设\(x + y + z = 1\)）简化问题；  

2. 结合均值不等式、柯西不等式等工具，通过因式分解或变量替换转化形式；  

3. 非齐次不等式可通过约束条件（如\(abc = 1\)）齐次化后求解。  

掌握这些技巧，可高效解决从基础到竞赛难度的齐次式不等式问题。

数学基础 : 小学数学、初中数学、高中数学、高等数学