高二数学反证法公开课ppt课件_第1页
高二数学反证法公开课ppt课件_第2页
高二数学反证法公开课ppt课件_第3页
高二数学反证法公开课ppt课件_第4页
高二数学反证法公开课ppt课件_第5页
已阅读5页,还剩10页未读 继续免费阅读

下载本文档

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

文档简介

1、2.2.2 反证法反证法1将将9 9个球分别染成红色或白色。那么无论怎样个球分别染成红色或白色。那么无论怎样染,至少有染,至少有5 5个球是同色的。你能证明这个结个球是同色的。你能证明这个结论吗?论吗?引例引例1:引例引例2:证明:设证明:设p为正整数,如果为正整数,如果p2是偶数是偶数, 则则p也是偶数。也是偶数。假设假设p不是偶数,可令不是偶数,可令p=2k+1,k为非负整数。为非负整数。可得可得 p2=4k2+4k+1,此式表明,此式表明,p2是奇数,这与条件是奇数,这与条件矛矛盾,因此假设盾,因此假设p不是偶数不成立,从而证明不是偶数不成立,从而证明p为偶数。为偶数。正难则反正难则反2

2、假设假设命题命题结论结论的的反面成立反面成立,经过正确的推理,经过正确的推理, ,引出引出矛矛盾盾,因此说明,因此说明假设错误假设错误, ,从而从而间接间接证明证明原命题成立原命题成立, ,这这样的的证明方法叫样的的证明方法叫反证法反证法。 反证法反证法3反证法的证明过程:反证法的证明过程: 反设反设归谬归谬存真存真反设反设假设命题的结论不成立,假设命题的结论不成立, 即假设原结论的反面为真即假设原结论的反面为真.归谬归谬从反设和已知条件出发,从反设和已知条件出发, 经过一系列正确的逻辑推理,经过一系列正确的逻辑推理, 得出矛盾结果得出矛盾结果.存真存真由矛盾结果,断定反设不真,由矛盾结果,断

3、定反设不真, 从而肯定原结论成立从而肯定原结论成立.4例例1证明证明 不是有理数。不是有理数。2证明:假定证明:假定 是有理数,则可设是有理数,则可设 ,其中其中p,q为为互质的正整数,互质的正整数,22pq 两边平方得到,两边平方得到,2q2=p2, 式表明式表明p2是偶数,所以是偶数,所以p也是偶数,于是令也是偶数,于是令p=2l,l是正整数,代入式,是正整数,代入式,得得q2=2l2, 式表明式表明q2是偶数,所以是偶数,所以q也是偶数,这样也是偶数,这样p,q都有公因数都有公因数2,这与,这与p,q互质矛盾,互质矛盾,因此因此 是有理数不成立,于是是有理数不成立,于是 是无理数是无理数

4、.225例例2证明证明1, ,2不能为同一等差数列不能为同一等差数列的三项。的三项。3证明:假设证明:假设1, ,2是某一等差数列中的是某一等差数列中的三项,设这一等差数列的公差为三项,设这一等差数列的公差为d,则,则31= md,2= +nd,其中,其中m,n为某为某两个正整数,两个正整数,336由上两式中消去由上两式中消去d,得到,得到n+2m=(n+m) ,因为因为n+2m为有理数,为有理数,(m+n) 为无理数为无理数,33所以所以n+2m(n+m),因此假设不成立,因此假设不成立,1, ,2不能为同一等差数列中的三项不能为同一等差数列中的三项.37221223., ,2,22.a b

5、 caxbxc ybxcxaycxaxbx例3已知是互不相等的实数 求证:由y和确定的三条抛物线至少有一条与 轴有两个不同的交点8212221222222222222,= 240= 240= 2402,2,23,xbaccababcabcabbcacabab bcbc acacabcabbcac假设题设中的函数确定的三条抛物线都不与 轴有两个不同的交点 则以例 证明:上三式相加得又因为互不相等,由基本不等式得相加得以上两式矛盾因此假设不成立 从而命题得证910例例5 5. .(2011(2011南通模拟南通模拟) )若若a a、b b、c c均为实数均为实数, ,且且求证:求证:a a、b b

6、、c c中至少有一个大于中至少有一个大于0.0.22by2z,cz2x.362ax2y,21112例例6.设设0 a, b, c , (1 b)c , (1 c)a ,141414则三式相乘:则三式相乘: (1 a)b(1 b)c(1 c)a 16413又又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原式成立。原式成立。14原词语原词语 否定词否定词 原词语原词语 否定词否定词 等于等于任意的任意的是是 至少有一个至少有一个 都是都是 至多有一个至多有一个 大于大于 至少有至少有n n个个 小于小于 至多有至多有n n个个 对所有对所有x x成立成立对任何对任何x x不成立不成立准确地作出反设准确地作出反设( (即否定结论即否定结论) )是非常重要的,是非常重要的,下面是一些常见的下面是一些常见的关键词关键词的否定形式的否定形式. . 不是不是不都是不都

温馨提示

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

评论

0/150

提交评论