资源描述:
《中学数学解题方法研究反证法论文》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、中学数学解题方法研究反证法毕业论文目录摘要I绪论11.反证法的概念与来源21.1反证法的概念21.2反证法的来源21.2.1古希腊的反证法21.2.2中国古代数学的反证法31.2.3反证法的其他来源42.反证法的本质及步骤52.1反证法的本质52.2反证法的定义52.3反证法的步骤53.反证法的应用63.1反证法在代数中的应用63.2反证法在平面几何中的应用83.3反证法在立体几何中的应用104.毕业实习中的案例145.总结与展望18致谢19参考文献20II东华绪论近几年,随着大家对教育的关注,中、高考成为学
2、生们展示自己个人实力的一个重要平台,而数学将在这个平台上起着非常重要的作用,因而数学的解题方法的探讨以及熟练的运用这些解题方法则成为学生们的制胜法宝,现如今,中学数学教材之中,数学思想贯穿于整个教材的每个部分,数学方法是数学思想的媒介,将数学试题和数学思想结合起来,几乎已经渗透到了所有的数学教学过程之中。运用适当的数学解题方法,通过正确的分类可使复杂的问题得到完整、清晰、严密的解答。而反证法在数学领域一枝独秀。反证法不仅仅在初等数学中有着非常广泛的应用,就是在高等数学中也可能具有特殊作用。数学中的某些重要结论
3、,从最基本的性质和定理,对于某些难度较大的世界名题,往往都要用到反证法去证明的。因此,我选择了反证法这个论文方向,希望能够通过对反证法的研究,使我们能够更加清楚地认识到反证法这种方法,对培养中学生逆向思维,解决数学问题提供了一个很好的方向。这篇论文主要先从反证法的概念,来源,本质的一些反证法的概念出发,通过对于反证法的本质的理解,使它在中学数学中的各个方面、领域中的应用。-1-1.反证法的概念与来源1.1反证法的概念反证法是一种间接法,它是先提出一个与命题的结论相反的假设。然后,从这个假设出发经过正确的推理,
4、导致矛盾,从而否定相反的假设,达到肯定愿命题正确的一种方法。1.2反证法的来源1.2.1古希腊的反证法反证法,无论是逻辑上的还是数学上的,它的概念都是一致的。即是反证法是证明的一种方法。西方数学在毕达哥拉斯学派的影响下,认为万物皆数。用整数和几何图形构建一个宇宙图式。但随着这个表征数学史第一次危机“2”的问题的出现,使得希腊人重新审视了自己的数学,这最终导致希腊人放弃了以数为基础的几何。第一次危机使人们不能再依靠图形和直观了,须要更多的依靠推理和逻辑;同时危机还使几何学拒绝了无穷小。此时西方的数学成为以证明为
5、主的证明数学,他们要准确的数学,或者是他们推崇准确性的数学。表现形式就是:逻辑、演绎的体系。由此可见它是指证明的数学与算的数学正好相反。即使希腊人也讲计算,但是他们认为计算是初等的、低级的,是几何证明以后的一个应用而已。他们重视数学的演绎和证明,提出:希腊人除了重视演绎和逻辑的证明外也研究数值计算(尤其在希腊后期),但是希腊数学界认为数值计算是一种理论证。形式逻辑的发展与反对数学应用在实践的思潮对数学的影响深刻,柏拉图提出数学应从自明的绝对假设开始,通过系列的逻辑推论,而在最后达到所要求的结论。亚里士多德更是
6、努力地把形式逻辑应用于数学,第一,首先他研究数学概念,而且他不同意毕达哥拉斯学派“万物皆数”的观点;第二,他先承认通则(公设),他提出数学的证明只是把原有道理画出来,问题就可以解决了。《几何原本》就是在这样的一种情况下的产物。西方数学界在处理圆的面积时采用了与同东方截然不相同的演绎证明方法,同时也体现出他们所需要的“不要近似”思想。西方欧克托斯的反证法就是基于两个正多边形的面积比等于其对应线段比的平方的这个结论。-4-“萨谢利读欧几里得的《原本》,简直备他得力的归谬法吸引了,在萨谢利的《逻辑证明》的内容中,有
7、创建的是:把归谬法应用于欧几里得平行公设的研究,而且被允许印一本标题为《排除任何谬误的欧几里得》的小书”,当然,我们这里所说的归谬法即我这所研究反证法,因此这是非欧几何的肇始,并且也说明早在《几何原本》中就已经开始运用反证法了。1.2.2中国古代数学的反证法在我们中国的传统数学中,本身对于演绎的证明一般就不太重视,而且中国传统逻辑学的不完备,尽管我们中国的先辈们认识到了一些逻辑规律,并且在魏晋时期就已经大兴辩难之风,但是他们大多使用的都是类似于反驳,当然其中使用到反驳中常使用的归谬法,刘徽受到它的影响下,在他
8、为《九章算术》作注释时也多次采用了归谬论证法,墨子也使用归谬法。但是应该指出:明确的反证法的用法却是凤毛麟角。在这一点上与西方存在着差别极大。而西方无论是在逻辑中,还是数学中都认为反证法是一种普通的证明方法。而在中国数学中,即便是刘徽这位我国古代在理论与逻辑方面都很擅长的数学大师,也只是用到了反驳(如:举反例)。证明与反驳在科学的发现中同样重要。证明只能用于证实猜想,因为这是个验证过程,通常不会有新