归谬是反证法的关键,导出矛盾的过程没有固定的模式,但必须从反设出发,否则推导将成为无源之水,无本之木。推理必须严谨。导出的矛盾有如下几种类型:与已知条件矛盾;与已知的公理、定义、定理、公式矛盾;与反设矛盾;自相矛盾。
面积法平面几低董何中讲的面积公式以及由面积公式推出的与面积计算有关的性质定理,不仅可用于计算面积,而且用它来证明平面几何题有时会收到事半功倍的效果。运用面积关系来证明或计算平面几何题的方法,称为面积方法,它是几何中的一种常用方法。用归纳法或分析法证明平面几何题,其困难在添置辅助线。面积法的特点是把已知和未知各量用面积公式联系起来,通过运算达到求证的结果。所以用面积法来解几何题,几何元素之间关系变成数量之间的关系,只需要计算,有时可以不添置补助线,即使需要添置辅助线,也很容易考虑到。