反证法ppt课件演示文稿_第1页
反证法ppt课件演示文稿_第2页
反证法ppt课件演示文稿_第3页
反证法ppt课件演示文稿_第4页
反证法ppt课件演示文稿_第5页
已阅读5页,还剩16页未读 继续免费阅读

下载本文档

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

文档简介

1、复习复习1.1.直接证明的两种基本证法:直接证明的两种基本证法: 综合法和分析法综合法和分析法2.2.这两种基本证法的推证过程和特点:这两种基本证法的推证过程和特点:由因导果由因导果执果索因执果索因3 3、在实际解题时,两种方法如何运用?、在实际解题时,两种方法如何运用?通常用分析法通常用分析法寻求思路寻求思路,再由综合法,再由综合法书写过程书写过程综合法综合法已知条件已知条件结论结论分析法分析法结论结论 已知条件已知条件 (1 1)桌面上有)桌面上有3 3枚正面朝上的硬币,每次用双枚正面朝上的硬币,每次用双手同时翻转手同时翻转2 2枚硬币。那么无论怎样翻转,都不枚硬币。那么无论怎样翻转,都不

2、能使硬币全部反面朝上。你能解释这种现象吗?能使硬币全部反面朝上。你能解释这种现象吗?分析分析: :假设经过若干次翻转可以使硬币全部反面朝上。假设经过若干次翻转可以使硬币全部反面朝上。由于每枚硬币从正面朝上变为反面朝上由于每枚硬币从正面朝上变为反面朝上,都需要都需要翻转奇数次翻转奇数次但由于每次用双手同时翻转但由于每次用双手同时翻转2 2枚硬币,枚硬币,3 3枚硬枚硬币被翻转的次数只能是币被翻转的次数只能是2 2的倍数,的倍数,即偶数次即偶数次。这个矛盾说明假设错误,原结论正确。这个矛盾说明假设错误,原结论正确。所以所以3 3枚硬币全部反面朝上时,枚硬币全部反面朝上时,需要翻转需要翻转3 3个奇

3、数之和次,个奇数之和次,即翻转奇数次。即翻转奇数次。思考?思考?(2 2)A A、B B、C C三个人,三个人,A A说说B B撒谎,撒谎,B B说说C C撒谎,撒谎,C C 说说A A、B B都撒谎。则都撒谎。则C C在撒谎吗?为什么?在撒谎吗?为什么?分析分析: :假设假设C C没有撒谎没有撒谎, , 则则A A、B B都撒谎都撒谎. . 由由A A撒谎撒谎, , 知知B B没有没有撒谎撒谎. . 那么那么假设假设C C没有撒谎不成立没有撒谎不成立, ,则则C C必定是在撒谎必定是在撒谎. .这与这与B B撒谎矛盾撒谎矛盾. .思考?思考? 把这种不是直接从原命题的条件逐步把这种不是直接从

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

5、存真存真反设反设假设命题的结论不成立;假设命题的结论不成立;存真存真由矛盾结果,断定反设不成立,从而由矛盾结果,断定反设不成立,从而 肯定原结论成立。肯定原结论成立。归谬归谬从假设出发,经过一系列正确的推理,从假设出发,经过一系列正确的推理, 得出得出矛盾矛盾;用反证法证明命题的过程用框图表示为:用反证法证明命题的过程用框图表示为: 肯定条件肯定条件否定结论否定结论导导 致致逻辑矛盾逻辑矛盾反设反设 不成立不成立结论结论成立成立例1 求证:求证: 是无理数。是无理数。2 2证:假设 2是有理数,证:假设 2是有理数,m m则则存存在在互互质质的的整整数数m m,n n使使得得2 2 = =,n

6、 n m =2n m =2n2222 m = 2n m = 2n2 2m m 是是偶偶数数,从从而而m m必必是是偶偶数数,故故设设m m= =2 2k k(k kN N)22222222从而有4k = 2n ,即n = 2k从而有4k = 2n ,即n = 2k2 2n 也是偶数,n 也是偶数,这与m,n互质矛盾!这与m,n互质矛盾!所以假设不成立,2是有理数成立。所以假设不成立,2是有理数成立。例题例题例例2 2:已知:一个整数的平方能被已知:一个整数的平方能被2 2整除,整除, 求证:这个数是偶数。求证:这个数是偶数。证明:假设证明:假设a a不是偶数,不是偶数, 则则a a是奇数,不妨

