立体几何公理2的三个推论.docxVIP

立体几何公理2的三个推论 一、几何证明 1、欧几里得（Euclid）形式的正确性：公理，推论和定理连接起来，形成整体的论证。 2、不完备的证明：如果在某一修订中拥有恰当的公理但又不被推论和定理检视，就会有不完备的情况发生，证明可能就会失去其真正的价值和有效的可用性。 3、反证法：反证法是一种建立在两种相反猜想上的方法，当第一种猜想最终证明是可行的时候，第二种猜想也必定正确。 二、分型演绎本质 1、确定明确的假设：定义一个问题时，首先要确定明确的假设，把它们一一列出，以便下一步的分析和推论。 2、尝试陈述：解决几何问题的一般步骤，首先要?操尝试陈述，尝试把问题陈述得更加具体和明确。 3、证明分型演绎：当一个问题把假设和结论分开比较，一般可以利用分型演绎的原理来证明结论是正确的。 三、立体几何原理 1、平面相切两线原理：如果两条平面互相切交，那么它们最多只有两条交线。 2、共面三角形原理：如果两线在一个平面内交于一点，那么它们的终端点必须为共面的三角形。 3、角等分原理：如果一条线从一定角度经过一个顶点，必然会将这个顶点的角等分为两个相等的角。