反证法的步骤

1、假设所要证明的命题不成立。

2、推导出一系列的逻辑结论，可以借助其他已知命题进行推导，直至推出一个矛盾的结论。

3、因为前提假设不成立，所以矛盾的结论也不成立，于是得出所要证明的命题成立的结论。