立体几何中的公理,是不需要证明的客观事实。判定定理和性质定理依据公理,又推理演绎出很多其他的真命题。这些真命题有些作为定理,是进一步推理的依据。几何证明题,每一步的推理,都有一个或几个相应的定理(或公理)为“证据”支持它,没有相关的定理,就无法实现命题的证明。事实上,这些定理(或公理)起到了联系已知和求证的纽带,所证明的命题构成了新的判定方法。那么,一个判定定理(或公理),由题设到结论,也应该有支持它成立的纽带。比如,人教版必 The axioms in solid geometry are objective facts that do not need to be proved. Judgment theorem and nature theorem are based on axioms, and inference deduces many other real propositions. Some of these true propositions as theorems are the basis for further reasoning. Proof of geometric proof, each step of reasoning, there is one or a few corresponding theorem (or axiom) as “evidence ” support it, without the related theorem, we can not achieve proof of proposition. In fact, these theorems (or axioms) serve as a link between knowing and confirming, and the propositions proved constitute a new method of determination. Then, a judgment theorem (or axiom), from the title to the conclusion, should also have a link in support of its establishment. For example, PEP will be