三元均值不等式的形式
对于非负实数 \(a, b, c\)，三元均值不等式表示为：
\[
\frac{a+b+c}{3} \geq \sqrt[3]{abc}
\]
等号成立当且仅当 \(a = b = c\)。
证明方法：求差法
我们将两边作差，构造一个函数并分析其性质。
第一步：构造差值
令 \(A = \frac{a+b+c}{3}\) 和 \(G = \sqrt[3]{abc}\)，则差值为：
\[
D = A - G = \frac{a+b+c}{3} - \sqrt[3]{abc}
\]
我们需要证明 \(D \geq 0\)，即 \(A \geq G\)。
第二步：引入变量替换
为了简化分析，设 \(x = \frac{a}{G}\)，\(y = \frac{b}{G}\)，\(z = \frac{c}{G}\)，其中 \(x, y, z > 0\) 且 \(xyz = 1\)（因为 \(G^3 = abc\)）。
于是 \(A\) 和 \(G\) 可以重写为：
\[
A = \frac{xG + yG + zG}{3} = G \cdot \frac{x+y+z}{3}, \quad G = G
\]
因此差值变为：
\[
D = G \left( \frac{x+y+z}{3} - 1 \right)
\]
由于 \(G > 0\)，只需证明：
\[
\frac{x+y+z}{3} \geq 1
\]
第三步：应用AM-GM不等式
根据算术-几何平均不等式（AM-GM），对于正数 \(x, y, z\)，有：
\[
\frac{x+y+z}{3} \geq \sqrt[3]{xyz}
\]
而由定义 \(xyz = 1\)，所以：
\[
\frac{x+y+z}{3} \geq \sqrt[3]{1} = 1
\]
第四步：结论
由此可知：
\[
\frac{x+y+z}{3} \geq 1
\]
从而：
\[
D = G \left( \frac{x+y+z}{3} - 1 \right) \geq 0
\]
因此，原命题得证：
\[
\frac{a+b+c}{3} \geq \sqrt[3]{abc}
\]
总结
通过求差法和变量替换，结合AM-GM不等式的应用，我们成功证明了三元均值不等式。这种方法不仅直观，还体现了数学中对称性和结构化思维的重要性。
