初看起来,性质定理可以直接使用而判定定理需要证明,这种说法不够准确.
需要证明的,不是定理本身,而是可以使用定理的前提条件,判定定理和性质定理都是这样.
无论是判定定理还是性质定理,都是经过证明是真理以后才应用的.在运用任何定理时,定理本身不需要证明,直接使用作为大前提,而利用题目中的已知条件和从已知条件经过推导（证明）出来的结论作为小前提,表明可以应用某定理,从而推导出新的结论.这就是应用三段论说理的过程. 初看起来,性质定理可以直接使用而判定定理需要证明,这种说法不够准确.
需要证明的,不是定理本身,而是可以使用定理的前提条件,判定定理和性质定理都是这样.
无论是判定定理还是性质定理,都是经过证明是真理以后才应用的.在运用任何定理时,定理本身不需要证明,直接使用作为大前提,而利用题目中的已知条件和从已知条件经过推导（证明）出来的结论作为小前提,表明可以应用某定理,从而推导出新的结论.这就是应用三段论说理的过程.