立体几何证明题定理推论汇总.docx

立体几何公理、定理推论汇总 一、公理及其推论 公理 1符号语言： 公理 1 符号语言： A ? l, B ? l, A ??, B ?? ? l ? ? 作用： ① 用来验证直线在平面内； ② 用来说明平面是无限延展的。 符号语言： P ??? ? 符号语言： P ?? ? ? ? ? ? l且P ? l ！ 作用：① 用来证明两个平面是相交关系； 公理 2 ② 用来证明多点共线，多线共点。 公理 3 经过不在同一条直线上的三点，有且只有一个平面。 符号语言： A, B, C不共线? A, B, C确定一个平面 推论 1 经过一条直线和这条直线外的一点，有且只有一个平面。 符号语言： A ? a ? 有且只有一个平面?，使A ? a，a ? ? 推论 2 推论 2 经过两条相交直线，有且只有一个平面。 符号语言： a ? b ? P ? 有且只有一个平面?，使a ? ?，b ? ? 推论 3符号语言： 推论 3 符号语言： a // b ? 有且只有一个平面?，使a ? ?，b ? ? 公理 3 及其推论的作用：用来证明多点共面，多线共面。 公理 4平行于同一条直线的两条直线平行（平行公理） 公理 4 a // b ? ?符号语言： c // b ? ? ? a // c  图形语言： 作用：用来证明线线平行。 二、平行关系 - 公理 4 平行于同一条直线的两条直线平行（平行公理）。（1） a // b ? ?符号语言： c // b ? ? ? a // c  图形语言： 面面平行的判定 如果两个平面垂直于同一条直线，那么这两个平面平行。 面面平行的判定 如果两个平面垂直于同一条直线，那么这两个平面平行。（5） ? ? oo , ? 符号语言： ? ? oo, ? ? ? // ? ? 图形语言： 线面平行的判定定理 如果平面外一条直线和这个平面内的一条直线平行，那么这条直线和这个平面平 行。（2 行。（2） a ? ? ? 符号语言： b ? ? ? ? a // ? a / / b ? ? 图形语言： ? 线面平行的性质定理 直线和交线平行。（3）a // ? ?符号语言：a ? 直线和交线平行。（3） a // ? ? 符号语言： a ? ? ? ? a // b ? 图形语言： ? ? ? b? ? 符号语言： (a ? ?, b ? ?), a a // ? b // ? b ? O? ? ? ? // ? ? ? 图形语言： ? ! 面面平行的性质定理 如果两个平行平面同时和第三个平面相交，那么它们的交线平行。（6）? // ??符号语言：??? ? a? 面面平行的性质定理 如果两个平行平面同时和第三个平面相交，那么它们的交线平行。（6） ? // ? ? 符号语言：? ? ? ? a? ? a // b ? ? b? ? 图形语言： ? 面面平行的性质 1 如果两个平面平行，那么其中一个平面内的直线平行于另一个平面。（7） 符号语言： a ? ?? ?  图形语言： 面面平行的性质 2 面面平行的性质 2 如果一条直线垂直于两个平行平面中的一个平面，那么它也垂直于另一个平面。（8） 符号语言： ? // ? ? ? a ? ? a ? ? ? ? 图形语言： 面面平行的性质 3 平行于同一个平面的两个平面平行。（9） 符号语言： ? // ? ? ? ? // ? ? ? // ? ? 图形语言： 平行垂直关系图系 平行垂直关系图系 三、垂直关系 三垂线定理在平面内的一条直线，如果和这个平面的一条斜线的射影垂直，那么它也和这条斜线垂直。 三垂线定理 （10） 符号语言：  PA ? ? PO ? ? O  ? ?? ? a ? PA ?  图形语言： 2.面面垂直的判定定理 如果一个平面经过另一个平面的一条垂线，那么这两个平面互相垂直。（16）?a ? ? 2.面面垂直的判定定理 如果一个平面经过另一个平面的一条垂线，那么这两个平面互相垂直。（16） ? 射影垂直.（ 射影垂直.（11） · PA ? ? ? 符号语言： PO ? ? O ? ? a ? AO a ? ?且a ? PO? ? 图形语言： ? 三垂线定理的逆定理 面。（12）符号语言：l 面。（12） 符号语言： l ? m l ? n (m ? ?, n ? ?), m ? ? ? l ? ? n ? B? ? 图形语言： ? 线面垂直的判定 如果两条平行线中的一条垂直于一个平面，那么另一条也垂直于这个平面。（13） 符号语言： a ? ?? a // b ? ? b ? ? ? 图形语言： 线面垂直的性质定理a ? ?? 线面垂直的性质定理 a ? ? ? 符号语言： b ? ? ? ? ? a // b 图形语