如果命题A不容易证明，我们可以假设A的反面成立，然后设法导出矛盾（或与已知条件矛盾、或与已知定理矛盾、或自相矛盾等），从而说明A的反面不成立，于是证明了命题A，这种证题方法称为反证法. 由于运用反证法证题时多了一个条件“反证法的假设”，所以反证法往往能绕过许多直接证明的困难. 反证法是一种间接证明问题的方法，用反证法证题主要有以下四个步骤：第一步，否定题目中的结论；第二步，从否定的结论出发进行推理；第三步，从推理中找出矛盾；第四步，确认题目中的结论正确. 如果一个问题直接证明不可能或不易时，常可考虑运用反证法. 一般地，结论为否定性的命题、结论为无限型命题、结论为至多或至少型命题、结论为唯一或存在型的命题时，常常运用反证法. 全文查看链接