同一法的定义是：如果一个命题的题设和结论都是唯一的事项时，那么它和它的逆命题同时有效。这称为同一法则。在符合同一法则的前提下，代替证明原命题而证明它的逆命题成立的一种方法叫做同一法。符合同一法则的前提下，代替证明原命题而证明它的逆命题成立的一种方法叫做同一法。同一法是间接证法的一种。当要证明某种图形具有某种特性而不易直接证明时，使用此法往往可以克服这个困难。
