毕业论文反证法应用研究.docVIP

哈尔滨师范大学 学 年 论 文 题 目 反证法的应用研究 学 生 陈超群 学 号 2004040590 指导老师 鲍曼 年 级 2005级8班 学 院 数学与计算机科学学院 系 别 数学系 哈尔滨师范大学 2007年12月 反证法的应用研究 陈超群 摘要：反证法是一种间接证法，它不直接证明论题“若A则B”（即A→B）为真，而是从反面去证明它的否定命题“既A且B” 为假，从而肯定“若A则B”为真的证明方法。 应用反证法解题应把握它的一般步骤： 反设：假定所要证的结论不成立，而设结论的反面（否定命题）成立； 归谬：将“反设”作条件，由此出发经过正确的推理，导出矛盾——与已知条件、已知的公理、定义、定理及明显的事实矛盾或自相矛盾： 结论：因为推理正确，产生矛盾的原因在于“反设”的谬误。既然结论的反面不成立，从而肯定了结论成立。 适于应用反证法证明的命题： ⒈基本命题，即学科中的起始性命题。此类命题由于已知条件及能够应用的定理、公式、法则较少，或由题设条件所能推得的结论很少，因