1、反证法是一种间接的数学证明方法，也是一种重要的数学思想，同时它在中学数学证明中有着广泛的适用范围。2、著名古希腊数学家海帕修斯依靠反证法对的无理性的发现，导致了数学史上第一次数学危机。3、文中先