点面距，即点到平面的距离，是三维几何中的一个重要概念。以下是计算点到平面距离的公式及其推导过程：
公式
设点 $P(x_0, y_0, z_0)$ 为空间中任意一点，平面 $\pi$ 的方程为 $Ax + By + Cz + D = 0$，则点 $P$ 到平面 $\pi$ 的距离 $d$ 可由以下公式给出：
$$ d = \frac{|Ax_0 + By_0 + Cz_0 + D|}{\sqrt{A^2 + B^2 + C^2}} $$
推导过程
向量表示：
- 设平面 $\pi$ 上有一点 $Q(x_1, y_1, z_1)$（该点可以是平面上任意一点，不影响最终结果）。
- 则向量 $\vec{PQ} = (x_1 - x_0, y_1 - y_0, z_1 - z_0)$ 表示从点 $P$ 到点 $Q$ 的有向线段。
法向量：
- 平面 $\pi$ 的法向量为 $\vec{n} = (A, B, C)$。
投影长度：
- 点到平面的距离等于向量 $\vec{PQ}$ 在法向量 $\vec{n}$ 方向上的投影长度。
- 投影长度的计算公式为 $|\vec{PQ} \cdot \hat{\vec{n}}|$，其中 $\hat{\vec{n}}$ 是法向量 $\vec{n}$ 的单位向量。
单位法向量：
- 单位法向量 $\hat{\vec{n}} = \frac{\vec{n}}{|\vec{n}|} = \frac{(A, B, C)}{\sqrt{A^2 + B^2 + C^2}}$。
点积计算：
- 向量 $\vec{PQ}$ 与法向量 $\vec{n}$ 的点积为 $(x_1 - x_0)A + (y_1 - y_0)B + (z_1 - z_0)C$。
- 但由于我们只需要投影的绝对值，并且最终结果与 $Q$ 的选择无关，我们可以用平面的方程 $Ax + By + Cz + D = 0$ 来代替 $Q$ 点的坐标。即令 $Ax_1 + By_1 + Cz_1 + D = 0$，从而得到 $D = -(Ax_1 + By_1 + Cz_1)$。
- 因此，投影长度变为 $|Ax_0 + By_0 + Cz_0 - (-D)| = |Ax_0 + By_0 + Cz_0 + D|$。
结合单位法向量：
- 最终得到点到平面的距离为 $d = \frac{|Ax_0 + By_0 + Cz_0 + D|}{\sqrt{A^2 + B^2 + C^2}}$。
通过上述步骤，我们可以清晰地看到点到平面距离公式的来源和合理性。这个公式在三维几何中有着广泛的应用，特别是在计算机图形学、机器人导航等领域。
