顾俊

反证法是一种常用的间接证明的方法，法国数学家阿达玛（Hadamard）对反证法的实质作过概括：“若肯定定理的假设而否定其结论，就会导致矛盾。”endprint