2015-2016学年高二数学同步教学课件：第2章 2.2.2《反证法》推理与证明（人教A版选修2-2）.pptVIP

即过a、b、m有一个平面α 假设过a、b、m还有一个平面β异于平面α. 则a?α，b?α，a?β，b?β这与a∥b，过a、b有且只有一个平面相矛盾． 因此，过a、b、m有且只有一个平面. 用反证法证明否定性命题 设{an}是公比为q的等比数列，Sn是它的前n项和． (1)求证：数列{Sn}不是等比数列； (2)数列{Sn}是等差数列吗？为什么？ [分析]　本题(1)是否定性命题，可以尝试反证法． (2)当q＝1时，{Sn}是等差数列． 当q≠1时，{Sn}不是等差数列，否则有S1、S2、S3成等差数列．即2S2＝S1＋S3， ∴2a1(1＋q)＝a1＋a1(1＋q＋q2)． 由于a1≠0，∴2(1＋q)＝2＋q＋q2，q＝q2， ∵q≠1，∴q＝0，与q≠0矛盾． [方法规律总结]　应用反证法的注意事项 1.用反证法证题时，首先要搞清反证法证题的思路步骤，其次注意反证法是在条件较少、不易入手时常用的方法． 2.结论中含有“不”、“不是”、“不可能”、“不存在”、“没有”等词语的否定性命题，结论的反面比较具体，适于应用反证法． 3.注意否定命题时，要准确无误． 4.用反证法证题时，必须把结论的否定作为条件使用，否则就不是反证法．有时在证明命题“若p，则q”的过程中，虽然否定了结论q，但是在证明过程中没有把“?q”当作条件使用，也推出了矛盾或证得了结论，那么这种证明过程不是反证法． 5.用反证法证题，最后要产生一个矛盾命题，常见的主要矛盾有： (1)与数学公理、定理、公式、定义或已被证明了的结论相矛盾； (2)与假设矛盾； (3)与已知条件矛盾； (4)与公认的简单事实矛盾． 矛盾是在推理过程中发现的，不是推理之前设计的． 平面上有四个点，没有三点共线．证明以每三点为顶点的三角形不可能都是锐角三角形． [证明]　假设以每三点为顶点的四个三角形都是锐角三角形，记这四个点为A、B、C、D.考虑△ABC，则有点D在△ABC之内或之外两种情况． (1)如果点D在△ABC之内(图1)，根据假设以D为顶点的三个角都是锐角，其和小于270°，这与一个圆周角等于360°矛盾． 准确写出反设 (2015·郑州市登封高二期末)已知a＋b＋c0，ab＋bc＋ca0，abc0，求证：a0，b0，c0. [错解]　假设a≤0，b≤0，c≤0，则a＋b＋c≤0，abc≤0与题设条件a＋b＋c0，abc0矛盾． ∴假设不成立，∴原命题成立． [辨析]　错解没有弄清原题待证的结论是什么？导致反设错误．“求证：a0，b0，c0”的含义是“求证a、b、c三数都是正数”，故反设应为“假设a、b、c中至少有一个不大于0.” [正解]　证法1：假设a、b、c中至少有一个不大于0，不妨设a≤0，若a0，则由abc0，得bc0，由a＋b＋c0得，b＋c－a0， ∴ab＋bc＋ac＝a(b＋c)＋bc0，这与已知ab＋bc＋ac0矛盾． 又若a＝0，则abc＝0与abc0矛盾． 故“a≤0”不成立，∴a0， 同理可证b0，c0. 证法2：假设a、b、c是不全为正的实数，由于abc0，所以a、b、c中只能是两负一正，不妨设a0，b0，c0， ∵ab＋bc＋ac0， ∴a(b＋c)＋bc0， ∵bc0，∴a(b＋c)0， ∵a0，∴b＋c0， ∴a＋b＋c0， 这与a＋b＋c0矛盾， 故假设不成立，原结论成立． 即a，b，c全为正实数． [警示]　含“至多”、“至少”、“唯一”等的结论，或以否定形式给出的结论，常用反证法证明．证明的第一步是写出结论的否定，否定一定要准确，证明时要将全部可能情形一一推证． 课 时 作 业 （点此链接） 推理与证明 第二章 2.2　直接证明与间接证明 第二章 2.2.2　反证法 典例探究学案 2 课 时 作 业 3 自主预习学案 1 自主预习学案 理解反证法的概念，掌握反证法的特点及证题的步骤． 重点：反证法概念的理解以及反证法的证题步骤． 难点：反证法的应用． 我们在立体几何证题中曾经使用过反证法，那么反证法的定义，反证法的原理，用反证法证题的注意事项是怎样的呢？ 反证法 思维导航 1．反证法的定义 一般地，假设原命题不成立，经过正确的推理，最后得出________，因此说明假设________，从而证明了原命题________，这样的证明方法叫做反证法．反证法是间接证明的一种基本方法． 2．反证法证题的原理 (1)反证法的原理是“否定之否定等于肯定”． (2)用反证法解题的实质就是否定结论，导出矛盾，从而说明原结论正确． 新知导学 矛盾 错误 成立 3．反证法常见的矛盾类型 反证法的关键是在正确的推理下得出矛盾．这个矛盾可以是与________矛盾，或与________矛盾，或与___________________、公认的简单事实矛盾