1．假设命题结论不成立．
2．从这个假设出发，应用正确的推理方法，得出与定义、公理、已知定理或已知条件相矛盾的结果．
3．由矛盾的结果判定假设不正确，从而肯定命题的结论正确．
例 证明 一个三角形中不能有两个角是直角．
已知：△ABC．
求证：∠A、∠B、∠C中不能有两个角是直角．
证明 假设∠A、∠B、∠C中有两个角是直角，
不妨设∠A=∠B=90°，
则∠A+∠B+∠C=90°+90°+∠C>180°．
这与三角形内角和定理矛盾，
所以∠A=∠B=90°不成立，
所以一个三角形中不能有两个角是直角．
上一篇：反证法下一篇：互逆命题