2.2.2《间接证明-反证法》课件(新人教选修2-2)..pptVIP

一、选择题 1．应用反证法推出矛盾的推导过程中，要把下列哪些作为条件使用 (　　) ①结论相反判断，即假设　②原命题的结论 ③公理、定理、定义等　　④原命题的条件 A．①④　　　　　　　　 B．①②③ C．①③④ D．②③ [答案]　C [解析]　由反证法的规则可知①③④都可作为条件使用，故应选C. 2．命题“三角形中最多只有一个内角是直角”的结论的否定是 (　　) A．两个内角是直角 B．有三个内角是直角 C．至少有两个内角是直角 D．没有一个内角是直角 [答案]　C [解析]　“最多只有一个”即为“至多一个”，反设应为“至少有两个”，故应选C. 3．如果两个实数之和为正数，则这两个数(　　) A．一个是正数，一个是负数 B．两个都是正数 C．至少有一个正数 D．两个都是负数 [答案]　C [解析]　假设两个数都是负数，则两个数之和为负数，与两个数之和为正数矛盾，所以两个实数至少有一个正数，故应选C. 2.归谬是“反证法”的核心步骤，归谬得  到的逻辑矛盾，常见的类型有哪些？ 归谬包括推出的结果与已知定义、公理、定理、公式矛盾，或与已知条件、临时假设矛盾，以及自相矛盾等各种情形. [分析]　本题中，含有“至少存在一个”词，可考虑使用反证法． [点评]　1.反证法是利用原命题的否命题不成立则原命题一定成立来进行证明的，在使用反证法时，必须在假设中罗列出与原命题相异的结论，缺少任何一种可能，反证法都是不完全的． 2．对于否定性命题或结论中出现“至多”、“至少”、“不可能”等字样时，常用反证法． [例4]　已知0a≤3，函数f(x)＝x3－ax在区间[1，＋∞)上是增函数，设当x0≥1，f(x0)≥1时，f(f(x0))＝x0，求证：f(x0)＝x0. [分析]　要求证明存在某个对象具有某种特殊性质，而我们又无法具体地指出这个对象来，如本例，此时应考虑用反证法来解决． [证明]　假设f(x0)≠x0，则必有f(x0)x0或f(x0)x0， 若f(x0)x0≥1，由f(x)在[1，＋∞)上为增函数，则f(f(x0))f(x0)， 又f(f(x0))＝x0，∴x0f(x0)，与假设矛盾， 若x0f(x0)≥1，则f(x0)f(f(x0))， 又f(f(x0))＝x0，∴f(x0)x0也与假设矛盾． 综上所述，当x0≥1，f(x0)≥1且f(f(x0))＝x0时有f(x0)＝x0. [点评]　(1)对于f(f(x0))的性质知之甚少，直接证明有困难，而用反证法，增加了反设这一条件，为我们利用函数的单调性创造了可能． (2)反设中有两种情况，必须逐一否定． 1.若a≠0，证明：x的方程ax=b有且只有一个根. 2.证明： 圆的两条不是直径的相交弦不能互相平分. 练 习 3. 2.设a,b是异面直线，在a上任取两点A,C， 在b上任取两点B,D， 试证：AB和CD也是异面直线. A D B C a b 用反证法证明命题“若p则q”的过程用框图 表示为： 肯定条件p 否定结论q 导 致 逻辑矛盾 “p且非q” 为 假 “若p则q” 为 真 反证法的基本步骤： （1）假设命题结论不成立，即假设结论的反面成-------立； （2）从这个假设出发，经过推理论证，得出矛盾； （3）从矛盾判定假设不正确，从而肯定命题的结 ------论正确 归缪矛盾： （1）与已知条件矛盾； （2）与已有公理、定理、定义矛盾； （3）自相矛盾。 * 2.2.2间接证明 ---------反证法 一.复习 1.直接证明的两种基本证法： 综合法和分析法 2.这两种基本证法的推证过程和特点： 由因导果 执果索因 3、在实际解题时，两种方法如何运用？ （1）通常用分析法提供思路，再由综合法写过程 （2）“两边凑” 综合分析法 练习 二.练习 思考？ A、B、C三个人，A说B撒谎，B说C撒谎，C说A、B都撒谎。则C必定是在撒谎，为什么？ 假设C没有撒谎, 则C真; 由A假, 知B真. 那么假设“C没有撒谎”不成立; 则C必定是在撒谎. 那么A假且B假; 这与B假矛盾. 推出矛盾. 推翻假设. 原命题成立. 分析: 由假设 反证法 反证法： 假设命题结论的反面成立，经过正确的推理,引出矛盾，因此说明假设错误,从而间接证明原命题成立,这样的的证明方法叫反证法。 反证法的思维方法： 正难则反 把这种不是直接证明的方法称为间接证明（indirectproof）. 注：反证法是最常见的间接证法 请你概括反证法的证明过程： 否定结论——推出矛盾——肯定结论， 即分三个步骤：反设—归谬—存真 反设－－假设命题的结论不成立， 即假设原结论的反面为真. 归谬