222反证法 (2)_第1页
222反证法 (2)_第2页
222反证法 (2)_第3页
222反证法 (2)_第4页
222反证法 (2)_第5页
已阅读5页,还剩21页未读 继续免费阅读

下载本文档

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

文档简介

1、2.2.2 反证法 路路边边苦苦李李 王戎王戎7 7岁时岁时, ,与小伙伴们外出游玩与小伙伴们外出游玩, ,看到路边的李看到路边的李树上结满了果子树上结满了果子. .小伙伴们纷纷去摘取果子小伙伴们纷纷去摘取果子, ,只有王戎只有王戎站在原地不动站在原地不动. .伙伴问他为什么不去摘?伙伴问他为什么不去摘? 王戎回答说王戎回答说:“:“树在道边而多子树在道边而多子, ,此必苦李此必苦李.”.”小小伙伴摘取一个尝了一下伙伴摘取一个尝了一下, ,果然是苦李果然是苦李. . 王戎是怎么知道李子是苦的呢王戎是怎么知道李子是苦的呢? ?他运用了怎样他运用了怎样的推理方法的推理方法? ? 王戎的推理方法是王

2、戎的推理方法是: :假设李子不苦假设李子不苦, ,则因树在则因树在“道道”边边, ,李子早就被别人采摘而没有了李子早就被别人采摘而没有了, ,这与这与“多多李李”产生矛盾产生矛盾. .所以假设不成立所以假设不成立, ,李为苦李李为苦李. .1.1.反证法的定义反证法的定义. .2.2.反证法的一般步骤反证法的一般步骤. . (重点)(重点)3.3.运用反证法的注意事项运用反证法的注意事项. . (难点)(难点)探究点探究点1 反证法的定义反证法的定义引例:引例: 证明:在一个三角形中至少有一个角不小证明:在一个三角形中至少有一个角不小于于6060. .已知:已知:A, B, C是是ABC的内角

3、的内角.求证:求证: A, B, C中至少有一个中至少有一个 不小于不小于60.证明:证明:假设假设 的三个内角的三个内角A, B, C都小于都小于60,ABC则有则有 A 60,B 60, C 60所以所以 A+B+C180这与这与 相矛盾相矛盾.三角形内角和等于三角形内角和等于180所以假设不成立,所求证的结论成立所以假设不成立,所求证的结论成立. 先假设结论的反面是正确的,然后通过逻辑推先假设结论的反面是正确的,然后通过逻辑推理,推出与公理、已证的定理、定义或已知条件相理,推出与公理、已证的定理、定义或已知条件相矛盾,说明假设不成立,从而得到原结论正确矛盾,说明假设不成立,从而得到原结论

4、正确. 这种证明方法就是这种证明方法就是反证法反证法 把这种不是直接从原命题的条件逐步推得命题把这种不是直接从原命题的条件逐步推得命题成立的证明方法称为间接证明成立的证明方法称为间接证明. .注:反证法是最常见的间接证法注:反证法是最常见的间接证法. . 一般地,假设原命题不成立(即在原命题的条一般地,假设原命题不成立(即在原命题的条件下,结论不成立),经过正确的推理,最后得出件下,结论不成立),经过正确的推理,最后得出矛盾矛盾. .因此说明假设错误,从而证明了原命题成立,因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做这样的证明方法叫做反证法反证法. .反证法反证法 否定结论否定结

5、论推出矛盾推出矛盾肯定结论肯定结论即分三个步骤:即分三个步骤:反设反设归谬归谬存真存真反设反设假设命题的结论不成立;假设命题的结论不成立;归谬归谬从假设出发,经过一系列正确的推从假设出发,经过一系列正确的推理,得出矛盾;理,得出矛盾;反证法的证明过程反证法的证明过程存真存真由矛盾结果,断定反设不成立,从而由矛盾结果,断定反设不成立,从而肯定原结论成立肯定原结论成立. . 归谬矛盾:归谬矛盾:(1 1)与已知条件矛盾)与已知条件矛盾. .(2 2)与假设矛盾或自相矛盾)与假设矛盾或自相矛盾. .(3 3)与已有公理、定理、定义、事实矛盾)与已有公理、定理、定义、事实矛盾. .反证法的思维方法:正

6、难则反反证法的思维方法:正难则反. .你能说出下列结论的反面吗你能说出下列结论的反面吗?1. ab2.d是正数是正数3.a04.aba不垂直于不垂直于bd不是正数不是正数,即即d0 a0a不平行不平行b万事开头难,让我们走好第一步!万事开头难,让我们走好第一步!探究点探究点2 反证法的应用反证法的应用常用的互为否定的表述方式:常用的互为否定的表述方式:至少有三个至少有三个最多有一个最多有一个至多有两个至多有两个至少有两个至少有两个原词语原词语 否定词否定词 原词语原词语 否定词否定词 等于等于任意的任意的是是 至少有一个至少有一个 都是都是 至多有一个至多有一个 大于大于 至少有至少有n n个

