毕业论文:浅谈反证法在中学数学中的应用_第1页
毕业论文:浅谈反证法在中学数学中的应用_第2页
毕业论文:浅谈反证法在中学数学中的应用_第3页
毕业论文:浅谈反证法在中学数学中的应用_第4页
毕业论文:浅谈反证法在中学数学中的应用_第5页
已阅读5页,还剩5页未读 继续免费阅读

下载本文档

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

文档简介

1、selectionparagraphformatlinespacinglinestopointsselectionparagraphformatlinespacinglinestopointselectionparagraaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaphformatlinespacinglinestopointsselectionparagraphformatlinespacinglinestselectionparbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb

2、agraphfolinespacinglinestopointsselectionparagraphformatlinespacinglinestopointse11111111111111111111111111111111lectionparagraphformatlinespacinglinestopointsselectionparagraphformatlinespacinglinestopoctionparagraphformatlinespaci2222222222222222222222nglinestopoints2selectionparagraphformatlinesp

3、acinglinestopointsselectionparagraphformatlinespacinglinestopointselectionparagraphfccccccccccccccccccccccccccccccccccccccccccccccccccccccccormatlinespacinglinestopointsselectionparagraphformatlinespacinglinestopoctionparagraselec浅谈反证法在中学数学中的应用摘要:阐明反证法的定义、逻辑依据、证明的一般步骤、种类,探索其在中学数学中的应用。关键词:反证法 证明 矛盾1.

4、 引言有个很著名的“道旁苦李”的故事:从前有个名叫王戎的小孩,一天,他和小朋友发现路边的一棵树上结满了李子,小朋友一哄而上,去摘,尝了之后才知是苦的,独有王戎没动,王戎说:“假如李子不苦的话,早被路人摘光了,而这树上却结满了李子,所以李子一定是苦的。”这个故事中王戎用了一种特殊的方法,从反面论述了李子为什么不甜,不好吃。这种间接的证法就是我们下面所要讨论的反证法。反证法不但在初等数学中有着广泛的应用,而且在高等数学中也具有特殊作用。数学中的一些重要结论,从最基本的性质、定理,到某些难度较大的世界名题,往往是用反证法证明的。2. 反证法的定义、逻辑依据、种类及模式定义:反证法是从反面的角度思考问

5、题的证明方法,属于“间接证明”的一类,即肯定题设而否定结论,从而导出矛盾,推理而得。不仿设原命题为,是推出的结论,一般是条件、某公理定义定理或临时假设,用数学术语可以简单地表示为:,即。逻辑依据:反证法所依据的是逻辑思维规律中的“矛盾律”和“排中律”。种类:运用反证法的关键在于归谬,因此反证法又称为归谬法。根据结论b的反面情况不同,分为简单归谬法和穷举归谬法。模式:设待证的命题为“若a则b”,其中a是题设,b是结论,a、b本身也都是数学判断,那么用反证法证明命题一般有三个步骤:(1) 反设:作出与求证结论相反的假设;(2) 归谬:将反设作为条件,并由此通过一系列的正确推理导出矛盾;(3) 结论

6、:说明反设不成立,从而肯定原命题成立。3. 反证法的适用范围反证法”虽然是在平面几何教材中出现的,但对数学的其它各部分内容,如代数、三角、立体几何、解析几何中都可应用。那么,究竟什么样的命题可以用反证法来证呢?当然没有绝对的标准,但证题的实践告诉我们:下面几种命题一般用反证法来证比较方便。3.1否定性命题即结论以“没有”“不是”“不能”等形式出现的命题,直接证法一般不易入手,而反证法有希望成功。例 求证:在一个三角形中,不能有两个角是钝角。已知:a,b,c是三角形abc的三个内角。求证:a,b,c中不能有两个钝角。证明:假如a,b,c中有两个钝角,不妨设a900,且b900,则a+b+c180

7、0。这与“三角形内角和为1800”这一定理相矛盾。 故 a,b均大于900不成立。所以,一个三角形不可能有两个钝角。3.2限定式命题即结论中含有“至多”、“至少”、“不多于”或“最多”等词语的命题。例 在半径为的圆中,有半径等于1的九个圆,证明:至少有两个小圆的公共部分的面积不小于。证明:每个小圆的公共部分的面积都小于,而九个小圆共有个公共部分,九个小圆的公共部分面积要小于,又大圆面积为,则九个小圆应占面积要大于,这是不可能的,故至少有两个小圆的公共部分面积不少于。例 已知方程,中至少有一个方程有实数值,求实数的取值范围。分析:此题直接分情况用判别式求角就特别麻烦,可用反证法,假设三个方程都无

