摘要：反证法是对数学命题进行间接证明的一种有效方法。微积分是研究函数的微分、积分以及有关概念和应用的数学分支，其中反证法的应用，可以降低题目的复杂程度。本文就微积分学中几类常见的例题并着重分析一些具有反证法使用特征的典型范例，以此来解决我们在学习微积分过程中遇到的一些难题。59737

毕业论文关键词：反证法,微积分,开覆盖,凸函数

Abstract:Reduction to absurdity is an effective method of indirect proof on teaching proposition. Calculus is the study of the function of differentiation, integration and concepts and applications of the branch. The apply of reduction to absurdity can reduce the complexity of the subject. In this paper, the calculus of some common examples are focuses on some of the typical examples  which show the characteristics of reduction ad absurdity. By which can solve some of the problems we have encountered in the process of learning calculus.

Keywords：reduction to absurdity,differential and integral calculus,open cover,convex function

目录

1 前言… 4

2 反证法的概述… 4

2.1 反证法的定义及实质… 4

2.2 数学符号使用说明 4

2.3 反证法的步骤和特点… 5

2.4 反证法的逻辑依据 5

3 反证法在微积分学证明题中的应用举例 6

3.1 对于待证命题的结论以否定形式出现，可以考虑用反证法… 6

3.2 对于待证命题的结论以“至多…”，“至少…”的形式出现，可以考虑用反证法 7

3.3 对于待证命题的结论以“唯一”或“必然”的形式出现，可以考虑用反证法 9

3.4 对于待证命题的结论以不定式的形式出现，可以考虑用反证法…11

4 反证法的正确运用  13

参考文献14

致谢15 

1 前言

数学证明，是数学教学中的一个重要组成部分。通过数学证明，有助于弄清概念与概念之间，命题与命题之间以及条件与结论之间的本质联系，加深对数学知识的理解，培养和发现逻辑思维能力、分析问题和解决问题的能力。数学证明的方法是多样的，不胜枚举的，但无外乎分为两大类：直接证明和间接证明，而在间接证明中，反证法是最常见的一种，是证明题众多方法中一个有力的论证手段，它除了论证的功能外，还有发现的功能。它和分析法、综合法一样，有着悠久的历史，应用也相当广泛，是数学证明的大法。一个命题，当我们使用直接证明不易或无法证明出来时，不妨尝试用反证法来证明。而微积分是研究函数的微分、积分以及有关概念和应用的数学分支，其中反证法的应用，不仅可以降低题目的复杂程度，而且也能促进数学逻辑思维方式的改变，利于学生数学思维方式的培养。

本文就微积分学证明题中几类常见的例题并着重分析一些具有反证法使用特征的典型范例，以此来解决我们在学习微积分过程中遇到的一些难题，从而提高学生学习数学的兴趣。

2 反证法的概述

2.1 反证法的定义及实质

反证法的定义有很多，本文采用参考文献 中的定义，即反证法是一种通过确定与论题相矛盾的反论题的虚假，根据排中律，由假推真，来证明论题真实性的一种论证方法。即先假设命题中结论的反面成立，结合已知的定理条件，进行正确的推理、论证，得出和命题中的题设或前面学习过的定义、公理、定理或已知的事实相矛盾，或自相矛盾的结果，从而断定命题结论的反面不可能成立，因而断定命题中的结论成立，这种证明方法就叫做反证法。