立体几何公理、定理推论汇总
一、公理及其推论
公理 1 如果一条直线上的两点在一个平面内,那么这条直线上所有的点都在这个平面内。
符号语言:
, , ,A l B l A B l
a a a
Î Î Î Î Þ Ì
作用: ① 用来验证直线在平面内;
② 用来说明平面是无限延展的。
公理 2 如果两个平面有一个公共点,那么它们还有其他公共点,且所有这些公共点的集合是一条过这个
公共点的直线。(那么它们有且只有一条通过这个公共点的公共直线)
符号语言:
P l P l
a b a b
Î Þ = ÎI I 且
作用:① 用来证明两个平面是相交关系;
② 用来证明多点共线,多线共点。
公理 3 经过不在同一条直线上的三点,有且只有一个平面。
符号语言:
, , , ,A B C A B CÞ不共线 确定一个平面
推论 1 经过一条直线和这条直线外的一点,有且只有一个平面。
符号语言:
A a A a a
a a
Ï Þ Î Ì有且只有一个平面 ,使 ,
推论 2 经过两条相交直线,有且只有一个平面。
符号语言:
a b P a b
a a a
Ç = Þ Ì Ì有且只有一个平面 ,使 ,
推论 3 经过两条平行直线,有且只有一个平面。
符号语言:
//a b a b
a a a
Þ Ì Ì有且只有一个平面 ,使 ,
公理 3 及其推论的作用:用来证明多点共面,多线共面。
公理 4 平行于同一条直线的两条直线平行(平行公理)。
符号语言:
图形语言:
作用:用来证明线线平行。