奥林匹克竞赛教程：反证法详解与应用.pdfVIP

第十四讲反证法

反证法（Proofbycountradiction）是这样的法，先提出和命题中的结论相反

的假定，然后从这个假定中得出和已知条件相的结果来，这样就否定了原来的假定而

肯定了命题的正确性。反证法也称为归谬法。

反证法是一种间接证明问题的方法，用反证法证明一命题“AB”，一般而言可以分

为三个步骤：

（1）反设：假设B不成立，则B的成立；

（2）归谬：对A且B的进行正确的推理，得到C且C的同时成立，产生！

（3）结论：由知B的不成立，从而确定B成立。

这整个过程是肯定命题的条件而否定其结论，经过正确的推理，达到新的否定，构成

了这样一个间接肯定的：否定→推理→否定。

上，反证法就是去证明一个命题的逆否命题是正确的，这与直接证明是等价的，但

是可能其逆否命题比较容易证明。上述的得出了，上就是得出了“假设与题设