认识反证法

反证法的定义： 在证明数学问题时，先假定命题结论的反面成立， 在这个前提下，若推出的结果与定义、公理、定理相 矛盾，或与命题中的已知条件相矛盾，或与假定相矛 盾，从而说明命题结论的反面不可能成立，由此断定 命题的结论成立，这种证明方法叫作反证法。