7、设是奇数,不妨设a=2n+1(na=2n+1(n是整数是整数) ) a a2 2=(2n+1)=(2n+1)2 2=4n=4n2 2+4n+1=4n(n+1)+1+4n+1=4n(n+1)+1 a a2 2是奇数,与已知矛盾。是奇数,与已知矛盾。 假设不成立,所以假设不成立,所以a a是偶数。是偶数。注:注:直接证明难以下手的命题直接证明难以下手的命题,改变其思维方向,改变其思维方向,从进行反面思考,问题可能解决得十分干脆。从进行反面思考,问题可能解决得十分干脆。变式变式2:2: 不可能成等差数列不可能成等差数列5,3,2注:注:否定型命题否定型命题( (命题的结论是命题的结论是“不可能不可能

8、”,“不能表示为不能表示为”,“不是不是”,“不存不存在在” ” ,“不等于不等于”,“不具有某种性质不具有某种性质”等等) ) 常用反证法常用反证法解题反思:解题反思:证明本题时,你是怎么想到反证法的?证明本题时,你是怎么想到反证法的?反证法中归谬是核心步骤,本题中得到的逻辑矛盾是什么?反证法中归谬是核心步骤,本题中得到的逻辑矛盾是什么?点评:结论为点评:结论为“至少至少”、“至多至多”等时,我们应考虑用反证法解决。等时,我们应考虑用反证法解决。 例例4、设、设a3+b3=2,求证,求证a+b2证明:假设证明:假设a+b2,则有,则有a2b,从而,从而 a3812b+6b2b3, a3+b3

9、6b212b+8=6(b1)2+2.因为因为6(b1)2+22,所以,所以6(b1)20,y0 x0,y0,x+yx+y22,求证:求证: 中至少有一个小于中至少有一个小于2 2。xyyx1,1分析:分析:所谓至少有一个所谓至少有一个,就是不可能没有就是不可能没有,要证要证“至少有一个至少有一个”只要证明它的反面只要证明它的反面“两个都两个都”不不成立即可成立即可.注注:“至少至少”、“至多至多” 型命题型命题常用反证法常用反证法 3.变式变式4 4:设设0 a, b, c , (1 b)c , (1 c)a ,141414则三式相乘:则三式相乘: (1 a)b(1 b)c(1 c)a 164

10、又又0 a, b, c 1 所以所以2(1)10(1)24aaa a同理:同理:1(1)4b b1(1)4c c以上三式相乘以上三式相乘: (1 a)a(1 b)b(1 c)c 与矛盾与矛盾164原式成立。原式成立。高考链接:高考链接:2.归纳总结:归纳总结:三个步骤:三个步骤:反设反设归谬归谬存真存真归缪矛盾:归缪矛盾:(1 1)与已知条件矛盾;)与已知条件矛盾;(2 2)与已有公理、定理、定义矛盾;)与已有公理、定理、定义矛盾; (3 3)自相矛盾。)自相矛盾。 一般地,假设原命题不成立(即在原命题的条件一般地,假设原命题不成立(即在原命题的条件下,结论不成立),下,结论不成立), 经过正

11、确的推理,经过正确的推理, 最后得出矛盾。最后得出矛盾。因此说明假设错误,从而证明了原命题成立,因此说明假设错误,从而证明了原命题成立, 这样的这样的证明方法叫做证明方法叫做反证法反证法。(1)直接证明有困难)直接证明有困难正难则反正难则反!归纳总结:归纳总结:哪些命题适宜用反证法加以证明?哪些命题适宜用反证法加以证明?牛顿曾经说过:牛顿曾经说过:“反证法是数学家最精当的武器之一反证法是数学家最精当的武器之一” ” (3)唯一性命题)唯一性命题(2)否定性命题)否定性命题(4)至多,至少型命题)至多,至少型命题推推理理与与证证明明推理推理证明证明合情推理合情推理演绎推理演绎推理直接证明直接证明间接证明间接证明类比推理类比推理归纳推理归纳推理 分析法分析法 综合法综合法 反证法反证法知识结构知识结构唐吉诃德悖论 小说唐吉诃德里描写过一个国家它有一条奇怪的法律:每一个旅游者都要回答一个问题。问,你来这里做什么?如果旅游者回答对了。一切都好办。

温馨提示

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

评论

0/150

提交评论