一、选择题
1．应用反证法推出矛盾的推导过程中，要把下列哪些作为条件使用( )
①结论的否定即假设；②原命题的条件；③公理、定理、定义等；④原命题的结论．
A．①② B．①②④
C．①②③ D．②③
解析：由反证法的定义知，可把①②③作为条件使用，而④原命题的结论是不可以作为条件使用的．
答案：C
2．(2014·山东卷)用反证法证明命题：“设a，b为实数，则方程x2＋ax＋b＝0至少有一个实根”时，要做的假设是( )
A．方程x2＋ax＋b＝0没有实根
B．方程x2＋ax＋b＝0至多有一个实根
C．方程x2＋ax＋b＝0至多有两个实根
D．方程x2＋ax＋b＝0恰好有两个实根
