立体几何是数学的一个重要分支，它研究三维空间中的点、线、面以及它们之间的关系。在立体几何中，有许多重要的定理和公式用于证明和解决各种问题。以下是立体几何证明的八大经典定理：
1. 三条直线共面的定理
内容：如果两条相交直线分别与第三条直线平行，那么这三条直线共面。
应用：常用于判断空间中三条直线的位置关系。
2. 线面平行的判定定理
内容：平面外一条直线与此平面内的一条直线平行，则该直线与此平面平行。
推论：一个平面内的两条相交直线与另一个平面平行，则这两个平面平行；如果一个平面内有两条相交的直线分别平行于另一个平面内的两条相交直线，则这两个平面平行。
应用：用于证明线面平行或面面平行。
3. 面面平行的判定定理
内容：一个平面内的两条相交直线与另一个平面平行，则这两个平面平行。
推论：垂直于同一条直线的两个平面平行。
应用：判断两个平面是否平行。
4. 线面垂直的判定定理
内容：如果一条直线与一个平面内的两条相交直线都垂直，那么这条直线与这个平面垂直。
推论：如果两条平行线中的一条垂直于一个平面，那么另一条也垂直于这个平面；如果一条直线垂直于一个平面，那么这条直线经过的任意一点向该平面所作的垂线都与原直线垂直。
应用：证明线面垂直关系。
5. 面面垂直的判定定理
内容：一个平面过另外一个平面的垂线，则这两个平面相互垂直。
推论：两个平面垂直，过一个平面内一点有且只有一条直线与另外一个平面垂直。
应用：判断两个平面是否垂直。
6. 空间向量基本定理
内容：如果存在三个不共面的非零向量a、b、c，那么对于空间中的任意一个向量p，都存在唯一的一组实数x、y、z，使得p=xa+yb+zc。
应用：利用向量方法解决立体几何问题，如求距离、夹角等。
7. 异面直线所成角的定义及求法
内容：异面直线所成的角是指过空间任意一点O作两异面直线的平行线a'和b'，这两平行线所成的锐角（或其补角）即为异面直线所成的角。
求法：通过平移其中一条直线到与另一条直线共面，然后利用平面向量的夹角公式求解。
8. 直线与平面所成角的定义及求法
内容：直线与平面所成的角是指直线l与它在平面上的射影l'所夹的锐角或直角。特别地，当直线l与平面垂直时，规定直线与平面所成的角为90°。
求法：设直线l的方向向量为n，平面的法向量为m，则直线与平面所成的角的正弦值为|cos<n,m>|=|n·m|/(|n||m|)。其中，“< >”表示向量间的夹角，“·”表示向量的数量积。
这些定理和推论构成了立体几何证明的基础，掌握了它们，就能更好地理解和解决立体几何中的问题。
