【新步步高】2016-2017学年高二数学人教B必修5学案：3.2 均值不等式（一） Word版含答案.docxVIP

明目标、知重点　1.理解均值定理的内容及证明.2.能熟练运用均值不等式来比较两个实数的大小.3.能初步运用均值定理证明简单的不等式． 1．重要不等式 对于任意实数a，b，a2＋b2≥2ab，当且仅当a＝b时，等号成立． 2．均值定理 如果a，b∈R＋，那么eq \f(a＋b,2)≥eq \r(ab)，当且仅当a＝b时，等号成立． 3．算术平均值与几何平均值 对任意两个正实数a，b，数eq \f(a＋b,2)叫做a，b的算术平均值，数eq \r(ab)叫做a，b的几何平均值．故均值定理可以表述为：两个正数的算术平均值大于或等于它的几何平均值． 4．均值定理的常用推论 (1)ab≤eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(a＋b,2)))2≤eq \f(a2＋b2,2)(a，b∈R)； (2)eq \f(b,a)＋eq \f(a,b)≥2(a，b同号)； (3)当ab0时，eq \f(b,a)＋eq \f(a,b)≥2；当ab0时，eq \f(b,a)＋eq \f(a,b)≤－2； (4)a2＋b2＋c2≥ab＋bc＋ca(a，b，c∈R)． [情境导学] 在学习等差数列和等比数列时，我们知道两个正数a，b的等差中项和等比中项分别为eq \f(a＋b,2)、eq \r(ab)，那么这两个中项有什么大小关系呢？能不能相等？什么条件下相等？本节我们就来研究这个问题． 探究点一　重要不等式a2＋b2≥2ab 思考　如何证明不等式a2＋b2≥2ab? 答　证明：∵a2＋b2－2ab＝(a－b)2≥0， ∴a2＋b2≥2ab，当且仅当a＝b时，取“＝”． 小结　一般地，对于任意实数a、b，我们有a2＋b2≥2ab，当且仅当a＝b时，等号成立．通常我们称a2＋b2≥2ab为重要不等式． 探究点二　基本不等式 eq \r(ab)≤eq \f(a＋b,2) 思考1　如果a0，b0，用eq \r(a)，eq \r(b)分别代替a2＋b2≥2ab中的a，b会得到怎样的不等式？ 答　得到a＋b≥2eq \r(ab). 思考2　如何证明不等式eq \r(ab)≤eq \f(a＋b,2)(a0，b0)? 答　证明：∵a＋b－2eq \r(ab)＝(eq \r(a))2＋(eq \r(b))2－2eq \r(a)·eq \r(b)＝(eq \r(a)－eq \r(b))2≥0. ∴a＋b≥2eq \r(ab).∴eq \r(ab)≤eq \f(a＋b,2). 思考3　对任意两个正实数a，b，数eq \f(a＋b,2)叫做a，b的算术平均值，数eq \r(ab)叫做a，b的几何平均值．那么均值定理如何用它们表述？ 答　两个正数的算术平均值大于或等于它的几何平均值． 小结　(1)如果a，b∈R＋，那么eq \f(a＋b,2)≥eq \r(ab)，当且仅当a＝b时，等号成立，称为均值不等式，也称它为基本不等式． (2)均值不等式用语言表述为：两个正数的算术平均值大于或等于它的几何平均值． 思考4　如果把eq \r(ab)看作是正数a，b的等比中项，eq \f(a＋b,2)看作是正数a，b的等差中项，该定理如何叙述？ 答　两个正数的等比中项不大于它们的等差中项． 思考5　不等式a2＋b2≥2ab与eq \r(ab)≤eq \f(a＋b,2)成立的条件相同吗？如果不同各是什么？ 答　不同，a2＋b2≥2ab成立的条件是a，b∈R；eq \r(ab)≤eq \f(a＋b,2)成立的条件是a，b均为正实数． 例1　已知ab0，求证：eq \f(b,a)＋eq \f(a,b)≥2，并推导出式中等号成立的条件． 证明　因为ab0，所以eq \f(b,a)0，eq \f(a,b)0，根据均值不等式， 得eq \f(b,a)＋eq \f(a,b)≥2eq \r(\f(b,a)·\f(a,b))＝2，即eq \f(b,a)＋eq \f(a,b)≥2. 当且仅当eq \f(b,a)＝eq \f(a,b)时，即a2＝b2时式中等号成立， 因为ab0，即a，b同号，所以式中等号成立的条件是a＝b. 反思与感悟　证明中把eq \f(b,a)，eq \f(a,b)，分别看作均值不等式中的a，b从而能够应用均值不等式；在利用均值不等式证明的过程中，常需要把数、式合理地拆成两项或多项或恒等地变形配凑成适当的数、式，以便于利用均值不等式． 跟踪训练1　已知a，b，c为不全相等的正数，求证：a＋b＋ceq \r(ab)＋eq \r(bc)＋eq \r(ca). 证明　∵a0，b0，c0， ∴a＋b≥2eq \r(ab)0，b＋c≥2eq \r(bc)0，c＋a≥2eq \r(ca)0. ∴2(a＋b＋c)≥2(eq \r(ab)＋eq \r(bc)＋eq \r(ca))，