中学代数证明中的反证法.docVIP

中学代数证明中的反证法 王塔娜 二连浩特市蒙古族学校中学部数学组 摘要: 本文重点介绍了反证法及反证法在中学数学当中的应用。 关键词: 反证法 假设 矛盾 结论 反证法是数学中常用的间接证明方法之一。反证法的逻辑基础是形式逻辑基本规律中的排中律。当命题由已知不易直接证明时,改证它的逆命题的证明方法叫反证法。通常反证法是从待证命题的结论的反面入手进行正确推理,推出矛盾,从而得出原结论的反面不真,由此肯定原结论为真。中学代数中,一些起始性命题﹑否定性命题﹑唯一性命题﹑必然性命题﹑结论以“至多……”或“至少……”的形式出现的命题﹑“无限性”的命题﹑一些不等式的证明等用反证法来证明可收到较好的效果。 数学研究一般包括两种基本过程:一是发现过程,二是论证过程。发现过程就是剖析问题﹑提出猜想的过程。这里的“猜想”就是数学中的假说。论证过程则是对提炼出来的问题进行求解,对获得的猜想(假说)给出证明的过程。数学的研究与发展,常常是“发现-论证”多次往复的复杂过程。反证法是一种间接的数学证明方法。 首先要知道什么是证明。 数学中的证明 数学证明及其结构 数学证明是指用某些真实的数学概念和判断确定另一个数学判断的真实性的思维过程。任何证明都是由论题﹑论据和论证三个部分组成。论题是指需要证明其真实性的判断；论据是指用来证明论题真实性所引用的那些概念和判断；论证就是进行一系列的逻辑推理来证明论题真实性的过程。 数学证明是根据已知确定了真实性的公里、定理、定义、公式、性质等数学命题来论证某一数学命题的真实性的推理过程。数学证明过程往往表现为一系列的推理。它直接关系到学生推理论证能力与逻辑思维能力的培养。 数学中常用的证明方法 数学中常用的证明方法有直接证法、间接证法、数学归纳法、分析与综合法等。 直接证法 以已知条件和已知的公理、定理、公式、性质等作为论据，利用逻辑推理法则直接推演出论题结论真实性的证明方法叫做直接证法。 间接证法 在数学证明中，有些命题是不容易直接证明的，我们转而证明它的否定命题不真实，或在特定条件之下证明它的逆命题真实，从而间接地证明了原命题真实的证明方法，叫做间接证法。 间接证法有反证法和同一法两种。 数学归纳法 在数学中关于自然数的命题的证明，往往采用数学归纳法。一般是先用不完全归纳法从特殊的判断推广到一般判断，然后依据归纳公理来证明这一般判断。因此，它是根据归纳公理综合运用归纳、演绎推理的一种特殊的数学证明方法。 分析法与综合法 对于一个命题的证明，不论是用演绎证法还是归纳证法，都有一个如何思维的方法问题。因此，按录求论证的思路来分，证明可分为分析法和综合法两种。 如果从题设的已知条件出发，运用一系列有关已确定的命题作为推理的依据，逐步推演而得到要证明的结论，这种证明方法叫综合法。反之，如果推理方向中由题断到题设，论证中步步寻求使其成立的充分条件或已经成立的事实，命题便获证，这种证明方法叫做分析法。 这四种证明方法在某些情况下可以互相应用。例如在直接证法当中可以用数学归纳法、分析法与综合法；在数学归纳法当中可以用直接证法、间接证法或分析法与综合法。 反证法的概念 假设命题判断的反面成立，在已知条件和“否定命题判断”这个新条件下，通过逻辑推理，得出与公理﹑定理、题设、临时假定相矛盾的结论或自相矛盾，从而断定命题判断的反面不成立，即证明了命题的结论一定是正确的，这种证明方法就叫做反证法。 用框图表示如下： 题断反面 与临时假设违背 前此定理 或与前此定理不容 本题题设 矛盾的结果： 或与本题题设冲突 前此公理 或与公理抵触 前此定义 或自相矛盾 注：通过逻辑推理，得到上面5种结果中的任意一个结果都证明原命题的结论是正确的。 例1 函数在上有意义，且如果对于不同的都有求证：. 证明： 假定至少存在一组不同的使得 .（不妨设） 由已知条件得 即，， 这与假设矛盾，假设不成立，因此原命题成立。 反证法的逻辑基础 反证法的逻辑基础是形式逻辑基本规律中的排中律. 排中律 排中律是在同一思维过程中，两个矛盾的思想必有一个是真的。 排中律常用公式来表示，意即真或真。其中和表示两个互相矛盾的概念或判断。 排中律要求人们思维有明确性，避免模柃两可。它是同一律和矛盾律的补充和发挥，进一步指明正确的思维不仅要求确定，不互相矛盾而且应该明确地表示肯定还是否定，不能模柃两可，不能含糊不清。排中律和矛盾律都不允许有逻辑矛盾，违反了排中律，同时也违反了矛盾律，所以两者