《2.2.2 间接证明》导学案.doc_第1页
《2.2.2 间接证明》导学案.doc_第2页
《2.2.2 间接证明》导学案.doc_第3页
全文预览已结束

下载本文档

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

文档简介

第7课时间接证明 教学过程一、 问题情境问题1如何证明命题“在长方体ABCD-A1B1C1D1中,AB与A1C是异面直线”?(图1)证明假设AB与A1C共面.由于经过点C和直线AB的平面只能有1个(即底面ABCD),所以直线A1C和AB都应在底面ABCD内,于是A1在底面ABCD内,这与点A1在底面ABCD外矛盾.因此,直线AB与A1C是异面直线.二、 数学建构1. 反证法一般地,假设原命题不成立(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法.2. 反证法的3个步骤:(1) 反设假设命题的结论不正确,即假定原结论的反面为真;(2) 归谬从反设和已知条件出发,经过一系列正确的逻辑推理,得出矛盾结果;(3) 存真由矛盾结果,断定反设不真,从而肯定原结论成立.3. 间接证明不是直接从原命题的条件逐步推得命题成立(如反证法),这种不是直接证明的方法称为间接证明,反证法是间接证明的一种常用方法.概念理解1. 反设是反证法的基础,为了正确地作出反设,掌握一些常用的互为否定的表述形式是有必要的.例如:是不是;存在不存在;平行于不平行于;垂直于不垂直于;等于不等于;大(小)于不大(小)于;都是不都是;至少有1个1个也没有;至少有n个至多有(n-1)个;至多有1个至少有2个;唯一至少有2个.2. 归谬是反证法的关键,导出矛盾的过程没有固定的模式,但必须从反设出发,否则推导将成为无源之水,无本之木,推理必须严谨.3. 导出的矛盾有如下几种类型:与已知条件矛盾;与已知的公理、定义、定理、公式矛盾;与反设矛盾;自相矛盾.三、 数学运用【例1】(教材第86页例2)求证:错误!未找到引用源。不是有理数.2(见学生用书P45)处理建议直接证明一个数是无理数比较困难,我们采用反证法.假设错误!未找到引用源。不是无理数,那么它就是有理数.错误!未找到引用源。是有理数,我们能得到什么结论?我们知道,任一有理数都可以写成形如错误!未找到引用源。(m,n互质,mZ,nN*)的形式.上述分析若学生不会,可以由老师讲解,再让学生模仿,以了解和掌握无理数的证明.规范板书证明假设错误!未找到引用源。是有理数,于是,存在互质的正整数m,n,使得错误!未找到引用源。=错误!未找到引用源。,从而有m=错误!未找到引用源。n,因此,m2=2n2,所以 m 为偶数.于是可设m=2k (k 是正整数),从而有4k2=2n2,即n2=2k2,所以n也为偶数,所以m,n有公约数2.这与 m,n 互质矛盾,由上述矛盾可知假设错误,从而错误!未找到引用源。是无理数.解题反思(1) 反证法的巧妙之处在于说不清楚的问题,反过来说明,让人看得明明白白.(2) 正是错误!未找到引用源。的发现,使人们认识到在有理数之外,还有一类数与1是不可公度的,这就是无理数,从而引发了数学史上的第一次危机,大大推动了数学前进的步伐.【例2】(教材第85页例1)求证:正弦函数没有比2小的正周期.3(见学生用书P45)处理建议对于一些平时不多见的命题证明,要启发学生从数学定义入手,这是一个最简单、最重要的方法,而它往往会被忽视.规范板书证明假设T是正弦函数的周期,且0T2,则对任意实数x都有sin(x+T)=sinx成立,令x=0,得T=k,kZ.又0T1,(2-b)a1,(2-c)b1,则(2-a)c(2-b)a(2-c)b1,又因为a,b,c(0,2),所以(2-a)a错误!未找到引用源。=1,同理 (2-b)b1,(2-c) c1,所以(2-a)c(2-b)a(2-c)b=(2-a)a(2-b)b(2-c)c1,所以(2-a)c(2-b)a (2-c)b1,与矛盾,所以假设不成立,所以(2-a)c,(2-b)a,(2-c)b不可能同时大于1.来源:Zxxk.Com题后反思本题的关键是归谬找到矛盾,其思路不止一条,要会应用a,b,c的对称关系来消元.举例如下:假设(2-a)c,(2-b)a,(2-c)b都大于1, 即(2-a)c1,(2-b)a1,(2-c)b1,又因为a,b,c(0,2),所以错误!未找到引用源。1,所以1错误!未找到引用源。错误!未找到引用源。,同理1错误!未找到引用源。错误!未找到引用源。,1错误!未找到引用源。错误!未找到引用源。,相加得3错误!未找到引用源。+错误!未找到引用源。+错误!未找到引用源。=3,即3b,那么a3b3”,假设的内容是.(填序号) a3=b3;a3b3;a3=b3且a3b3;a3=b3或a3b3.(2) 否定结论“至多有2个解”的说法中,正确的是.(填序号)有1个解;有2个解;至少有3个解;至少有2个解.2. 用反证法证明:两个不相等的角,一定不是对顶角.证明假设这两个角是对顶角,根据对顶角定义,那么这两个角相等,这与已知“两个不相等的角”矛盾,所以假设不成立,所以原命题正确.3. 用反证法证明:错误!未找到引用源。不是有理数.证明假设错误!未找到引用源。是有理数.于是,存在互质的正整数m,n,使得错误!未找到引用源。=错误!未找到引用源。,从而有m=错误!未找到引用源。n,因此,m2=3n2,所以m为3的倍数.于是可设m=3k(k 是正整数),从而有9k2=3n2,即n2=3k2,来所以n也为3的倍数,所有m,n有公约数3.这与 m,n 互质矛盾,由上述矛盾可知假设错误,从而错误!未找到引用源。是无理数.4. 用反证法证明:若一个正整数的平方是偶数,则这个数一定是偶数.证明假设这个正整数不是偶数,则是奇数,设这个奇数是2k-1(kZ),则(2k-1)2=4k2-4k+1=2(2k2-2k)+1是一个奇数,与已知矛盾,所以假设不成立,所以这个数必然是偶数.五、 课堂小结1. 一般地,假设原命题不成立(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾,因此说明假设错误

温馨提示

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

评论

0/150

提交评论