◎ 归谬法 guīmi fǎ

证明定理的一种方法,先提出跟定理中的结论相反的假定,然后从这个假定中得出跟已知条件相矛盾的结果来,这样就否定了原来的假定而肯定了定理