一般直接证明较困难的，采用反证法，反证法是解决某些“疑难”问题的有力工具。所说的矛盾，通常是指推出的结果与已知公理、已知定义、已知定理或已知条件矛盾，与临时假设矛盾以及自相矛盾等各种情况。
应用反证法证明的一般步骤：反设——归谬——结论
在应用反证法证明时，必须按“反设——归谬——结论”的思路进行，这就是应用反证法的三步曲，但叙述上可以简略每一步的名称。