一、基础知识
一般地，在证明一个命题时，从命题结论的的反面入手，先假设结论的反面成立，通过一系列正确的逻辑推理，导出与已知条件、已知公理、定理、定义之一相矛盾的结果或者两个相矛盾的结果，肯定了“结论反面成立”的假设是错误的，从而达到了证明结论正面成立的目的，这样一种证明方法就是反证法.反证法对大家来说并不陌生，它是一种最常见的证明方法.