数学证明中什么情况下用反证法?

问题描述:

数学证明中什么情况下用反证法?

在解空间过大的情况下(即正向证明有太多的实例需要验证)

题设中给出什么什么一定成立

当你从已知条件直接进行推理很难得出结论时,可以考虑用反证法.尤其是那种已知几个很弱的条件,要结合起来得出一个很强的结论.这时利用反证法就相当使结论变成了可以利用的东西,再去推出矛盾就很好.