8、实数根,然后求满足条件的集合的补集即可。证明:假设三个方程都无实根,则有: 解得 所求的范围为.3.3无穷性命题即涉及各种“无限”结论的命题。例 求证:是无理数。分析:由于题目给我们可供便用的条件实在太少,以至于正面向前进一小步都非常困难。而无理数又是无限不循环的,“无限”与“不循环”都很难表示出来。当反设是有理数时,就增加了一个具体而有效的“条件”,使得能方便地将表示为一个分数。证明:假设是有理数,则存在互质,使,从而,为偶数,记为,则也是偶数。由,均为偶数与、互质矛盾,故是无理数。例 求证:素数有无穷多个。证明:假设素数只有n个: p1、p2pn,取整数n=p1p2pn+1,显然n不能被这

9、几个数中的任何一个整除。因此,或者n本身就是素数(显然n不等于“p1、p2、pn中任何一个),或者n含有除这n个素数以外的素数r,这些都与素数只有n个的假定相矛盾,故素数个数不可能是有限的,即为无限的。3.4逆命题某些命题的逆命题,用反证法证明时可利用原命题的结论,从而带来方便。例 正命题:若四边形有一个内切圆,则对边之和必相等。逆命题:若四边形对边之和相等,则它必有一个内切圆。逆命题的证明:如图,若ab+cdad+bc(1),设四边形abcd不能有一个内切圆,则可作o与其三边ad、dc、ab相切,而bc与o相离或相交,过c作o的切线交ab或延长线于点e,由正命题知:ae+cdad+ce(2)

10、.当bc与o相离时,(1)-(2)得ab-aebccebcce+be,这与三角形两边之和大于第三边相矛盾;当bc与o相交时,(2)-(1)得ae-abcebcbcce+be,同样推出矛盾,则bc与o不能相交或离,bc与o必相切,故四边形必有一个内切圆。3.5某些存在性命题例设x,y(0,1),求证:对于a, br ,必存在满足条件的x, y,使|xy - ax - by|成立.证明:假设对于一切x , y0 , 1使|xy - ax- by| 恒成立,令x = 0 , y = 1 ,则|b|令x = 1 , y = 0 , 得| a| 令x = y = 1 ,得| 1 - a - b| 但|

11、1 - a - b| 1 - | a| - | b| 1 -=产生矛盾,故欲证结论正确。3.6全称肯定性命题即结论以“总是”、“都”、“全”等出现的,这类肯定性命题可以用反证法试试。例 求证:无论是什么自然数,总是既约份数。证明:假设不是既约分数,令(1),(2)(),且为既约,由(2)3-(1)2得,因为整数,为分数,则不成立,故假设不成立,分数是既约的。3.7一些不等量命题的证明如:不等式,反证法是证明它的一种重要方法,但当结论反面有无穷多种情况时,一般不宜用反证法。例 已知a、b、c、dr,且ad-bc1,求证:a2+b2+c2+d2+ab+cd1。 证明:假设a2+b2+c2+d2+a

12、b+cd1,把adbc1代入前式得:a2+b2+c2+d2+ab+bc-ad+cd0 即(a+b)2+(b+c)2+(c+d)2+(a-d)20 a、b、c、dra+bb+cc+da-d0 abcd,从而ad-bc0与ad-bc1矛盾.故假设不成立,原命题成立.例 在abc中,cb,求证:abac.分析:此题看似简单,不用反证法,用平面几何的知识也能解决,也可以用反证法加以证明。证明:假设ab不大于ac,即abac,下面就abac或abac两种情况加以证明,若说明这两种情况都不成立,则假设错误,即原命题成立.(1) 若abac,则abc为等腰三角形,bc,与已知cb矛盾.(2) 若abac,在

13、ab延长线上取一点d,使得ad=ac,连接dc. ad=ac adc为等腰三角形 adcacd,又abc为abd的一个外角 abcbdcacd 而acdacbc abcc 即bc,与已知矛盾. 假设不成立,原命题成立.3.8基本命题即学科中的起始性命题,此类命题由于已知条件及能够应用的定理、公式、法则较少,或由题设条件所能推出的结论很少,因而直接证明入手较难,此时应用反证法容易奏效。如:平面几何在按照公理化方法建立起它的科学体系时,最初只是提出少量的定义、公理。因此,起始阶段的一些性质和定理很难直接推证,它们多数宜用反证法来证明。例 已知:如图 abef于m。cdef 于n。求证:abcd证明

