第一步：假设命题的反面成立.
第二步：由假设作为条件,根据已知条件及学过的定义、定理、公理进行逐步的推理直至
与假设或与某个己知条件或与学过的某个定义、定理、公理出现矛盾.
第三步：从而判断假设错误,原命题正确.