反证法在中学数学中的应用.docVIP

  • 0
  • 0
  • 约7.45千字
  • 约 16页
  • 2026-02-02 发布于安徽
  • 举报

PAGE3

浅谈中学数学中的反证法

摘要

数学命题的证明方法分为直接和间接两种。在间接证明中,最常见的是反正法。虽然我们已经接触到相关方面的知识,但我们是零碎的,没有系统地了解其概念,应用步骤和使用范围。由于数学命题的多样性和复杂性,哪些命题适宜用反证法很难给出明确的答案,本课题通过查阅资料和自己在学习数学过程中的发现就中学数学中反证法的概念、反证法的逻辑依据、种类及步骤,解题过程中怎样由假设出发寻找矛盾、以及哪些类型的问题适宜从反证法出发进行证明的问题进行了归纳.并总结出在学习反证法的过程中应注意的三个方面,通过对以上提出的所有问题进行系统归纳,这有利于帮助学生系统的学习反证法,提高学生利用反证法进行解题的技巧从而达到预期效果.

关键词:反证法;假设;矛盾

目录

TOC\o1-3\h\z\u14838摘要 1

168751引言 3

87182反证法概述 3

253552.1反证法的概念 3

244702.2反证法逻辑依据 4

164842.3反证法证明步骤 5

71342.4证明实例 5

195063中学数学中反证法的适用范围 8

321563.1否定性命题 9

169223.2限定式命题 9

191053.3无穷性命题 10

200883.4逆命题 11

195493.5某些存在性命题 12

208324运用反证法应注意的问题 13

136814.1必须正确否定结论 13

88004.2必须明确推理特点 13

309404.3了解矛盾种类 13

9086结论 14

18312参考文献 15

1引言

数学命题的证明分直接证法和间接证法两种.在间接证法中,最常见的是反证法.反证法是数学的一种极其重要的方法,特别是遇到的一些直接证明难于入手,甚至无法入手的问题,反证法可使证明变得轻而易举.它和分析法、综合法一样,有着悠久的历史,应用也相当广泛.

虽然平时我们接触了相关方面的知识,但比较零散,对其概念、应用步骤、使用范围等没有系统的认识,并且由于数学命题的多样性、复杂性,哪些命题适宜用反证法很难给出确切的回答,所以在中学数学中,反证法是一个难点.在学习反证法之前,学生在学习平行线、相交线、三角形等各章中,证题用的都是直接证法,突然学习反证法,与已有的证题习惯不同,所以学生初学反证法,会有排斥的心理.加之,现在课本要求不高,例题很少,学生与老师不重视,知识不巩固,使学生无法深刻理解反证法的作用.但是,中学生好奇心强,对新鲜事物兴趣浓,抓住这一特点,从浅显的、学生熟知的事实入手说明“反证法”,再引导其抽象概括,就能收到很好的教学效果,所以本课题就反证法的概念、反证法的逻辑依据、种类及步骤,解题过程中怎样否定结论寻找矛盾、哪些类型的问题适宜从反证法出发进行证明的问题进行了归纳,并通过实例表现反证法的思维方式,说明反证法在解题中的重要作用,使学生深刻理解反证法的实质,切实掌握它的解题要领,从而提高逻辑思维能力和解决实际问题的能力.

2反证法概述

有这样一件事:有一天,小赵和朋友去吃饭,当经过一家餐厅时朋友们都说去这家餐厅吃饭,可小赵却不同意,他说:“这家饭菜肯定不好吃,如果好吃的话在这家餐厅吃饭的人肯定很多,而事实是这家餐厅没人吃饭,所以这家饭菜肯定不好吃.”这个故事中小赵用了一种特殊的方法,从反面论述了这家餐厅饭菜不好吃.这种间接的证法就是下面讨论的反证法.

2.1反证法的概念

反证法是从反面的角度思考问题的证明方法,属于“间接证明”的一类,即肯定题设而否定结论,从而导出矛盾,推理而得.

反证法是数学中常用的间接证明方法之一.反证法的逻辑基础是形式逻辑基本规律中的排中律.通常反证法是在待证命题正面难以入手而从待证命题的结论的反面入手进行正确推理,推出矛盾,从而得出原结论的反面不真,由此肯定原结论为真【1】.假设命题的否定成立,即在“已知条件”和“命题的否定”这个新条件下,通过逻辑推理,得出与公理﹑定理、题设、临时假定相矛盾的结论或自相矛盾,从而断定命题判断的反面不成立,即证明了命题的结论一定是正确的,当命题由已知不易直接证明时,改证它的逆命题的证明方法叫反证法【2】.

例2.1.1函数在上有意义,且如果对于不同的都有求证:.

证明:假定至少存在一组不同的使得

.(不妨设)

由已知条件得

即,,

这与假设矛盾,假设不成立,因此原命题成立.

2.2反证法逻辑依据

反证法所依据的是逻辑思维规律中的“矛盾律”和“排中律”.

排中律是在同一思维过程中,两个矛盾的思想必有一个是真的.

排中律常用公式来表示,意即真或真.其中和表示

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档