




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
3.2确定圆的条件第2课时直接证明:(1)综合法——(2)分析法——由因导果执果索因得到一个明显成立的结论…P
Q1Q1Q2Q2Q3QnQ…一、回顾将9个球分别染成红色或白色.那么无论怎样染,至少有5个球是同色的.你能证明这个结论吗?引例1:间接证明:不是直接从原命题的条件逐步推得命题成立的证明方法.反证法是一种常用的间接证明的方法.二、引入
反证法:假设命题结论的反面成立,经过正确的推理,引出矛盾,因此说明假设错误,从而证明原命题成立,这样的的证明方法叫反证法.反证法的思维方法:正难则反三、讲授新课反证法:一般地,假设原命题不成立,经过正确的推理,最后得出矛盾.因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法(归谬法).其过程包括:反设—假设命题的结论不成立;存真—由矛盾结果,断定反设不真,从而肯定原结论成立.归谬—从假设出发,经过一系列正确的推理,得出矛盾;归缪矛盾:(1)与已知条件矛盾;(2)与已有公理、定理、定义矛盾;(3)自相矛盾.例1.证明平行线的性质定理1:两条平行线被第三条直线所截,同位角相等.已知:如图,直线AB//CD,直线EF与AB,CD分别相交于点G,H.求证:∠1=∠2.三、知识应用证明:假设∠1≠∠2.过点G作直线A′B′,使∠EGB′=∠2.根据基本事实“两条直线被第三条直线所截,如果同位角相等,那么两直线平行”可得A′B′//CD.这样,过点G就有两条直线AB与A′B′与直线CD平行.这与基本事实“过直线外一点有且只有一条直线与这条直线平行”矛盾.这说明∠1≠∠2的假设是不对的,所以∠1=∠2.例2.证明:平行于同一条直线的两条直线平行.已知:如图,直线a//c.b//c.求证:a//b.证明:假设直线a,b不平行,那么它们相交,设交点为P.由已知a//c.b//c,这样过点P就有两条直线a,b与直线c平行.这与基本事实“过直线外一点有且只有一条直线与这条直线平行”矛盾.这说明a,b不平行的假设是不对的,所以a//b.
应用反证法的情形:(1)直接证明困难;(2)需分成很多类进行讨论.(3)结论为:“至少”、“至多”、“有无穷多个”
类命题;(4)结论为“唯一”类命题;正难则反!常见否定用语是——不是;有——没有;等——不等;成立——不成立;都是——不都是,即至少有一个不是;都有——不都有,即至少有一个没有;都不是——部分或全部是,即至少有一个是;唯一——至少有两个;至少有一个有(是)——全部没有(不是);至少有一个不——全部都;1.用反证法证明命题的一般步骤是什么?①反设②归谬③结论用反证法在归谬中所导出的矛盾可以是与题设矛盾;与假设矛盾,与已知定义、公理、定理矛盾;自相矛盾等.2.用反证法证题,矛盾的主要类型有哪些?总结提炼四、当堂达标1.如果,那么
2.A、B、C三个人,A说B撒谎,B说C撒谎,C说A、B都撒谎.则C必定是在撒谎,为什么?假设C没有撒谎,则C真;由A假,知B真.那么假设“C没有撒谎”不成立;则C必定是在撒谎.那么A假且B假;这与B假矛盾.分析:推理
合情推理演绎推理(归纳、
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
评论
0/150
提交评论