第4讲反证法(原卷版+解析).docxVIP

第4讲反证法

数学家哈代曾经说过：“反证法是数学家最好的武器之一”．在这小节我们学习如何用反证法证明一些命题．

在前面已经提到，要判断命题“若α，则β”是假命题，只要存在一个满足条件α但不满足结论β的对象就行了．

但是要判断命题“若α，则β”是真命题，就需要证明所有满足条件α的对象都满足结论β．但有时直接验证这一点并不是一件容易的事。

【基础知识】

反证法的定义：

反证法是间接论证的方法之一。亦称“逆证”。是通过断定与论题相矛盾的判断（即反论题）的虚假来确立论题的真实性的论证方法。反证法的论证过程如下：首先提出论题：然后设定反论题，并依据推理规则进行推演，证明反论题的虚假；最后根据HYPERLINK\t/item/%E5%8F%8D%E8%AF%81%E6%B3%95/_blank排中律，既然反论题为假，原论题便是真的。在进行反证中，只有与论题相矛盾的判断才能作为反论题，论题的反对判断是不能作为反论题的，因为具有反对关系的两个判断可以同时为假。反证法中的重要环节是确定反论题的虚假，常常要使用归谬法。反证法是一种有效的解释方法，特别是在进行正面的直接论证或反驳比较困难时，用反证法会收到更好的效果。

反证法的步骤是：

（1）假设结论不成立；

（2）从假设出发推出矛盾；

（3）假设不成立，则结论成立．

在假设结论不成立时要注意考虑结论的反面所有可能的情况，如果只有一种，那么