接下来我们来讨论一下这四个平均数的大小关系。
n个正数的平均数证明起来比较复杂，我们简化为讨论两个正数。
对于正数a、b：
A=(a b)/2
G=√(ab)
H=2/(1/a 1/b)
R=√[(a^2 b^2)/2]
我们首先讨论算术平均数与几何平均数的大小关系。
(√a-√b)^2
=(√a)^2-2√a√b (√b)^2
=a-2√(ab) b≥0
a b≥2√(ab)
(a b)/2≥√(ab)
A≥G
进一步
√(ab)≤(a b)/2
ab≤[(a b)/2]^2
由(√a-√b)^2=0，可得
a=b
这就是非常重要的均值不等式。
若a＞0，b＞0，则
①a b≥2√(ab)
②ab≤[(a b)/2]^2
当且仅当a=b时，不等式取等号。
①当ab为定值S时，a b的最小值为2√(ab)=2√S；
②当a b为定值P时，ab的最大值为[(a b)/2]^2=(P/2)^2=P^2/4；
口诀：积定和小，和定积大
接下来我们来讨论算术平均数与平方平均数的大小关系。
(a-b)^2=a^2-2ab b^2≥0
a^2 b^2≥2ab
2(a^2 b^2)
=(a^2 b^2) (a^2 b^2)
≥(a^2 b^2) 2ab=(a b)^2
a^2 b^2≥(a b)^2/2
(a^2 b^2)/2≥(a b)^2/4
=[(a b)/2]^2
√[(a^2 b^2)/2]≥(a b)/2
R≥A
最后我们来讨论几何平均数与调和平均数的大小关系。
2/(1/a 1/b)=2ab/(a b)
a b≥2√(ab)
1/(a b)≤1/2√(ab)
2/(1/a 1/b)=2ab/(a b)
≤2ab/2√(ab)=ab/√(ab)=√(ab)
2/(1/a 1/b)≤√(ab)
H≤G
把以上结论连列起来：
2/(1/a 1/b)≤√(ab)
≤(a b)/2≤√(a^2 b^2)/2
我们举个简单的例子验证一下这个结论。
令a=2＞0，b=3＞0
H=2/(1/2 1/3)=12/5=2.4
G=√(2×3)=√6≈2.45
A=(2 3)/2=5/2=2.5
R=√[(2^2 3^2)/2]=√6.5≈2.55
H≤G≤A≤R
以上结论都可以从两个正数推广到n个正数，由于证明比较复杂，这里不作详细证明，大家只需要记住结论即可。
n/(1/a1 1/a2 … 1/an)
≤(n)√(a1a2…an)
≤(a1 a2 … an)/n
≤√[(a1^2 a2^2 … an^2)/n]
调和平均数≤几何平均数
≤算术平均数≤平方平均数
,
