2.2.2-反证法1-2课时(好-修订2版).ppt

一般地，假设原命题不成立， 经过正确的推理， 最后得出矛盾。 因此说明假设错误，从而证明了原命题成立， 这样的证明方法叫做反证法（归谬法）。 其过程包括： 反设——假设命题的结论不成立； 存真——由矛盾结果，断定反设不真，从而肯定原结论成立。 归谬——从假设出发，经过一系列正确的推理，得出矛盾； 归缪矛盾： （1）与已知条件矛盾； （2）与已有公理、定理、定义矛盾； （3）自相矛盾。 例1 已知a≠0，证明x的方程ax=b 有且只有一个根。 练习：P91第1、2题 应用反证法的情形： 正难则反! (4)需分成很多类进行讨论． (1)直接证明困难; （2）结论为 “一定是”“不是”等 唯一类命题； （3)结论为“至少”、“至多”、“有无穷多个” ---类命题； 常见否定用语 是－－－不是 有－－－没有 等－－－不等 成立－－不成立 都是－－不都是，即至少有一个不是 都不是－部分或全部是，即至少有一个是 唯一－－至少有两个 至少有一个有（是）－－全部没有（不是） 至少有一个不－－－－－全部都 课堂小结： 1、反证法及步骤 2、常见否定语 总结提炼 1.用反证法证明命题的一般步骤是什么? 用反证法在归谬中所导出的矛盾可以是与题设矛盾,与假设矛盾,与已知定义、公理、定理矛盾，自相矛盾等． ①反设 ②归谬 ③结论 2.用反证法证题,矛盾的主要类型有哪些? 推理 合情推理 演绎推理 （归纳、类比） （三段论） 证明 直接证明 间接证明 （分析法、综合法） （反证法） 数学—公理化思想 例4 求证： 是无理数。 思考？ A、B、C三个人，A说B撒谎，B说C撒谎，C说A、B都撒谎。则C必定是在撒谎，为什么？ 分析:假设C没有撒谎, 则C真. - - -- -那么A假且B假; 由A假, 知B真. 这与B假矛盾. 那么假设C没有撒谎不成立; 则C必定是在撒谎. 反证法（2） 订正作业：P44 * 2.2.2 反证法（1） 直接证明： (1)综合法—— (2)分析法—— 由因导果 执果索因 得到一个明显成立的结论 … P Q1 Q1 Q2 Q2 Q3 Qn Q … 课前练习：课本P42第1、2题 将9个球分别染成红色或白色。那么无论怎样染，至少有5个球是同色的。你能证明这个结论吗？ 问题1： 间接证明： 不是直接从原命题的条件逐步推得命题成立的证明方法。 反证法是一种常用的间接证明的方法。 反证法： 假设命题结论的反面成立，经过正确的推理,引出矛盾，因此说明假设错误,从而证明原命题成立,这样的的证明方法叫反证法。 反证法的思维方法： 正难则反 *