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