2019-2020年人教B版数学选修4-5讲义：第1章+1.5　1.5.3　反证法和放缩法及答案.docVIP

PAGE 1.5.3　反证法和放缩法 学习目标：1.理解反证法在证明不等式中的应用，掌握用反证法证明不等式的方法.2.了解放缩法证明不等式的原理，并会用其证明不等式． 教材整理1　反证法 首先假设要证明的命题是不正确的，然后利用公理，已有的定义、定理，命题的条件逐步分析，得到和命题的条件(或已证明过的定理，或明显成立的事实)矛盾的结论，以此说明假设的结论不成立，从而原来结论是正确，这种方法称作反证法． 用反证法证明命题“三角形的内角中至多有一个钝角”时，反设正确的是(　　) A．三个内角中至少有一个钝角 B．三个内角中至少有两个钝角 C．三个内角都不是钝角 D．三个内角都不是钝角或至少有两个钝角 [解析]　“至多有一个”即要么一个都没有，要么有一个，故反设为“至少有两个”． [答案]　B 教材整理2　放缩法 在证明不等式时，有时需要将所需证明的不等式的值适当放大(或缩小)，使它由繁化简，达到证明目的，这种方法称为放缩法．其关键在于放大(缩小)要适当．如果所要证明的不等式中含有分式，那么我们把分母放大，则相应分式的值缩小；反之，如果把分母缩小，则分式的值放大．这是一种常用的放缩方式． 已知等比数列{an}的各项均为正数，公比q≠1，设P＝eq \f(a3＋a9,2)，Q＝eq \r(a5·a7)，则P与Q的大小关系是(　　) A．PQ　　　　　　 B．PQ C．P＝Q D．无法确定 [解析]　由等比知识得Q＝eq \r(a5·a7)＝eq \r(a3·a9). 又P＝eq \f(a3＋a9,2)，且a30，a3≠a9， ∴eq \f(a3＋a9,2)eq \r(a3·a9)＝eq \r(a5·a7)，故PQ. [答案]　A 利用反证法证明否定性命题 【例1】　已知a，b，c∈(0,1)，求证：(1－a)b，(1－b)c，(1－c)a不能同时大于eq \f(1,4). [精彩点拨]　当直接证明命题较困难时，可根据“正难则反”，利用反证法加以证明．凡涉及否定性、唯一性命题或含“至多”“至少”等语句的不等式时，常可考虑反证法． [自主解答]　假设三式同时大于eq \f(1,4)， 即(1－a)b＞eq \f(1,4)，(1－b)c＞eq \f(1,4)，(1－c)a＞eq \f(1,4). 三式同向相乘， 得(1－a)a(1－b)b(1－c)c＞eq \f(1,64). ① ∵0＜a＜1， ∴(1－a)a≤eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(1－a＋a,2)))eq \s\up14(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．已知三个正数a，b，c成等比数列，但不成等差数列，求证：eq \r(a)，eq \r(b)，eq \r(c)不成等差数列． [证明]　假设eq \r(a)，eq \r(b)，eq \r(c)成等差数列，则eq \r(a)＋eq \r(c)＝2eq \r(b)，即a＋c＋2eq \r(ac)＝4b， 而b2＝ac，即b＝eq \r(ac)， ∴a＋c＋2eq \r(ac)＝4eq \r(ac)， ∴(eq \r(a)－eq \r(c))2＝0，即eq \r(a)＝eq \r(c)， 从而a＝b＝c，与a，b，c不成等差数列矛盾，故eq \r(a)，eq \r(b)，eq \r(c)不成等差数列． 利用反证法证“至多”“至少”“唯一”型命题 【例2】　已知f(x)＝x2＋px＋q，求证： (1)f(1)＋f(3)－2f (2)|f(1)|，|f(2)|，|f(3)|中至少有一个不小于eq \f(1,2). [精彩点拨]　(1)把f(1)，f(2)，f(3)代入函数f(x)求值推算可得结论；(2)假设结论不成立，推出矛盾，得结论． [自主解答]　(1)由于f(x)＝x2＋px＋q， ∴f(1)＋f(3)－2f ＝(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 ＝(1＋p＋q)＋