2.凡涉及证明为否定性命题、唯一性命题或是含"至多""至少"等字句时,可考虑使用反证法.反证法特别适用于至少或至多型的数学问题.
3.利用反证法证明时,关键是从假设结论的反面出发,经过推理论证,得出可能与命题的条件,或者与已学过的定义、公理、定理等相矛盾的结论,这是由假设所引起的,因此假设是不正确的,从而肯定了命题结论的正确性.
