【课堂新坐标】2016-2017学年高中数学人教B版选修1-2学案：2.2.2　反证法 Word版含解析.docVIP

2.2.2　反证法 1.了解反证法是间接证明的一种基本方法.理解反证法的思考过程会用反证法证明数学问题.(重点、难点) [基础·初探] 教材整理　反证法阅读教材～的内容完成下列问题.反证法一般地由证明p转向证明﹁q与假设矛盾或与某个真命题矛盾从而﹁q为假推出q为真的方法叫做反证法.反证法常见的矛盾类型反证法的关键是在正确的推理下得出矛盾.这个矛盾主要是指：(1)与假设矛盾；(2)与数学公理、定理、公式、定义或已被证明了的结论矛盾；(3)与公认的简单事实矛盾. 判断(正确的打“√”错误的打“×”)(1)反证法属于间接证明问题的方法.(　　)(2)反证法的证明过程既可以是合情推理也可以是一种演绎推理.(　　)(3)反证法推出的矛盾不能与已知相矛盾.(　　)【解析】　(1)正确.反证法其实是证明其逆否命题成立所以它属于间接证明问题的方法.(2)错误.反证法从证明过程看是一种严谨的演绎推理.(3)错误.反证法推出的矛盾可以与已知相矛盾.【答案】　(1)√　(2)×　(3)×[质疑·手记]预习完成后请将你的疑问记录并与“小伙伴们”探讨交流：疑问1：　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　解惑：　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　疑问2：　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　解惑：　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　疑问3：　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　解惑：　　　 [小组合作型] 用反证法证明否定性命题　等差数列{a的前n项和为S＝1＋S3＝9＋3.(1)求数列{a的通项a与前n项和S；(2)设b＝(n∈N)，求证：数列{b中任意不同的三项都不可能成为等比数列.【精彩点拨】　第(1)问应用a＝a＋(n－1)d和S＝na＋n(n－1)d两式求解.第(2)问先假设存在三项bq，br成等比数列再用反证法证明.【自主解答】　(1)设等差数列{a的公差为d由已知得 ∴d＝2故a＝2n－1＋＝n(n＋).(2)证明：由(1)得b＝＝n＋.假设数列{b中存在三项b(p，q，r互不相等)成等比数列则b＝b即(q＋)＝(p＋)(r＋)(q2－pr)＋(2q－p－r)＝0.N*，∴ ∴＝pr(p－r)＝0＝r这与p≠r矛盾.所以数列{b中任意不同的三项都不可能成为等比数列. 1.当结论中含有“不”“不是”“不可能”“不存在”等词语例如证明异面直线可以假设共面再把假设作为已知条件推导出矛盾.反证法必须从否定结论进行推理即应把结论的反面作为条件且必须根据这一条件进行推证否则仅否定结论不从结论的反面出发进行推理就不是反证法.常见否定词语的否定形式如下表所示：否定词语 否定词语的否定形式没有 有不大于 大于不等于 等于不存在 存在 [再练一题]已知方程f(x)＝a＋(a1)证明：方程f(x)＝0没有负数根. 【导学号【证明】　假设x是方程f(x)＝0的负数根则x－1且a＋0，所以a＝－.又当x时故0－1即0－1＋12，解得x这与x矛盾所以假设不成立故方程f(x)＝0没有负数根. 用反证法证明“至多”“至少”问题　已知x均大于零求证：x＋＋＋这三个数中至少有一个不小于4.【精彩点拨】　本题中含有“至少”不宜直接证明故可采用反证法证明.【自主解答】　假设x，y＋＋都小于4即x＋4＋4＋4于是得＋＋12而＋＋＝＋＋≥2 ＋2 ＋＝12这与＋＋12矛盾因此假设错误即x＋＋＋中至少有一个不小于4. 1.用反证法证明“至少”“至多”型命题可减少讨论情况目标明确.否定结论时需弄清楚结论的否定是什么避免出现错误.用反证法证明“至多、至少”问题时常见的“结论词”与“反设词”如下：结论词 反设词结论词 反设词至少有一个 一个也没有对所有x成立 存在某个不成立至多有一个 至少有两个对任意x不成立 存在某个成立至少有n个 至多有n－1个p或q ﹁p且﹁q至多有n个 至少有n＋1个 p且q ﹁p或﹁q [再练一题]若x0且x＋y2求证：与至少有一个小于2.【证明】　假设与都不小于2即≥2≥2. ∵x0，y0，∴1＋y≥2x＋x≥2y两式相加得2＋(x＋y)≥2(x＋y).＋y≤2这与已知中x＋y2矛盾.假设不成立原故与至少有一个小于2.[探究共研型] 用反证法证明“唯一性”命题探究1　用反证法证明数学命题的步骤是什么？【提示】　(1)反设：假设命题的结论不成立即假定原(2)归谬：从反设和已知条件出发经过一系列正确的逻辑推理得出矛盾的结果.(3)存真：由矛盾的结果断定反设不真从而肯定原结论成立.探究2　如何证明两条相交直线有且只有一个交点？【提示】　假设两条直线a不只有一个交点则至少有两个交