同一法是一种 间接证法，用于证明一个命题及其逆命题同时成立。具体定义是：如果一个命题的题设和结论都是唯一的事项，那么这个命题和它的逆命题同时有效。这种方法通过证明原命题的逆命题来代替直接证明原命题，从而简化证明过程。
同一法通常用于几何证明中，特别是当直接证明某个图形具有某种特性较为困难时。使用同一法的一般步骤包括：
作出符合结论特性的图形：
首先，不直接从已知条件出发，而是构造一个符合所需结论特性的图形。
证明所作的图形符合已知条件：
接着，证明所构造的图形满足题目中给出的已知条件。
推证出所作图形与已知图形为同一图形：
最后，通过逻辑推理，证明所构造的图形实际上就是题目中已知的图形。
这种方法不仅适用于几何问题，也可以用于代数学中证明等式，通过不同的方法得到相同的结果或解决相同的问题。
综上所述，同一法是一种重要的数学证明方法，特别适用于间接证明和几何问题的解决。