摘要：数学证明方法可分为直接证法和间接证法．从原命题所给的条件出发，根据已有的公理、定义、法则、公式．通过一系列的推理，一直推导到所要证明的命题的结论．这种证法叫做直接证法。有些命题不易用直接证法去证明，这时可通过证明它的等价命题真，从而断定原命题真，这种证法叫做间接证法。反证法是数学中常用的间接证法之一。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社