摘要:在数学的诸多证明方法中,有一种被称为“数学家最精良的武器之一”的间接证明方法,这就是反证法。它与一般的证明方法不同,它主要是运用了一种逆向逻辑思维进行解题,使一些不易直接证明的问题变得简单、易证。本文介绍了反证法的概念、步骤、逻辑原理和使用方法,并对反证法的适用范围以及它在数学各方面的应用作了一些论述。
关键词:反证法;矛盾;应用
目录
摘要
Abstract
引言2
1 反证法的概念和逻辑原理2
1.1 反证法的概念2
1.2 反证法的逻辑原理3
2 反证法的步骤和使用方法3
2.1 反证法的步骤3
2.2 反证法的使用方法3
2.2.1 如何正确作出反设4
2.2.2 如何正确导出矛盾——归谬5
3 反证法的适用范围5
3.1 有关唯一性的命题5
3.2 有关否定性的命题5
3.3 有关限定形式的命题6
3.4 有关全称肯定性命题6
3.5 结论涉及不等式的命题7
3.6 结论涉及无限集或数目不确定的命题7
3.7 结论反面较结论本身简单、具体、直接证明难以下手的命题7
4 反证法的应用8
4.1 反证法在代数中的应用8
4.2 反证法在几何中的应用9
4.3 反证法在三角中的应用9
5 结论10
参考文献10