不易或不能从原命题直接证明的命题，通过证明与它等效(或等价)的命题，间接地达到证明原命题的目的，这样的证明方法叫做间接证法.

    间接证法有反证法与同一法两种.