反证法
假设原命题不成立(即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这种证明方法叫做反证法．
思考1 反证法解题的实质是什么？
提示：用反证法解题的实质就是否定结论导出矛盾，从而证明原结论正确．否定结论：对结论的反面要一一否定，不能遗漏；否定一个反面的反证法称为归谬法，否定两个或两个以上反面的反证法称为穷举法；要注意 用反证法解题，“否定结论”在推理论证中作为已知使用，导出矛盾是指在假设的前提下，逻辑推理结果与“已知条件、假设、公理、定理或显然成立的事实”等相矛盾．
