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

哈尔滨师范大学 学 年 论 文 题 目 反证法的应用研究 学 生 陈超群 学 号 2004040590 指导老师 鲍曼 年 级 2005级8班 学 院 数学与计算机科学学院 系 别 数学系 哈尔滨师范大学 2007年12月 反证法的应用研究 陈超群 摘要：反证法是一种间接证法，它不直接证明论题“若A则B”（即A→B）为真，而是从反面去证明它的否定命题“既A且B” 为假，从而肯定“若A则B”为真的证明方法。 应用反证法解题应把握它的一般步骤： 反设：假定所要证的结论不成立，而设结论的反面（否定命题）成立； 归谬：将“反设”作条件，由此出发经过正确的推理，导出矛盾——与已知条件、已知的公理、定义、定理及明显的事实矛盾或自相矛盾： 结论：因为推理正确，产生矛盾的原因在于“反设”的谬误。既然结论的反面不成立，从而肯定了结论成立。 适于应用反证法证明的命题： ⒈基本命题，即学科中的起始性命题。此类命题由于已知条件及能够应用的定理、公式、法则较少，或由题设条件所能推得的结论很少，因而直接证明入手较难，此时应用反证法容易奏效。 ⒉否定式命题，即结论中含有“不是”、“不可能”、“不存在”等词语的命题。此类命题的反面比较具体，适于应用反证法。 ⒊限定式命题，即结论中含有“至少”、“最多”等词语的命题。 ⒋唯一性命题，即结果指定唯一的命题。 反证法是数学家最有力的一件武器，用逆向思维往往可以轻而易举地解决，已成为最常用和最有效的解决问题的方法之一。 关键词：反证法 应用研究 Paper Abstract: Certification is a form of indirect reduction to absurdity, it does not directly prove that the subject if A then B(A → B) are true, but from the negative side to prove its negative proposition both A and B to be false, thereby affirming if A while B to really prove that method. Based on the law on anyway and thinking, the reduction to absurdity resolve the origin of what is anyway; Anyway, the problem-solving method steps to understand its general steps for the anti-based, in the absurd, conclusions three steps; proved suitable for the application of reduction to absurdity Proposition sum up, there are basic proposition negative proposition - limit proposition, the only sexual proposition; reduction to absurdity in the role of mathematics, the focus on the reduction to absurdity in solving problems of application and research. Mathematician reduction to absurdity is the most powerful weapon to reverse thinking can often be easily resolved, has become the most commonly used and most effective way to solve problems one. Key Words: Reduction to absurdity Applied research 一 定义反证法 对反证法的认知，可以从一个小故事谈起：在古希腊时，有三个哲学家，由于争论和天气的炎热感到疲倦，于是在花园里的一棵大树下躺下休息而睡着了。这时一个爱开玩笑的人用炭涂黑了他