浅谈中学数学中的反证法--毕业论文.doc

【标题】浅谈中学数学中的反证法 【作者】吴 官 琳 【关键词】反证法??推理??逻辑依据??论证形式 【指导老师】冯 彬 【专业】数学与应用数学 【正文】1?引言反证法是一种简明实用、间接的数学证明方法，也是一种重要的数学思想。反证法的独特思维方法和证题方法对提高学生创造性地分析问题和解决问题的思想素质有重要意义。2?反证法的初步认识法国数学家阿达玛说过：“反证法在于表明，若肯定定理的假设而否定其结论，就会导致矛盾。”先假设命题中结论的反面成立，结合已知的定理条件，进行正确的推理、论证，得出和命题中的题设或前面学习过的定义、公理、定理、已知的事实相矛盾，或自相矛盾的结果，从而断定命题结论的反面不可能成立，因而断定命题中的结论成立，这种证明的方法就叫做反证法.?反证法与一般的证明方法不同，它采用的是逆向思维方式。即不直接证明结论，而是间接的去否定与事物相反的一面，从而得出事物真实的一面，是一种让步的、间接的证明方法。因为如此，运用它往往会使得证明过程简洁明快，令人茅塞顿开，拍案叫绝。更重要的是，数学中的一些命题和定理几乎只能运用反证法来证明。熟悉、掌握和运用反证法是极其重要的，它能使个人思路开阔，推理严密，对发展一个人的智力也是大有裨益的．一般情况下，反证法证明命题有三个步骤(命题为若“A则B”)：(1)反设------否定结论B,即假设结论的否定?成立。(2)归谬-------把反设?作为辅助条件，添加到题设中去，然后从这些条件出发，通过一系列正确的逻推理得到矛盾命题?及C。(3)结论------由所得的矛盾说明假设不成立，从而肯定原结论成立.例如?求证：任意凸多边形不可能有四个内角都是锐角。证明：假设存在一个凸多边形。其有四个内角小于??(反设)。这四个内角所对应的外角分别大于?，其和大于?，这与任意凸多边形的外角和为?相矛盾(归谬)。假设不成立，故任意凸多边形不可能有四个内角都是锐角(存真)。注意：在进行第一步时，要写出结论的全部相反情况，两种或两种以上的要一一进行推理并将其否定掉，因此有时这种反证法亦称为穷举反证法。3?反证法的逻辑依据反证法和直接证明法一样，它的推理过程，遵循形式逻辑基本规律的要求。有不少人认为：反证法的逻辑依据是原命题与逆否命题等价，只有掌握了四种命题的关系，才有理解反证法的基础。其实，这种说法是没有科学根据的，原因是中学数学课本把“命题的四种形式”安排在“反证法”之后，而且逆否命题和原命题的等价性还是利用反证法证明的。那么，反证法的逻辑依据是什么呢?为此，只须看一下反证法各步骤的逻辑依据是什么就行了.反证法的步骤 各步骤的逻辑依据 解释(1)否定结论,作出反设 (2)进行正确推理,导出矛盾?　 矛盾律(一对矛盾判断,?不能同真其中必有一假)　 因题设、公理、定义、定理是成立的，所以假设不成立　(3)肯定原结论 排中律（一对对立性的矛盾判断不能同假，其中必有一真） 原结论与假设对立矛盾，既然假设不成立，则原结论就正确由此可见，反证法的每一步都有其逻辑依据，它是一种科学的证明方法，下面以命题“如果A，那么B”为例，分析一下其证明过程：设B的矛盾假设为?，从?出发，经过正确的推理过程，得出一个新的命题C，即得出一个真命题“如果?，那么C”，但是，如果C和已有事实D(定义、定理、公理、题设A等)相矛盾或自相矛盾，根据矛盾律，这样就证明了“如果A，那么B”.?从以上分析还可看出，把反证法说成是证明和原命题等效的逆命题是不恰当的，只有当矛盾假设推出的结果正好是题设时，被证明的命题才是原命题的逆否命题。也就是说，由证明逆否命题成立来证明原命题只是反证法证明中的一种特殊情形。4?反证法的论证形式通过对大量应用反证法来证明的命题的观察，可以知道这些命题的表现形式大致分为两类：一类是形如“命题A”，另一类形如“命题P??命题Q”。这两类命题的反证法证明主要立足于以下两个等价命题：A?? C??以及P Q P?? C??其中C代表某一任意命题，C???代表矛盾，即恒假命题。这两个等价命题的正确性可由真值表证明。下面举两个例子来说明一下：例1?证明：lg2是无理数。注：这是“A?? C??”型，其中A：l?是无理数。例2?若m，n是奇数，x是x2+mx+n=0的根。则x不是整数。注：这是“P Q P?? C???”型，其中P：x是x2+mx+n=0的根，Q：x不是整数。5?反证法推出的矛盾类型?反证法的三个步骤,“归谬”是核心，这是因为根据反设与原设的的互不相容性，把二者放在一起作为推理的前提，不相容性就产生了，后来的推理就是不相容性的逻辑推理过程，而最终以逻辑矛盾明显表现出来.因此,整个论证过程自始自终存在着不相客性．?反证法实质上就是暴露这种相容