2.2.2 反证法_第1页
2.2.2 反证法_第2页
2.2.2 反证法_第3页
2.2.2 反证法_第4页
2.2.2 反证法_第5页
已阅读5页,还剩19页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

2.2.2反证法,路边苦李,王戎7岁时,与小伙伴们外出游玩,看到路边的李树上结满了果子.小伙伴们纷纷去摘取果子,只有王戎站在原地不动.伙伴问他为什么不去摘?,王戎回答说:“树在道边而多子,此必苦李.”小伙伴摘取一个尝了一下,果然是苦李.,王戎是怎么知道李子是苦的呢?他运用了怎样的推理方法?,王戎的推理方法是:假设李子不苦,则因树在“道”边,李子早就被别人采摘而没有了,这与“多李”产生矛盾.所以假设不成立,李为苦李.,1.反证法的定义.2.反证法的一般步骤.(重点)3.运用反证法的注意事项.(难点),探究点1反证法的定义,引例:,证明:在一个三角形中至少有一个角不小于60.,已知:A,B,C是ABC的内角.求证:A,B,C中至少有一个不小于60.,证明:,假设的三个内角A,B,C都小于60,,则有A60,B60,C60,所以A+B+C180,所以假设不成立,所求证的结论成立.,先假设结论的反面是正确的,然后通过逻辑推理,推出与公理、已证的定理、定义或已知条件相矛盾,说明假设不成立,从而得到原结论正确.,这种证明方法就是反证法,把这种不是直接从原命题的条件逐步推得命题成立的证明方法称为间接证明.,注:反证法是最常见的间接证法.,一般地,假设原命题不成立(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾.因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法.,反证法,否定结论推出矛盾肯定结论即分三个步骤:反设归谬存真,反设假设命题的结论不成立;,归谬从假设出发,经过一系列正确的推理,得出矛盾;,反证法的证明过程,存真由矛盾结果,断定反设不成立,从而肯定原结论成立.,归谬矛盾:(1)与已知条件矛盾.(2)与假设矛盾或自相矛盾.(3)与已有公理、定理、定义、事实矛盾.,反证法的思维方法:正难则反.,你能说出下列结论的反面吗?,ab2.d是正数3.a04.ab,a不垂直于b,d不是正数,即d0,a0,a不平行b,万事开头难,让我们走好第一步!,探究点2反证法的应用,常用的互为否定的表述方式:,至少有三个最多有一个,至多有两个,至少有两个,准确地作出反设(即否定结论)是非常重要的,下面是一些常见的结论的否定形式.,不是,不都是,不大于,大于或等于,一个也没有,至少有两个,至多有(n-1)个,至少有(n+1)个,存在某x,不成立,存在某x,成立,不等于,某个,证明:因为ab所以经过直线a,b确定一个平面.,因为,而,所以与是两个不同的平面.,例1已知直线a,b和平面,如果,且,求证:.,下面用反证法证明直线a与平面没有公共点,假设直线a与平面有公共点P,则P,即点P是直线a与b的公共点,这与ab矛盾,所以a.,分析:直接证明一个数是无理数比较困难,我们采用反证法.假设不是无理数,那么它就是有理数.我们知道,任一有理数都可以写成形如(m,n互质,mZ,nN*)的形式.下面我们看看能否由此推出矛盾.,反证法的一般步骤,先假设命题的结论不成立,从假设出发,经过推理,得出矛盾,否定假设,肯定原命题,分清条件和结论,【总结提升】,宜用反证法证明的题型,(1)以否定性判断作为结论的命题.,(2)某些定理的逆命题.,(3)以“至多”、“至少”或“不多于”等形式陈述的命题.,(4)关于“唯一性”结论的命题.,(8)涉及各种“无限”结论的命题等.,(7)有些基本定理或某一知识体系的初始阶段.,(6)一些不等量命题的证明.,(5)解决整除性问题.,1.如图,在ABC中,若C是直角,那么B一定是锐角.,证明:假设结论不成立,则B是直角或钝角.,当B是直角时,则B+C=180,这与三角形的三个内角和等于180矛盾;,当B是钝角时,则B+C180,这与三角形的三个内角和等于180矛盾;,综上所述,假设不成立.,所以B一定是锐角.,分析:假设C没有撒谎,则C真.那么A假且B假;,由A假,知B真.这与B假矛盾.,那么假设C没有撒谎不成立;,则C必定是在撒谎.,2.A、B、C三个人,A说B撒谎,B说C撒谎,C说A,B都撒谎。则C必定是在撒谎,为什么?,1.反证法的一般步骤:,假设命题不成立,引出矛盾,假设不成立,求证的命题正确,假设,归谬,结论,从假设出发,得出结论,与假设、已知、定义、定理、公理或者事实矛盾等,2.用反证法证题时,应注意的事项:(1)周密考察原命题结论的否定事项,防止否定不当或有所遗漏.(2)推理过程必须完整,否则不能说

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论