论反证法在中学数学中的应用

昆明学院2016届毕业论文（设计）

设计（论文）题目论反证法在中学数学中的应用

子课题题目

姓名郑粒红

学号 ************

所属系数学系

专业年级数学与应用数学2012级数学1班

指导教师雷晓强

2016 年 3 月

摘要

本文主要从五大板块对反证法在中学数学中的应用进行论述，第一板块通过对反证法的由来、定义、逻辑依据、种类、模式的说明对反证法进行概解。第二板块例举反证法的适用范围，并通过大量实例阐明在各个命题中反证法的证明的步骤。第三板块分析应用反证法应注意的问题。第四板块浅析反证法的教学价值及建议。最后第五板块进行分析总结。

关键词：反证法;证明;矛盾

Abstract

This article mainly from the five plate on the reduction to absurdity in the middle school mathematics application is discussed, and the first plate by means of reduction to absurdity and types of the origin, definition and logical basis, the model of generalized solution of reduction to absurdity. Second plate presented the applicable scope of reduction to absurdity, and through a lot of examples to elucidate the reduction to absurdity in the proposition proof steps. Some problems that should be paid attention to the third sector analysis application of reduction to absurdity. The fourth section teaching value of reduction to absurdity is analysed and the suggestion. Finally the fifth plate were analyzed.

Keywords:Reduction to absurdity; prove ;contradiction

目录

绪论 (1)

第一章反证法概解 (2)

1.1 反证法的由来 (2)

1.2 定义 (2)

1.3 逻辑依据 (3)

1.4 种类 (3)

1.4.1 简单归谬法 (3)

1.4.2 穷举归谬法 (4)

1.5 模式 (4)

第二章反证法的适用范围 (5)

2.1否定性命题 (5)

2.2 肯定性命题 (5)

2.3限定式命题 (5)

2.3.1 “至多” (6)

2.3.2“至少” (6)

2.3.3 其他 (7)

2.4无限性命题 (7)

2.5 基本定理和初始命题 (9)

2.6逆命题 (9)

2.7 某些存在性命题 (10)

2.8全称肯定性命题 (10)

2.9一些不等量命题 (11)

2.10基本命题 (14)

第三章应用反证法应注意的问题 (16)

3.1 反设要正确 (16)

3.2 明确推理特点 (16)

3.3 善于灵活运用 (16)

第四章反证法的教学价值及建议 (17)

4.1 反证法的教学价值 (17)

4.1.1 训练逆向思维 (17)

4.1.2 促进数学思维的形成 (17)

4.1.3 培养思维严密性 (18)

4.1.4 渗透数学史 (18)

4.2 反证法的教学建议 (19)

4.2.1 多次反复, 螺旋上升 (19)

4.2.2 精心研究, 训练反设 (19)

4.2.3 渗透数学思想方法, 训练严密 (19)

4.2..4 共同探究, 总结归谬类 (19)

第五章结论 (23)

参考文献 (24)

谢辞 (25)

绪论

从前有一个叫王戎的小孩。在天朗气清的一天，他和小朋友们出去玩并在路边发现一棵树上结满了李子，小朋友们蜂拥而上，去摘李子吃，尝了之后发现是李子苦的[]5。这时站在一边没有动的王戎向小朋友们解释道：如果李子是甜的，早被路人摘光了，而这棵树上的李子结得满满的，所以这些李子一定是苦的。这个故事中王戎从反面论述了李子为什么一定是苦的[]6。这种反面的证明方法就是我下面所要讨论的反证法[]7。

反证法是数学证明中一种极为重要的方法，牛顿曾经说过：“反证法是数学家最精当的武器之一”[]1。同时反证法也拥有历史悠久的应用与发展，古希腊数学家们就曾应用它证明了许多重要教学命题，比如，欧几里德证明两条直线相交只有一个交点的定理就是用反证法证明的。

第一章 反证法概解

1.1 反证法的由来

反证法,从名称上我们就能知道它是一种证明方法，它在数学和逻辑上是统一的[]2。在毕达哥拉斯学派的影响下早期古希腊的数学认为万物皆数，并用整数和几何图形构建了一个宇宙图式，当时在数学家的脑海里万物皆数这个思想是根深蒂固的。但是随着2的出现，希腊开始重新审视他们眼里的数学，认识到图形和直观并不是万能的，从而推理和逻辑走上了数学的舞台。于此同时西方数学变成了以证明为主的证明数学,他们的数学推崇准确性，他们要的是准确的数学。其表现形式为:逻辑、演绎的体系。由此可见证明的数学与算的数学正好是相反的。希腊人重视逻辑和演绎的证明，在欧几里得的《几何原本》里反证法得到了最早的应用[]8。

在《初等数学教程》（平面几何卷）中法国数学家J ·阿达玛作了最准确、最简明扼要、最精辟的描述：“反证法在于表明，若肯定定理的假设而否定其结论，就会导致矛盾”[]3。在数学命题的证明中作为一种最重要且基本的数学证明方法的反证法被广泛应用[]9。就如，伽利略推翻“不同重量的物体从高空下落的速度与其重量成正比”的断言，欧几里得证明的“素数有无穷多”的结论，欧多克斯证明的“两个正多边形的面积比等于其对应线段比的平方”的结论， “最优化原理”的证明，“上帝并非全能”的证明，其中都运用了反证法[]2。在我们学习的各个阶段，反证法自始至终都陪伴着我们。

1.2 定义

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

不仿设原命题为p q →，s 是推出的结论，s 表示条件、某公理定义定理或临时假设，则用数学术语可以简单地表示为：()

q p s s q p →⇒∧→→，即