由题设出发，根据公理，前此定理，按照逻辑推理，一直推到要证明的结论.这种由原命题入手的证明命题的方法，叫做直接证法.