立体几何定理、公理及公式归纳总结
一、基本公理与定义
公理一（直线公理）：两点确定一条直线。
- 解释：在三维空间中，任意两个不同的点可以确定且仅确定一条直线。
公理二（平面公理）：三点确定一个平面（其中任意两点不共线）。
- 解释：三个不共线的点可以确定且仅确定一个平面。
公理三（平行公理）：过直线外一点有且只有一条直线与该直线平行。
- 解释：在平面内，对于给定的一条直线和该直线外的一个点，存在且仅存在一条通过该点与给定直线平行的直线。
垂直的定义：如果两条直线相交形成的四个角中有一个是直角，则这两条直线互相垂直。
平面的性质：平面是无限延展的、平坦且无厚度的二维空间。
异面的定义：不在同一个平面内的两个点或直线称为异面。
二、重要定理
直线与平面的位置关系定理：
- 如果一条直线与一个平面有一个公共点，则该直线或者在该平面上，或者与该平面相交于这一点。
- 如果一条直线与一个平面没有公共点，则该直线与该平面平行。
两平面平行的判定定理：
- 一个平面内的两条相交直线分别与另一个平面平行，则这两个平面平行。
两平面平行的性质定理：
- 如果两个平面平行，那么其中一个平面内的任何一条直线都与另一个平面平行。
直线与平面垂直的判定定理：
- 一条直线与一个平面内的两条相交直线都垂直，则该直线与该平面垂直。
直线与平面垂直的性质定理：
- 如果一条直线垂直于一个平面，那么这条直线与平面内的任何一条直线都垂直。
平面与平面垂直的判定定理：
- 一个平面过另一个平面的垂线，则这两个平面垂直。
空间向量的基本定理：
- 空间中的任意一个向量都可以表示为三个不共面向量的线性组合。
空间距离公式：
- 点到直线的距离公式、点到平面的距离公式以及异面直线间的距离公式等。
夹角公式：
- 异面直线所成的角的余弦值等于它们各自的方向向量的夹角的余弦的绝对值。
- 直线与平面所成角的正弦值等于直线的方向向量与平面的法向量的夹角的余弦值的绝对值。
- 两个平面所成的角的余弦值等于它们的法向量的夹角的余弦的绝对值。
三、常用公式
点到直线距离公式：$d = \frac{|Ax_0 + By_0 + Cz_0 + D|}{\sqrt{A^2 + B^2 + C^2}}$
- 其中，$(x_0, y_0, z_0)$为点的坐标，$Ax + By + Cz + D = 0$为直线方程的一般式。
点到平面距离公式：$d = \frac{|Ax_0 + By_0 + Cz_0 + D|}{\sqrt{A^2 + B^2 + C^2}}$
- 其中，$(x_0, y_0, z_0)$为点的坐标，$Ax + By + Cz + D = 0$为平面方程的一般式。
平面间距离公式（当两平面平行时）：$d = \frac{|D_2 - D_1|}{\sqrt{A^2 + B^2 + C^2}}$
- 其中，$Ax + By + Cz + D_1 = 0$和$Ax + By + Cz + D_2 = 0$分别为两平行平面的方程。
体积公式：
- 长方体体积：$V = lwh$（长×宽×高）
- 正方体体积：$V = a^3$（棱长×棱长×棱长）
- 四棱锥体积：$V = \frac{1}{3}Sh$（底面积×高）
- 三棱锥体积：$V = \frac{1}{3}Sh$（同四棱锥）
- 球体积：$V = \frac{4}{3}\pi r^3$（半径的三次方乘以$\frac{4}{3}$倍的圆周率）
表面积公式：
- 长方体表面积：$S = 2lw + 2lh + 2wh$
- 正方体表面积：$S = 6a^2$
- 球表面积：$S = 4\pi r^2$
以上是对立体几何中一些重要的定理、公理及公式的归纳总结，希望能够帮助读者更好地理解和掌握立体几何的知识体系。
