我们用反证法证明问题时,首先要假设_原命题___不成立,由此经过推理得出__与已知或定理或公理矛盾__,有矛盾断定所做假设_错误___,从而得到原命题.从而得到原命题____忘了打上、、从而得到原命题__成立__