2019-2020年北师大版数学选修4-5讲义：第1章+§4+第3课时　不等式的证明——反证法、放缩法、几何法及答案.docVIP

PAGE 第3课时　不等式的证明——反证法、放缩法、几何法 学习目标：1.了解放缩法、反证法、几何法的概念；理解用反证法、放缩法、几何法证明不等式的步骤．(重点)2.会用反证法、放缩法、几何法证明一些简单的不等式．(难点) 教材整理1　放缩法与几何法 阅读教材P18～P20，完成下列问题． 1．放缩法 证明命题时，有时可以通过缩小(或放大)分式的分母(或分子)，或通过放大(或缩小)被减式(或减式)来证明不等式，这种证明不等式的方法称为放缩法． 2．几何法 通过构造几何图形，利用几何图形的性质来证明不等式的方法称为几何法． 判断(正确的打“√”，错误的打“×”) (1)分式的放缩可以通过放大(或缩小)分子(或分母)来进行. (　　) (2)整式的放缩可以通过加减项来进行. (　　) (3)从eq \f(a,b)eq \f(a＋m,b)来看，这是通过扩大分子达到了放大的目的. (　　) [解析]　根据放缩法的定义知(1)(2)正确，而(3)中，因m的符号不定，所以不一定达到放大的目的，故错误． [答案]　(1)√　(2)√　(3)× 教材整理2　反证法 阅读教材P20～P21，完成下列问题． 通过证明命题结论的否定不能成立，来肯定命题结论一定成立的证明方法叫反证法．其证明的步骤是：(1)作出否定结论的假设；(2)进行推理，导出矛盾；(3)否定假设，肯定结论． 判断(正确的打“√”，错误的打“×”) (1)反证法与同一法实质上是一致的. (　　) (2)证明“至少”“至多”“否定性命题”时宜用反证法. (　　) (3)证明结论“a，b，c至少一个为负数”时，提出假设可以是“a，b，c至多有两个为负数”. (　　) [解析]　(1)×　从原理上分析，两种方法截然不同． (2)√　反证法适合于证明这种类型． (3)×　假设应为“a，b，c没有一个为负数”． [答案]　(1)×　(2)√　(3)× 利用反证法证明否定性结论 【例1】　已知a，b，c∈(0,1)，求证：(1－a)b，(1－b)c，(1－c)a不能同时大于eq \f(1,4). [精彩点拨]　当直接证明命题较困难时，可根据“正难则反”，利用反证法加以证明．凡涉及否定性、惟一性命题或含“至多”“至少”等语句的不等式时，常可考虑反证法． [自主解答]　假设三式同时大于eq \f(1,4)， 即b－abeq \f(1,4)，c－bceq \f(1,4)，a－aceq \f(1,4)， 三式同向相乘，得(1－a)a(1－b)b(1－c)ceq \f(1,64). ① ∵0a1， ∴(1－a)a≤eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(1－a＋a,2)))eq \s\up7(2)＝eq \f(1,4). 同理(1－b)b≤eq \f(1,4)，(1－c)c≤eq \f(1,4). 又(1－a)a，(1－b)b，(1－c)c均大于零， ∴(1－a)a(1－b)b(1－c)c≤eq \f(1,64)， ② 因此①式与②式矛盾． 故假设不成立，即原命题成立． 1．反证法必须从否定结论进行推理，即应把结论的反面作为条件，且必须根据这一条件进行推理，否则，仅否定结论， 不从结论的反面推理，就不是反证法． 2．利用反证法证题的关键是利用假设和条件通过正确推理推出与已知条件或定理事实相矛盾，或自相矛盾． 1．若0a2,0b2,0c2.求证：(2－a)b，(2－b)c，(2－c)a不能同时大于1. [证明]　假设eq \b\lc\{\rc\ (\a\vs4\al\co1(?2－a?b1，,?2－b?c1，,?2－c?a1，)) 那么eq \f(?2－a?＋b,2)≥eq \r(?2－a?b)1. ① 同理eq \f(?2－b?＋c,2)1， ② eq \f(?2－c?＋a,2)1. ③ ①＋②＋③得33，矛盾．所以原命题得证. 反证法证明“至少”“至多”型命题 【例2】　已知f(x)＝x2＋px＋q，求证： (1)f(1)＋f(3)－2f(2)＝2； (2)|f(1)|，|f(2)|，|f(3)|中至少有一个不小于eq \f(1,2). [精彩点拨]　(1)把f(1)，f(2)，f(3)代入函数f(x)求值推算可得结论． (2)假设结论不成立，推出矛盾，得结论． [自主解答]　(1)f(1)＋f(3)－2f(2) ＝(1＋p＋q)＋(9＋3p＋q)－2(4＋2p＋q)＝2. (2)用反证法证明． 假设|f(1)|，|f(2)|，|f(3)|都小于eq \f(1,2)，则有 |f(1)|＋2|f(2)|＋|f(3)|2. 又∵|f(1)|＋2|f(2)|＋|f(3)| ≥f(1)＋f(3)－2f(2)＝2， 互相矛盾，∴假设不成立，∴|f(1)|，|f(2)|， |f(3)