三个角度探讨“正难则反”

作者：顾俊

来源：新世纪智能, 2019, (06): 16-18.

<正>反证法是一种常用的间接证明的方法.法国数学家阿达玛(Hadamard)对反证法的实质作过概括:"若肯定定理的假设而否定其结论,就会导致矛盾."用反证法解题的过程包括反设、归谬、存真三个步骤,即假设命题的结论不成立(假定原结论的反面为真);从反设和已知条件出发,经过一系列正确的逻辑推理,得出