论文部分内容阅读
在证明数学命题时，待证明的结论要么正确，要么错误，两者必占其一。我们可以先假定命题结论的反面成立，在这个前提下，若推出的结果与定义、公理、定理相矛盾，或与命题中的已知条件相矛盾，或与假定相矛盾，说明命题结论的反面不成立，由此断定命题的结论成立，这种证明方法叫做反证法。当要证明的命题直接证明较困难时，我们可以尝试一下用反证法，也许会收到意想不到的效果。