问题转化

如果已知命题A,要推证命题B。
那么反证假设就应该证明:同样在命题A的条件下，非B是不成立的，从而说明B是成立的

1.已知PC与CD不垂直，求证:PA不等于PD
2.已知PC与CD垂直，求证:PA=PD。
这里1和2的条件完全不同，因而所得出的结果就没有任何关系。

正确的反证假设应该是"已知PC与PD不垂直,假设PA=PD"
你只有在相同条件下证明了PA=PD是不成立的,才能间接说明PA不等于PD

反证法就是从结论的否定出发，来发现与已知条件的矛盾，从而假设不成立，
原结论成立。例如命题:p->q,即若p，则q，
正确的反证假设为：￢q:

反证法（Proof by countradiction）的定义：证明定理的一种方法，先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法。

事实上，反证法就是去证明一个命题的逆否命题是正确的，这与直接证明是等价的，但是可能其逆否命题比较容易证明。上述的得出了矛盾，事实上就是得出了“假设与题设不相融”这个结论，所以我们不能接受这个假设，所以这个假设的反面就是正确的，从而命题得证。