浅谈反证法的逻辑依据2.docVIP

浅谈反证法的逻辑依据 王彦朋 摘 要：反证法是数学中常见的一种证明方法，它与一般证明方法不同， 关于反证法，牛顿说：“反证法是数学家最精当的武器之一。”这就充分肯定了这一方法的积极作用和不可动摇的重要地位。反证法的核心是从求证结论的反面出发，导出矛盾的结果，因此如何导出矛盾，就成了反证法的关键所在。出现矛盾的方式通常有：与公理定义矛盾；与已知条件或临时假设矛盾；与显然的事实矛盾；与显然的事实矛盾；自相矛盾等等； 法国数学家J·阿达玛曾说过：“这种方法在于表明：若肯定定理的假设而否定其结论，就会导致矛盾。”这段话可以理解为：假设命题的结论不正确，并运用此判断，在正确的逻辑推证下导致逻辑矛盾，从而知该相反判断的错误性，进而知道判断本身的正确性。 由此可知，反证法的理论依据可概括成形式逻辑中的两个基本规律——矛盾律和排中律。所谓“矛盾律”是说：在同一论证过程中两个互相反对或互相否定的论断，其中至少有一个是假的。而所谓“排中律”则是说：任何一个判断或者为真或者为假，二者必居其一。也就是说结论“p真”与“非p真”中有且只有一个是正确的。 由此可见，证明原命题的逆否命题只是反证法的一种具体形式。 2 反证法与证逆否命题是不同的 从逻辑角度看，命题“若p则q”的否定，是“p且非q”，由此进行推理，如果发生矛盾，那么“p且非q”为假，因此可知“若 p则q”为真。像这样证明“若p 则q”为真的证明方法，叫做反证法。 如上所述，用反证法证明命题“若p则q”，是把“p且非q”作为假设，利用正确的推理推出矛盾，得出“p且非q”为假，从而得出“若p则q”为真；而证明命题“若p则q”的逆否命题“若非q则非p ”，是将非q作为条件，用正确的推理推出非p成立，根据“若p则q”和“若非q则非p ”的等价性得出“若p则q”成立。比较可知，不论从思路方面还是从方法方面来讲，反证法与证逆否命题是有着本质的不同的。因而“反证法就是证逆否命题”这一说法的不妥之处便是非常清楚的了。 3 运用反证法证题时常见的矛盾形式 用反证法证明命题“若p则q”时，可能出现以下三种情况： ⑴导出非p为真，即与原命题的条件矛盾； ⑵导出q为真，即与假设“非q为真”矛盾； ⑶导出一个恒假命题。 例⒈如果是大于1的整数，而所有不大于的素数都不能整除，则是素数。 证明：假设是合数，记，由于a不能被大于1且不大于的素数整除，所以b＞ ,c＞ ,从而,这与假设矛盾，故是素数。 4 运用反证法应注意的问题 4.1 运用反证法证明命题的第一步是：假设命题的结论不成立，即假设结论的反面成立。在这一步骤中，必须注意正确的“否定结论”，这是正确运用反证法的前提，否则，如果错误地“否定结论”，即使推理、论证再好也都会前功尽弃。 在否定命题的结论之前，首先要弄清命题的结论是什么，当命题的结论的反面非常明显并且只有一种情形时是比较容易做出否定的，但命题的结论的反面是多种情形或者比较隐晦时，就不太容易做出否定。这时必须认真分析、仔细推敲，在提出“假设”后，再回过头来看看“假设”的对立面是否恰是命题的结论。 例如：1）结论：至少有一个S是P。 错误假设：至少有两个或两个以上S是P, 正确假设：没有一个S是P。 例如： 2）结论：最多有一个S是P。 错误假设：最少有一个S是P。 正确假设：至少有两个S是P。 例如： 3）结论：全部S都是P。 错误假设：全部的S都不是P。 正确假设：存在一个S不是P。 现将一些常用词的否定形式列表如下： 原结论词 假设词 原结论词 假设词 是 不是 存在 不存在 都是 不都是 至少有 n 个 至多有n－1个 大（小）于 不大（小）于 至多有一个 至少有两个 4.2 运用反证法证明命题的第二步是：从假设出发，经过推理论证，得出矛盾。在这一步骤中，整个推理过程必须准确无误，这样导致的矛盾才是有效的。对于一个用反证法证明的命题，能够推出什么样的矛盾结果，事先一般很难估计到，也没有一个机械的标准，有时甚至是捉摸不定的。一般总是在命题的相关领域里考虑。例如，立体几何问题往往联系到相关的公理、定义、定理等。 4.3 对于“若p则q”型的数学命题，一般都能用反证法证明，但难易程度会有所不同。因此，尽管反证法是一种重要的证明命题的方法，也不能把所有的命题都用反证法来证明。在证明命题时，要首先使用直接证法，若有困难时再使用反证法。 参考文献: [1] 全日制普通高级中学教科书（试验修订本·必修）《数学》． [2] 蔡上鹤：《高中数学新教材第一章教学问答（二）》，《中学数学教学参考》2000年第8期． [3] 严镇军　陈吉范：《从反面考虑问题》，中国科学技术大学出版社． [4] 邓传斌：《反证法漫谈》，《中学数学杂志》1996年第2期． 4