14、:假设ab,cd不平行,即ab,cd交于点p ,则过p点有abef ,且cdef,与“过直线外一点,有且只有一条直线垂直于已知直线”矛盾 。假设错误,则abcd。例 求证:两条相交直线只有一个交点。已知:如图,直线a、b相交于点p,求证:a、b只有一个交点。证明:假定a,b相交不只有一个交点p,那么a, b至少有两个交点p、q。于是直线a是由p、q两点确定的直线,直线b也是由p、q两点确定的直线,即由p、q两点确定了两条直线a, b。与已知公理“两点只确定一条直线”相矛盾,则a, b不可能有两个交点,于是两条相交直线只有一个交点。3.9整除性问题例 设a、b都是整数,a2+b2 能被3整除,求

15、证:a和b都能被3整除.证明:假设a、b不都能被3整除,分三种情况讨论:(1)a、b都不能被3整除,因a不能被3整除,故a2不能被3整除,同理,b2不能被3整除,所以a2+b2也不能被3整除,矛盾.(2)a能被3整除,b不能被3整除,可得a2能被3整除,b2不能被3整除,故a2+b2也不能被3整除,矛盾.同理可证第三种情况.由(1)(2)(3)得,原命题成立.4. 运用反证法应注意的问题4.1必须正确否定结论正确否定结论是运用反证法的首要问题。如:命题“一个三角形中,至多有一个内角是直角”。“至多有一个”指:“只有一个”或“没有一个”,其反面是“有两个直角”或“三个内角都是直角”,即“至少有两

16、个是直角”。4.2必须明确推理特点否定结论导出矛盾是反证法的任务,但何时出现矛盾,出现什么样的矛盾是不能预测的,也没有一个机械的标准,有的甚至是捉摸不定的. 一般总是在命题的相关领域里考虑( 例如,平面几何问题往往联系到相关的公理、定义、定理等),这正是反证法推理的特点。因此,在推理前不必要也不可能事先规定要得出什么样的矛盾。只需正确否定结论,严格遵守推理规则,进行步步有据的推理,矛盾一经出现,证明即告结束。4.3了解矛盾种类反证法推理过程中出现的矛盾是多种多样的,推理导出的结果可能与题设或部分题设矛盾,可能与已知真命题(定义或公理、或定理、或性质)相矛盾,可能与临时假设矛盾,或推出一对相互矛

17、盾的结果等。反证法是数学中一种重要的证明方法, 是“数学家的最精良的武器之一”,在许多方面都有着不可替代的作用. 它以其独特的证明方法和思维方式对培养学生逻辑思维能力和创造性思维有着重大的意义。反证法不仅可以单独使用,也可以与其他方法结合使用,并且可以在论证一道命题中多次使用,只要我们正确熟练运用,就能做到:精巧、直接、巧解难题、说理清楚、论证严谨,提高数学解题能力.参考文献:1 赵雄辉.证明的方法m.湖南:湖南人民出版社.2001:85-922 龙朝阳.反证法的理论基础与适用范围j.安顺师专学报.1999(2):40-46.3 陈国祥.适合用反证法证明的几类问题j.中学数学教学参考.1994

18、(7):22-23.4 颜长安.反证法初探j.数学通讯. 2001(13):22-24.5 高珑珑.反证法例说j.中学数学月刊. 1997(4):33-35.6 徐加生.例谈正难则反的解题策略j. 数学教学研究.1999(4):12-13.7 王桥.威力无比的反证法db/ol8 李云涛.浅谈反证法db/ol9 叶永艺.正难则反,从反面考虑问题db/olreduction to absurdity applied in mathematics in middle school fang-jinhuaabstract: in this paper, we give the definition ,

19、the logical basis and species of reduction to absurdity. besides, we illustrate its procedures and explore its applications of on mathematics in the middle school.key-words: reduction to absurdity proof contradict selectionparagraphformatlinespacinglinestopointsselectionparagraphformatlinespacinglinestopointselectionparagraaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaphformatlinespacinglinestopo

温馨提示

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

评论

0/150

提交评论