1、著名古希腊数学家海帕修斯依靠反证法对的无理性的发现，导致了数学史上第一次数学危机。

2、反证法是一种简明实用、间接的数学证明方法,也是一种重要的数学思想.

3、可以说反证法为数学所建立的功勋是不可磨灭的.

4、文中先从什么是反证法着手，其中详细的叙述了反证法证题的一般步骤，如：反设，归谬，结论。

5、反证法是一种重要的证明方法，它在数学命题的证明中有直接证法所起不到的作用。