立体几何公理定理推论汇总.docx

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