反证法一题多证例谈

用直接证法很难证明一个结论是B的命题，改证它的逆否命题成立，即假定B不成立，则B的反面成立。然后从B的反面成立的假定出发，利用公理、定理、定义等作出一系列正确严密的逻辑推理，最后推出与题设(或已有的定义、定理等)相矛盾的结果，究其原因是假设错误所致，因此B必成立。这种证明方法称为反证法。