均值不等式及其证明复习过程

1平均值不等式及其证明

平均值不等式是最基本的重要不等式之一，在不等式理论研究和证明中占有重要的位置。平均值不等式的证明有许多种方法，这里，我们选了部分具有代表意义的证明方法，其中用来证明平均值不等式的许多结论，其本身又具有重要的意义，特别是，在许多竞赛的书籍中，都有专门的章节介绍和讨论，如数学归纳法、变量替换、恒等变形和分析综合方法等，这些也是证明不等式的常用方法和技巧。

1.1 平均值不等式 一般地，假设12,,...,n a a a 为n 个非负实数，它们的算术平均值记为

12...,n

n a a a A n

+++=

几何平均值记为

112(...)n

n n G a a a == 算术平均值与几何平均值之间有如下的关系。

12...n a a a n

+++≥

即 n n A G ≥，

当且仅当12...n a a a ===时，等号成立。

上述不等式称为平均值不等式，或简称为均值不等式。 平均值不等式的表达形式简单，容易记住，但它的证明和应用非常灵活、广泛，有多种不同的方法。为使大家理解和掌握，这里我们选择了其中的几种典型的证明方法。供大家参考学习。

1.2 平均值不等式的证明

证法一（归纳法）

（1） 当2n =时，已知结论成立。

（2） 假设对n k =（正整数2k ≥）时命题成立，即对

0,1,2,...,,i a i k >=有

1

1212...(...)k

k n a a a a a a k

+++≥。

那么，当1n k =+时，由于

121

1 (1)

k k a a a A k +++++=

+，1k G +=，

关于121,,...,k a a a +是对称的，任意对调i a 与j a ()i j ≠，1k A +和1k G +的值不改变，因此不妨设{}1121min ,,...,k a a a a +=，{}1121max ,,...,k k a a a a ++= 显然111k k a A a ++≤≤，以及1111()()0k k k a A a A +++--<可得 111111()k k k k A a a A a a +++++-≥.

所以 1111211

1(1)...k k k k k k kA k A A a a a A A k k k +++++++-+++-=

==

2111...()k k k a a a a A k

++++++-=≥即12111...()k

k k k k A a a a a A +++≥+- 两边乘以1k A +，得 111211112111...()...()k k k k k k k k k k A a a A a a A a a a a G ++++++++≥+-≥=。

从而，有11k k A G ++≥

证法二（归纳法）

（1） 当2n =时，已知结论成立。

（2） 假设对n k =（正整数2k ≥）时命题成立，即对

0,1,2,...,,i a i k >=有

12...k a a a +++≥

那么，当1n k =+时，由于

121

...k k a a a a +++++121111...(...)(1)k k k k k a a a a G G k G ++++=+++++++--

1(1)k k G +≥-

12(1)k k G +≥-

12(1)k k k G +=-1(1)k k G +=+

从而，有11k k A G ++≥

证法三（归纳法）

（1） 当2n =时，已知结论成立。

（2） 假设对n k =（正整数2k ≥）时命题成立，即对

0,1,2,...,,i a i k >=有

12...k a a a +++≥

那么，当1n k =+时，由于

121...k k a a a a +++++

证法四（归纳法和变换）

证法五（利用排序不等式）

设两个实数组12,,...,n a a a 和12,,...,n b b b 满足 1212...;...n n a a a b b b ≤≤≤≤≤≤， 则 1122...n n a b a b a b +++（同序乘积之和） ≥1122...j j n jn a b a b a b +++（乱序乘积之和） ≥1211...n n n a b a b a b -+++（反序乘积之和）

其中12,,...,n j j j 是1,2,...,n 的一个排列，并且等号同时成立的充分必要条件是12...n a a a ===或12...n b b b ===成立。 证明：

切比雪夫不等式（利用排序不等式证明）

杨森不等式（Young ）设12120,0,1λλλλ>>+=则对12,0x x >有 12

12

1122x x x x λ

λλλ≤+ 等号成立的充分必要条件是12x x =。

琴生不等式（Jensen ）

设(),(,)y f x x a b =∈为上凸（或下凹）函数，则对任意(,)i x a b ∈

(1,2,...,)i n =，我们都有

11221122()()...()(...)n n n n f x f x f x f x x x λλλλλλ+++≤+++或 11221122()()...()(...)n n n n f x f x f x f x x x λλλλλλ+++≥+++

其中 1

0(1,2,...,)1n

i i

i i n λλ

=>==∑