均值不等式求最值：解题技巧与应用示例

均值不等式是一种常用的数学工具，它可以用来求解一些最值问题。均值不等式的公式如下：

对于正实数a1、a2、……、an，有以下不等式成立：

(算术平均数) ≥ (几何平均数) ≥ (调和平均数)

其中，算术平均数、几何平均数和调和平均数分别定义为：

算术平均数：a = (a1+a2+⋯+an)/n

几何平均数：g = (a1×a2×⋯×an)^(1/n)

调和平均数：h = n/(1/a1+1/a2+⋯+1/an)

这个不等式告诉我们，对于任意一组正实数，它们的算术平均数不会小于它们的几何平均数，而几何平均数又不会小于它们的调和平均数。这个结论可以用来求解一些最值问题，例如：

例1：求证在任意正整数的集合中，任意n个数的乘积不小于它们的和的n次方。

证明：

设这n个数为a1、a2、……、an。

根据均值不等式，有：

(a1+a2+⋯+an)/n ≥ (a1×a2×⋯×an)^(1/n) ≥ n/(1/a1+1/a2+⋯+1/an)

将两边分别乘以n，得到：

a1+a2+⋯+an ≥ n(a1×a2×⋯×an)^(1/n) ≥ n^2/(1/a1+1/a2+⋯+1/an)

将等式两边取n次幂，得到：

(a1+a2+⋯+an)^n ≥ n^n(a1×a2×⋯×an) ≥ n^(n+1)/(1/a1+1/a2+⋯+1/an)

即：

(a1+a2+⋯+an)^n ≥ n^n(a1×a2×⋯×an) ≥ n^(n+1)/(1/a1+1/a2+⋯+1/an)

因此，任意n个正整数的乘积不小于它们的和的n次方。

例2：求证对于任意正实数x、y、z，有以下不等式成立：

(x+y+z)^2 ≥ 3(xy+yz+zx)

证明：

将不等式右侧展开，得到：

3(xy+yz+zx) = 3/2[(x+y)^2+(y+z)^2+(z+x)^2]-3/2(x^2+y^2+z^2)

因此，要证明不等式成立，只需证明：

(x+y+z)^2 ≥ 3/2[(x+y)^2+(y+z)^2+(z+x)^2]-3/2(x^2+y^2+z^2)

化简得：

x^2+y^2+z^2 ≥ xy+yz+zx

这是一个著名的斯奈尔不等式，可以用均值不等式来证明。

设a=x+y，b=y+z，c=z+x，则有：

a+b+c = 2(x+y+z)

根据均值不等式，有：

(a^2+b^2+c^2)/2 ≥ (ab+bc+ca)

即：

(x^2+y^2+z^2+(x+y)^2+(y+z)^2+(z+x)^2)/2 ≥ 2(xy+yz+zx)

化简得：

x^2+y^2+z^2 ≥ xy+yz+zx

因此，原不等式成立。

综上所述，均值不等式是一种实用的数学工具，可以用来求解一些最值问题。通过巧妙地运用这个不等式，可以解决许多看似复杂的问题，从而深化我们对数学的理解和认识。