均值不等式

1平均值不等式及其证明

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

1.1 平均值不等式

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

12...,nnaaaAn

几何平均值记为

11212(...)...nnnnnGaaaaaa。

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

1212......nnnaaaaaan，

即 nnAG，

当且仅当12...naaa时，等号成立。

上述不等式称为平均值不等式，或简称为均值不等式。

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

1.2 平均值不等式的证明

证法一（归纳法）

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

（2） 假设对nk（正整数2k）时命题成立，即对

0,1,2,...,,iaik有

11212...(...)kknaaaaaak。

那么，当1nk时，由于 1211...1kkaaaAk，11121...kkkkGaaaa，

关于121,,...,kaaa是对称的，任意对调ia与ja()ij，1kA和1kG的值不改变，因此不妨设1121min,,...,kaaaa，1121max,,...,kkaaaa

显然111kkaAa，以及1111()()0kkkaAaA可得

（一） 知识内容

1．均值定理：如果,abR（R表示正实数），那么2abab≥，当且仅当ab时，有等号成立．

此结论又称均值不等式或基本不等式．

2．对于任意两个实数,ab，2ab叫做,ab的算术平均值，ab叫做,ab的几何平均值．

均值定理可以表述为：两个正实数的算术平均值大于或等于它的几何平均值．

3．两个正数的积为常数时，它们的和有最小值；两个正数的和为常数时，它们的积有最大值．

1．在利用均值定理求某些函数的最值时，要注意以下几点：

⑴函数式中的各项必须都是正数，在异号时不能运用均值不等式，在同负时可以先进行

转化，再运用均值不等式；

⑵函数式中含变数的各项的和或积必须是常数；

⑶只有具备了不等式中等号成立的条件，才能使函数式取到最大或最小值．否则不能由

均值不等式求最值，只能用函数的单调性求最值．

运用均值不等式的前提有口诀：一正二定三相等．

2.均值不等式的几何解释：半径不小于半弦．

⑴对于任意正实数,ab，作线段ABab，使,ADaDBb；

⑵以AB为直径作半圆O，并过D点作CDAB于D，

且交半圆于点C；

⑶连结,,ACBCOC，则2abOC，

∵,ACBCCDAB

∴CDADBDab，

当ab时，在RtCOD中，

有2abOCCDab．

当且仅当ab时，,OD两点重合，有2abOCCDab．

3．已知：abR、（其中R表示正实数），

有以下不等式：222211222ababababab≥≥≥≥

其中222ab称为平方平均数，2ab称为算术平均数，

ab称为几何平均数，211ab称为调和平均数． CODBA

均值不等式

证明：2222210224ababab≥

∴222222abab≥

∵abR、，∴2222abab≥，当且仅当“ab”时等号成立．

均值不等式公式推导

一、均值不等式的内容。

对于任意正实数a、b，有(a + b)/(2)≥slant√(ab)，当且仅当a = b时等号成立。

1. 方法一：作差法。

- 对于正实数a、b，考虑(a + b)/(2)-√(ab)的值。

- 对(a + b)/(2)-√(ab)进行变形：

- (a + b)/(2)-√(ab)=(a - 2√(ab)+b)/(2)。

- 进一步将分子变形为完全平方式，即a - 2√(ab)+b = (√(a)-√(b))^2。

- 因为a、b是正实数，所以(√(a)-√(b))^2≥slant0，当且仅当√(a)=√(b)（即a =

b）时，(√(a)-√(b))^2 = 0。

- 所以(a + b)/(2)-√(ab)=((√(a)-√(b))^2)/(2)≥slant0，即(a + b)/(2)≥slant√(ab)。

2. 方法二：几何法（以直角三角形为例）

- 设直角三角形的两条直角边分别为a、b（a>0,b>0）。

- 根据直角三角形的面积公式，其面积S=(1)/(2)ab。

- 以a + b为斜边构造一个直角三角形，斜边上的高为h，根据三角形面积公式S=(1)/(2)(a + b)h。

- 由于这两个三角形面积相等，所以(1)/(2)ab=(1)/(2)(a + b)h，则h=(ab)/(a +

b)。

- 根据直角三角形斜边大于直角边的性质，有(a + b)/(2)≥slant h（当且仅当a =

b时取等号）。 - 把h=(ab)/(a + b)代入可得(a + b)/(2)≥slant√(ab)（这里是因为((a +

b)/(2))^2≥slant ab，两边同时开方得到(a + b)/(2)≥slant√(ab)）。

高中四个均值不等式

高中数学中的四个均值不等式是：算术平均数不小于几何平均数，几何平均数不小于调和平均数，调和平均数不小于平方平均数。这些不等式在数学中有重要的应用，包括概率论、统计学、经济学和物理学。

一、算术平均数不小于几何平均数

算术平均数和几何平均数是我们常见的两种平均数。算术平均数是将一组数据中所有数值之和除以数据的总数。例如，1,2,3,4,5这五个数的算术平均数是（1+2+3+4+5）/5=3。几何平均数则是一组数据中所有数的乘积的n次方根，其中n表示数据的个数。例如，1,2,3,4,5这五个数的几何平均数是（1x2x3x4x5）^(1/5)=2.605。

在一组非负数数据中，算术平均数和几何平均数有如下关系：算术平均数不小于几何平均数。这个不等式的证明可以采用数学归纳法，对于两个数的情形容易证明。对于任意个数的情况，则可以用调和平均数来证明。这个不等式的重要性在于它可以用来证明其他重要的不等式。

二、几何平均数不小于调和平均数

调和平均数的定义为n个非零实数的倒数之和再除以n，其中n表示这n个数的个数。例如，1,2,3,4,5这五个数的调和平均数为5/(1/1+1/2+1/3+1/4+1/5)=3.55。

在一组非负数数据中，几何平均数和调和平均数有如下关系：几何平均数不小于调和平均数。例如，对于1,2,3,4,5这五个数，它们的几何平均数为2.605，调和平均数为3.55，显然2.605不小于3.55。

三、调和平均数不小于平方平均数

平方平均数是一组数据中所有数的平方和的平均数的平方根。例如，对于1,2,3,4,5这五个数，它们的平方和为1+4+9+16+25=55，平方平均数为(1+4+9+16+25)/5=5.48。

在一组非负数数据中，调和平均数和平方平均数有如下关系：调和平均数不小于平方平均数。例如，对于1,2,3,4,5这五个数，它们的调和平均数为3.55，平方平均数为5.48，显然3.55不小于5.48。