反证法的运用在证明一个命题时,人们有时先假设命题不成立,从这样的假设出发,经过推理得出和已知条件矛盾,或者定义、公理、定