在立体几何中，判定定理和性质定理是理解和证明各种空间图形关系的基础。以下是八个常见的立体几何判定定理及其对应的性质定理：
1. 线面平行的判定定理与性质定理
判定定理：如果平面外一条直线与此平面内的一条直线平行，则该直线与此平面平行。
- 符号表示：若a∥b且b∈α, a∉α，则a∥α。
性质定理：如果一条直线与一个平面平行，那么经过这条直线的任一平面与此平面的交线与该直线平行。
- 符号表示：若a∥α且β是经过a的任意平面，α∩β=l，则a∥l。
2. 面面平行的判定定理与性质定理
判定定理：一个平面内的两条相交直线与另一个平面平行，则这两个平面平行。
- 符号表示：若a∈α, b∈α, a∩b=A, a∥β, b∥β，则α∥β。
性质定理：如果两个平行平面同时与第三个平面相交，那么它们的交线平行。
- 符号表示：若α∥β且γ与α、β分别相交于a、b，则a∥b。
3. 线面垂直的判定定理与性质定理
判定定理：一条直线与一个平面内的两条相交直线都垂直，则该直线与此平面垂直。
- 符号表示：若a⊥b, a⊥c且b∈α, c∈α, b∩c=A，则a⊥α。
性质定理：垂直于同一平面的两条直线平行。
- 符号表示：若a⊥α且b⊥α，则a∥b。
4. 面面垂直的判定定理与性质定理
判定定理：一个平面过另外一个平面的垂线，则这两个平面垂直。
- 符号表示：若a⊥β且a∈α，则α⊥β。
性质定理：两个平面垂直，则一个平面内垂直于它们交线的直线与另一个平面垂直。
- 符号表示：若α⊥β且α∩β=l, a∈α且a⊥l，则a⊥β。
5. 三垂线定理及其逆定理（可视为一种特殊的判定与性质）
三垂线定理：在平面内的一条直线，如果它和这个平面的一条斜线的射影垂直，那么它和这条斜线也垂直。
- 表述形式：若PO⊥平面α，AB在平面α上，AO为AB在平面α上的射影，若AO⊥BC，则BC⊥OP。
逆定理：在平面内的一条直线，如果它和这个平面的一条斜线垂直，那么它也和这条斜线的射影垂直。
- 表述形式：若PO⊥平面α，AB在平面α上，AO为AB在平面α上的射影，若BC⊥OP，则BC⊥AO。
这些定理构成了立体几何的基本框架，对于解决空间中的位置关系和度量问题具有重要意义。通过灵活应用这些定理，可以大大简化对复杂空间图形的分析和证明过程。
