欢迎来到天天文库
浏览记录
ID:37888694
大小:646.00 KB
页数:21页
时间:2019-06-02
《《2.2.2 反证法》课件6》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、《2.2.2反证法》课件61直接证明概念2直接证明的一般形式:直接从原命题的条件逐步推得命题成立一、知识回顾:直接证明方法有几种?都是直接证明综合法:从已知条件出发,以已知的定义、公理、定理为依据,逐步下推,直到推出要证明的结论为止相同不同分析法:从问题的结论出发,追溯导致结论成立的条件,逐步上溯,直到使结论成立的条件和已知条件吻合为止证法有什么异同?有两种:综合法、分析法直接证明综合法和分析法的推证过程如下:综合法已知条件结论分析法结论已知条件问题情境上述证明不同于直接证明这种证明通常称为间接证明间接证明(基本概念)间接证明是不同于直接证明的又一类证明方法.反证法
2、是一种常用的间接证明方法.否定结论导致矛盾否定命题不成立原结论成立合理的推理思考?A、B、C三个人,A说B撒谎,B说C撒谎,C说A、B都撒谎。则C必定是在撒谎,为什么?分析:假设C没有撒谎,则C真.-----那么A假且B假;由A假,知B真.这与B假矛盾.那么假设C没有撒谎不成立;则C必定是在撒谎.间接证明(基本概念)反证法的过程包括以下三个步骤:(1)反设——假设命题的结论不成立,即假定原命题的反面为真;(2)归谬——从反设和已知条件出发,经过一系列正确的逻辑推理,得出矛盾结果;(3)存真——由矛盾结果,断定反设不真,从而肯定原结论成立.反证法的思维方法:正难则反应
3、用反证法的情形:(1)直接证明困难;(2)需分成很多类进行讨论.(3)结论为“至少”、“至多”、“有无穷多个”类命题;(4)结论为“唯一”类命题;间接证明(例题1)先求出周期思路用反证法证明是最小正周期.间接证明(例题1)假设T是正弦函数的周期则对任意实数x都有:解令x=0,得即从而对任意实数x都应有这与矛盾.因此,原命题成立.间接证明(习题1)1.求证:若一个整数的平方是偶数,则这个数也是偶数.假设这个数是奇数,可以设为2k+1,证:则有而不是偶数这与原命题条件矛盾.2求证:是无理数。间接证明(回顾小结)间接证明反证法同一法枚举法完全归纳法例1:用反证法证明:如果
4、a>b>0,那么例2已知a≠0,证明x的方程ax=b有且只有一个根。P例3:证明:圆的两条不全是直径的相交弦不能互相平分.已知:在⊙O中,弦AB、CD相交于P,且AB、CD不全是直径求证:AB、CD不能互相平分。ABCDO练习间接证明3.设函数,求证:中至少有一个不小于1.间接证明已知:求证:(2)中至少有一个不小于.(1)再见!
此文档下载收益归作者所有