反证法：先假设命题的不成立，然后推导出与定义、基本事实、已有定理或已知条件相的结果，从而证明命题的结论成立，这种证明方法称为反证法.