1.反证法 假设原命题不成立(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法. 【做一做1】 应用反证法推出矛盾的推导过程中要把下列哪些作为条件使用( ) ①结论的否定,即假设;②原命题的条件;③公理、定理、定义等;④原命题的结论. A.①② B.①②④ C.①②③ D.②③ 解析:由反证法的定义知,应选C. 答案:C