1.间接证明 不是直接从原命题的条件逐步推得命题成立，这种 _______________的方法通常称为间接证明．_________就是一种常用的间接证明方法． 2.反证法 (1)反证法证明过程 用反证法证明时，要从_________开始，经过___________，导致_________，从而达到_________ (即肯定原命题)．

不是直接证明

反证法

否定结论

正确的推理

逻辑矛盾

新的否定