刘小宁

(武汉软件工程职业学院 湖北 武汉：430205)

1 一组优美的平均值不等式

设ai与t为正数，n为不小于2的自然数，当i=1，2，…，n时，记An、Gn与Hn分别为n个正数ai的算术平均值、几何平均值与调和平均值，即

文中构建了如下一组3个结构新颖且形式优美的平均值不等式

(1)

等号当且仅当

时成立。

(2)

等号当且仅当

时成立。

(3)

等号当且仅当

时成立。

实际上，平均值不等式(1)～(3)也是3个关于正数ai个数n的单调递增函数。

在算术平均值An，几何平均值Gn与调和平均值Hn之间，还存在大家熟悉的算术——几何——调和平均值不等式[1]

An≥Gn≥Hn

(4)

等号当且仅当a1=a2=…=an时成立。

式(1)～式(3)是含参数t的平均值不等式，而平均值不等式(4)不含参数t。

2 证明

为证明结构新颖且形式优美的平均值不等式(1)～(3)，先证明如下定理。

定理：若x与t为正数，则

(5)

等号当且仅当t=xn-1时成立。

证明：设y与m为正数，作辅助函数

R(y)=yn-n·mn-1·y+(n-1)·mn

则

由于y与m为正数，

1)若y=m，则R(y)=0；

2)若x

则

3)若y>m，有y-m>0，且

故

以上分析表明，当y与m为正数时，恒有

R(y)=yn-n·mn-1·y+(n-1)·mn≥0

在上式中作变换

可得到定理即式(5)，等号当且仅当y=m即t=xn-1时成立。定理证毕。

不等式(1)的证明：令定理中

注意到

不等式(2)的证明：令定理中

注意到

不等式(3)的证明：令定理中

注意到

以及

an=n·An-(n-1)·An-1

不等式(4)的证明：取不等式(1)中t=1，可得算术——几何平均值不等式：An≥Gn；取不等式(2)中t=1，可得几何——调和平均值不等式：Gn≥Hn；综合这两个不等式，可得到算术——几何——调和平均值不等式(4)，等号当且仅当a1=a2=…=an时成立。不等式(4)证毕。

3 应用

例1：记关于n个正数ai的算术平均值An，几何平均值Gn与调和平均值Hn的均差函数分别为

F1(n)=n(An-Gn)

(6)

(7)

F3(n)=n(An-Hn)

(8)

则F1(n)，F2(n)与F3(n)分别是n的单调递增函数。

证明：取不等式(1)～(3)中t=1，可分别得到