2018-2019学年高二数学人教B版选修4-5讲义：第一章 1．5　1．5.3　反证法和放缩法.docVIP

1．5.3　反证法和放缩法 eq \a\vs4\al([对应学生用书P21]) [读教材·填要点] 1．反证法 首先假设要证明的命题是不正确的，然后利用公理，已有的定义、定理，命题的条件逐步分析，得到和命题的条件(或已证明过的定理，或明显成立的事实)矛盾的结论，以此说明假设的结论不成立，从而原来结论是正确的，这种方法称为反证法． 2．放缩法 在证明不等式时，有时需要将所需证明的不等式的值适当放大(或缩小)使它由繁化简，达到证明目的，这种方法称为放缩法． [小问题·大思维] 1．用反证法证明不等式应注意哪些问题？ 提示：用反证法证明不等式要把握三点： (1)必须先否定结论，对于结论的反面出现的多种可能要逐一论证，缺少任何一种可能，证明都是不完全的． (2)反证法必须从否定结论进行推理，且必须根据这一条件进行论证；否则，仅否定结论，不从结论的反面出发进行论证，就不是反证法． (3)推导出来的矛盾可以是多种多样的，有的与已知条件相矛盾，有的与假设相矛盾，有的与定理、公理相违背，有的与已知的事实相矛盾等，但推导出的矛盾必须是明显的． 2．运用放缩法证明不等式的关键是什么？ 提示：运用放缩法证明不等式的关键是放大(或缩小)要适当．如果所要证明的不等式中含有分式，那么我们把分母放大时相应分式的值就会缩小；反之，如果把分母缩小，则相应分式的值就会放大．有时也会把分子、分母同时放大，这时应该注意不等式的变化情况，可以与相应的函数相联系，以达到判断大小的目的，这些都是我们在证明中的常用方法与技巧，也是放缩法中的主要形式． eq \a\vs4\al([对应学生用书P21]) 用反证法证明否定性结论 [例1]　设a，b，c，d都是小于1的正数，求证：4a(1－b)，4b(1－c)，4c(1－d)，4d(1－a)这四个数不可能都大于1. [思路点拨]　本题考查反证法的应用．解答本题若采用直接法证明将非常困难，因此可考虑采用反证法从反面入手解决． [精解详析]　假设4a(1－b)＞1,4b(1－c)＞1,4c(1－d)＞1，4d(1－a)＞1，则有 a(1－b)＞eq \f(1,4)，b(1－c)＞eq \f(1,4)， c(1－d)＞eq \f(1,4)，d(1－a)＞eq \f(1,4). ∴eq \r(a(1－b))＞eq \f(1,2)，eq \r(b(1－c))＞eq \f(1,2)， eq \r(c(1－d))＞eq \f(1,2)，eq \r(d(1－a))＞eq \f(1,2). 又∵eq \r(a(1－b))≤eq \f(a＋(1－b),2)，eq \r(b(1－c))≤eq \f(b＋(1－c),2)， eq \r(c(1－d))≤eq \f(c＋(1－d),2)，eq \r(d(1－a))≤eq \f(d＋(1－a),2)， ∴eq \f(a＋1－b,2)＞eq \f(1,2)，eq \f(b＋1－c,2)＞eq \f(1,2)， eq \f(c＋1－d,2)＞eq \f(1,2)，eq \f(d＋1－a,2)＞eq \f(1,2). 将上面各式相加得2＞2，矛盾． ∴4a(1－b)，4b(1－c)，4c(1－d)，4d(1－a)这四个数不可能都大于1. (1)当证明的结论中含有“不是”，“不都”，“不存在”等词语时，适于应用反证法，因为此类问题的反面比较具体． (2)用反证法证明不等式时，推出的矛盾有三种表现形式①与已知相矛盾，②与假设矛盾，③与显然成立的事实相矛盾． 1．已知数列{an}的前n项和为Sn，且满足an＋Sn＝2. (1)求数列{an}的通项公式； (2)求证数列{an}中不存在三项按原来顺序成等差数列． 解：(1)当n＝1时，a1＋S1＝2a1＝2，则a1＝1. 又an＋Sn＝2，所以an＋1＋Sn＋1＝2， 两式相减得an＋1＝eq \f(1,2)an， 所以{an}是首项为1，公比为eq \f(1,2)的等比数列， 所以an＝eq \f(1,2n－1). (2)反证法：假设存在三项按原来顺序成等差数列，记为ap＋1，aq＋1，ar＋1(pqr，且p，q，r∈N＋)， 则2·eq \f(1,2q)＝eq \f(1,2p)＋eq \f(1,2r)，所以2·2r－q＝2r－p＋1.① 又因为pqr，所以r－q，r－p∈N＋. 所以①式左边是偶数，右边是奇数，等式不成立，所以假设不成立，原命题得证. 用反证法证明“至多”、“至少”型命题 [例2]　若a，b，c均为实数，且a＝x2－2y＋eq \f(π,2)，b＝y2－2z＋eq \f(π,3)，c＝z2－2x＋eq \f(π,6)，求证：a，b，c中至少有一个大于0. [思路点拨]　由于问题是“至少型”命题，故可用反证法证明． [精解详析]　假设a，b，c都不大