所谓的光辉岁月，并不是以后，闪耀的日子，而是无人问津时，你对梦想的偏执。
3．三个正数的算术—几何平均不等式
对应学生用书P8
1．定理3
如果a，b，c∈R＋，那么
a＋b＋c3
3
≥abc，当且仅当a＝b＝c时，等号成立，用文字语
言可叙述为：三个正数的算术平均不小于它们的几何平均．
(1)不等式
a＋b＋c3
3
≥abc成立的条件是：a，b，c均为正数，而等号成立的条件是：
当且仅当a＝b＝c.
(2)定理3可变形为：①abc≤(
a＋b＋c3
)；②a＋b＋c≥3abc.
3333
(3)三个及三个以上正数的算术－几何平均值不等式的应用条件与前面基本不等式的应用条件是一样的，即“一正，二定，三相等”．
2．定理3的推广
对于n个正数a1，a2，…，an，它们的算术平均不小于它们的几何平均，即
a1＋a2＋…＋ann≥a1a2…an，当且仅当a1＝a2＝…＝an时，等号成立．
n
对应学生用书P8
用平均不等式证明不等式
[例1] 已知a，b，c∈R＋，求证：
b＋c－ac＋a－ba＋b－c＋＋≥3. abc3
[思路点拨] 欲证不等式的右边为常数3，联想到不等式a＋b＋c≥3abc(a，b，c∈R
＋
)，故将所证不等式的左边进行恰当的变形．
放弃很简单，但你坚持到底的样子一定很酷！ 1
所谓的光辉岁月，并不是以后，闪耀的日子，而是无人问津时，你对梦想的偏执。
[证明]
b＋c－ac＋a－ba＋b－c＋＋ abccab????＝?＋＋?＋?＋＋?－3
abcabc?
??
?
3bca3cab≥3··＋3··－3＝6－3＝3.
bcaabcabc当且仅当a＝b＝c时取等号．
证明不等式的方法与技巧
(1)观察式子的结构特点，分析题目中的条件．若具备“一正，二定，三相等”的条件，可直接应用该定理．
若题目中不具备该条件，要注意经过适当的恒等变形后再使用定理证明．
(2)三个正数的算术—几何平均不等式是根据不等式的意义、性质和比较法证出的，因此凡是利用该不等式证明的不等式，一般可用比较法证明．
111
1．设a，b，c＞0，求证：3＋3＋3＋abc≥23.
abc证明：因为a，b，c＞0，由算术—几何平均不等式可得 1
＋3＋3≥31
1
31
11·3·3，
a3
bcaabc3
bc1113
即3＋3＋3≥(当且仅当a＝b＝c时，等号成立)．
abc1113
所以3＋3＋3＋abc≥＋abc.
abcabc而
3
abc＋abc≥23
abc·abc＝23(当且仅当abc＝3时，等号成立)，
222
1116
所以3＋3＋3＋abc≥23(当且仅当a＝b＝c＝3时，等号成立)．
abc2．已知a1，a2，…，an都是正数，且a1a2…an＝1，求证： (2＋a1)(2＋a2)…(2＋an)≥3.
n放弃很简单，但你坚持到底的样子一定很酷！ 2
所谓的光辉岁月，并不是以后，闪耀的日子，而是无人问津时，你对梦想的偏执。
证明：因为a2＋a1＋1＋a3
1是正数，根据三个正数的平均不等式，有1＝1≥3a1. 同理2＋a3
j≥3 aj(j＝2,3，…n)． 将上述各不等式的两边分别相乘即得 (2＋a1)(2＋a2)…(2＋an) ≥(33a33
1)(3a2)…(3an) ＝3n·3a1a2…an.
∵a1a2…ann＝1，∴(2＋a1)(2＋a2)…(2＋an)≥3. 当且仅当a1＝a2＝…＝an＝1时，等号成立.
用平均不等式求最值
[例2] (1)求函数y＝(x－1)2
(3－2x)??3?1 (2)求函数y＝x＋ 4 x－1 2 (x>1)的最小值． [思路点拨] 对于积的形式求最大值，应构造和为定值． (2)对于和的形式求最小值，应构造积为定值． 解：(1)∵1 2 ，∴3－2x>0，x－1>0. y＝(x－1)2(3－2x) ＝(x－1)(x－1)(3－2x)≤? ?x－1＋x－1＋3－2x?3??3? ＝??1?3??3?＝1 27 ， 当且仅当x－1＝x－1＝3－2x， 即x＝4?3?3∈??1，2??时，y1max＝27. (2)∵x＞1，∴x－1>0，y＝x＋4 x－1 2 ＝12(x－1)＋142(x－1)＋x－1 2 ＋1 放弃很简单，但你坚持到底的样子一定很酷！ 3
(新)高中数学第一讲不等式和绝对值不等式一3三个正数的算术—几何平均不等式同步配套教学案新人教A版选修
