一个命题，如果它的题设和结论所指的事物都是唯一的，那么原命题和它的逆命题中，只要有一个成立，另一个就一定成立，这个道理叫做同一法则.

    在符合同一法则的前提下，代替证明原命题而证明它的逆命题成立的一种方法叫做同一法.

    用同一法证明的一般步骤是：

    (1)不从已知条件入手，而是作出符合结论特性的图形；

    (2)证明所作的图形符合已知条件；

    (3)推证出所作图形与已知条件要求的是同一事物，由此断定原命题成立.