2.2.2直接证明与间接证明-反证法.pptVIP

* * * * 2.2.2直接证明与间接证明 —反证法 知识回顾 1.综合法的基本含义和思维流程分别是什么？ 含义:利用已知条件和某些数学定义、公理、定理、性质、法则等，经过一系列的推理论证，最后推导出所证结论成立. … 流程: 2.分析法的基本含义和思维流程分别是什么？ 含义:从所证结论出发，逐步寻求使它成立的充分条件，直到归结为判定一个显然成立的条件（已知条件、定义、公理、定理、性质、法则等）为止. 流程: … 显然成立的条件 思考？ A、B、C三个人，A说B撒谎，B说C撒谎，C说A、B都撒谎。则C必定是在撒谎，为什么？ 分析:假设C没有撒谎, 则C真. 那么A假且B假; 由A假, 知B真. 这与B假矛盾. 那么假设C没有撒谎不成立; 则C必定是在撒谎. 反证法： 假设命题结论的反面成立，经过正确的推理,引出矛盾，因此说明假设错误,从而证明原命题成立,这样的的证明方法叫反证法。 反证法的思维方法： 正难则反 例1用反证法证明： 如果ab0，那么 反思1： 用反证法证题的一般步骤是什么？ （1）假设命题的结论不成立；即假设结论的反面成立。 （2）从这个假设出发，经过推理论证，得出矛盾； （3）由矛盾判定假设不正确，从而肯定命题的结论正确。 例2 求证： 是无理数。 假设不成立，故 是无理数。 练一练： 1、用反正法证明时，导出矛盾有那几