著名古希腊数学家海帕修斯依靠反证法对的无理性的发现，导致了数学史上第一次数学危机。文中先从什么是反证法着手，其中详细的叙述了反证法证题的一般步骤，如：反设，归谬，结论。反证法是数学中，尤其是高等数学中常用的一种证明方法。反证法是一种简明实用、间接的数学证明方法，也是一种重要的数学思想。可以说反证法为数学所建立的功勋是不可磨灭的。反证法是一种重要的证明方法，它在数学命题的证明中有直接证法所起不到的作用。通过对其采用反证法和图解法以及在实际制管生产中的验证，证明此经验公式对于成型器内压辊斜置小辊辊型设计是完全适用的。反证法不能用反定理来证明。反证法是一种间接的数学证明方法，也是一种重要的数学思想，同时它在中学数学证明中有着广泛的适用范围。没人能用反证法或者重造历史来说服大众——说明某事也许会发生。 