反证法与前面所讲的方法不同,反证法是属于“间接证明法”一类,是从反面的角度思考问题的证明方法,即:肯定题设而否定结论,从而导出矛盾推理而得。法国数学家阿达玛(Hadamard) 对反证法的实质作过概括:“若肯定定理的假设而否定其结论,就会导致矛盾”。具体地讲,反证法就是从