充分必要条件的证明

只要盯住充分性证明就可以了
即证两个充分性
也就是A--B

B---A

1:从正面只能推出唯一结果
2：从结果推出正面

先证充分性 即已知条件推出结论
再证必要性 即已知结论推出条件

先证充分性，再证必要性

可以先证明充分性，在证明必要性。比如说：要证明同位角相等<=>两直线平行，你可以先假设同位角相等，去证明两直线平行，然后再假设两直线平行，去证明同位角相等。

反证法
也可以证明它的逆否命题
逆否命题与原命题等价