7、个 小于小于 至多有至多有n n个个 对所有对所有x,x,成立成立对任何对任何x x,不成立不成立 准确地作出反设准确地作出反设( (即否定结论即否定结论) )是非常重要的,是非常重要的,下面是一些常见的结论的否定形式下面是一些常见的结论的否定形式. . 不是不是不都是不都是不大于不大于大于或等于大于或等于一个也没有一个也没有至少有两个至少有两个至多有(至多有(n-1)个个至少有(至少有(n+1)个个存在某存在某x,不成立不成立存在某存在某x,成立成立不等于不等于某个某个证明:证明:因为因为a b 所以经过直线所以经过直线a,b确定一个平确定一个平面面 .因为因为 , ,而而 , 所以所以 与

8、与 是两个不同的平面是两个不同的平面. .aa因为因为 ,所以所以 . .bb且,b 例例1 已知直线已知直线a,b和平面和平面 ,如果如果 ,且且 ,求证求证: .ba,ba/a abP下面用反证法证明直线下面用反证法证明直线a与平面与平面 没有公共点,假设没有公共点,假设直线直线a与平面与平面 有公共点有公共点P P,则,则P P ,即点,即点P P是是直线直线a与与b b的公共点,这与的公共点,这与abb矛盾,所以矛盾,所以a . .b .2 2是无理数求证例 分析:分析:直接证明一个数是无理数比较困难,我直接证明一个数是无理数比较困难,我们采用反证法们采用反证法. . 假设假设 不是无

9、理数,那么它就是有理数不是无理数,那么它就是有理数. .我们我们知道,任一有理数都可以写成形如知道,任一有理数都可以写成形如 (m,nm,n互质,互质,mZ,nNmZ,nN* *) )的形式的形式. .下面我们看看能否由此推出矛下面我们看看能否由此推出矛盾盾. .2nm证明:证明:假设假设 不是无理数,那么它就是有理数不是无理数,那么它就是有理数. .2于是,存在互质的正整数于是,存在互质的正整数m,nm,n使得使得 ,从而有,从而有nm2,2nm 2222因因此此 m = 2n , m = 2n ,为为数数设设数数从从所所以以m偶m偶.于.于是是可可m = 2k(k是m = 2k(k是正正整

10、整),),而而有有,2422nk 2222即即 n = 2k , n = 2k ,为为数数 这这质质所所以以n也n也偶偶. 与. 与m,n互m,n互矛矛盾盾!设设错错误误从从无无数数由由上上述述矛矛盾盾可可知知假假,而而 2是2是理理. .反证法的一般步骤反证法的一般步骤先假设命题的结论不成立先假设命题的结论不成立从假设出发,经过推理从假设出发,经过推理得出矛盾得出矛盾否定假设否定假设肯定原命题肯定原命题分清条件和结论分清条件和结论【总结提升总结提升】宜用反证法证明的题型宜用反证法证明的题型 (1 1)以否定性判断作为结论的命题)以否定性判断作为结论的命题. .(2 2)某些定理的逆命题)某些

11、定理的逆命题. .(3 3)以)以“至多至多”、“至少至少”或或“不多于不多于”等形式陈等形式陈述的命题述的命题. .(4 4)关于)关于“唯一性唯一性”结论的命题结论的命题. .(8 8)涉及各种)涉及各种“无限无限”结论的命题等结论的命题等. .(7 7)有些基本定理或某一知识体系的初始阶段)有些基本定理或某一知识体系的初始阶段. .(6 6)一些不等量命题的证明)一些不等量命题的证明. .(5 5)解决整除性问题)解决整除性问题. .1.“a1.“ab”b”的反面应是(的反面应是( )A.A. abab或或a ab B. a b B. a b b C. a=b D. a=bC. a=b

12、D. a=b或或a ab b2. 2. 用反证法证明命题用反证法证明命题“三角形中最多有一个是直角三角形中最多有一个是直角”时,应假设时,应假设 _ _ . .D D三角形中有两个或三个角是直角三角形中有两个或三个角是直角3.3.否定否定“自然数自然数a a,b b,c c中恰有一个偶数中恰有一个偶数”时,正时,正确的反设为(确的反设为( )A.aA.a,b b,c c都是奇数都是奇数B. aB. a,b b,c c都是偶数都是偶数C. aC. a,b b,c c中至少有两个偶数中至少有两个偶数D. aD. a,b b,c c中都是奇数或至少有两个偶数中都是奇数或至少有两个偶数D D4.4.如

13、图,在如图,在ABCABC中中, ,若若C C是直角,那么是直角,那么B B一定是一定是锐角锐角. .ACB证明:证明:假设结论不成立假设结论不成立, ,则则B B是是直角直角或或钝角钝角. .当当B B是是直角直角时,则时,则B+ C= 180B+ C= 180,这与这与三角形的三个内角和等于三角形的三个内角和等于180180矛盾;矛盾;当当B B是是钝角钝角时,则时,则B+ CB+ C180180,这与这与三角形的三个内角和等于三角形的三个内角和等于180180矛盾;矛盾;综上所述综上所述, ,假设不成立假设不成立. .所以所以BB一定是锐角一定是锐角. .分析分析: :假设假设C C没有

14、撒谎没有撒谎, , 则则C C真真. .那么那么A A假且假且B B假假; ;由由A A假假, , 知知B B真真. . 这与这与B B假矛盾假矛盾. .那么假设那么假设C C没有撒谎不成立没有撒谎不成立; ;则则C C必定是在撒谎必定是在撒谎. .5.A5.A、B B、C C三个人,三个人,A A说说B B撒谎,撒谎,B B说说C C撒谎,撒谎,C C说说A,BA,B都撒谎。则都撒谎。则C C必定是在撒谎,为什么?必定是在撒谎,为什么?1.1.反证法的一般步骤反证法的一般步骤: :假设命题不成立假设命题不成立引出矛盾引出矛盾假设不成立假设不成立求证的命题正确求证的命题正确假设假设归谬归谬结论结论从假设从假设出发出发得出得出结论结论与假设、已知、定与假设、已知、定义、定理、公理或义、定理、公理或者事实矛盾等者事实矛盾等2.2.用反证法证题时用反证法证题时, ,应注意的事项应注意的事项: : (1 1)周密考察原命题结论的否定事项

温馨提示

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

评论

0/150

提交评论