点到平面距离公式的向量投影法推导

1. 理解问题与建立模型

明确 一个点和一个平面在三维空间中的关系。已知：

• 空间中一点 $P_0(x_0, y_0, z_0)$。
• 一个平面 $\pi$，其方程一般形式为 $Ax + By + Cz + D = 0$。
  确定 核心目标：计算 点 $P_0$ 到平面 $\pi$ 的最短距离，即垂线段长度。

利用 向量的几何特性来解决。平面的法向量 $\vec{n} = (A, B, C)$ 垂直于平面上的所有向量。选取 平面上任意一点 $P_1(x_1, y_1, z_1)$，则向量 $\overrightarrow{P_1P_0}$ 与法向量 $\vec{n}$ 的夹角，直接关联到所求的距离。

2. 构建关键向量与投影关系

定义 平面上点 $P_1$：为简化计算，通常选取平面与 $z$ 轴的交点，即令 $x=0, y=0$，解得 $z = -D/C$（假设 $C \neq 0$）。因此 $P_1 = (0, 0, -D/C)$。若 $C=0$，可类似选取与 $x$ 轴或 $y$ 轴的交点。

连接 $P_1$ 与 $P_0$，得到向量 $\vec{v} = \overrightarrow{P_1P_0} = (x_0 - 0, y_0 - 0, z_0 - (-D/C)) = (x_0, y_0, z_0 + D/C)$。

观察 向量 $\vec{v}$ 与平面法向量 $\vec{n}$ 的关系。作 $\vec{v}$ 在法向量 $\vec{n}$ 方向上的投影，这个投影的长度，就是点 $P_0$ 到平面 $\pi$ 的垂直距离 $d$。这是因为法向量 $\vec{n}$ 的方向垂直于平面，沿其方向的分量即为“法向”距离。

3. 应用向量投影公式

回顾 向量投影公式：一个向量 $\vec{a}$ 在另一个非零向量 $\vec{b}$ 方向上的标量投影（即带正负号的投影长度）为：
$$\text{proj}_{\vec{b}} \vec{a} = \frac{\vec{a} \cdot \vec{b}}{|\vec{b}|}$$
这里，点积 $\vec{a} \cdot \vec{b}$ 可以为负，表示投影方向与 $\vec{b}$ 相反。取 其绝对值即为距离。

将 公式应用于当前问题：

• $\vec{a} = \vec{v} = (x_0, y_0, z_0 + D/C)$
• $\vec{b} = \vec{n} = (A, B, C)$

计算 点积 $\vec{v} \cdot \vec{n}$：
$$\vec{v} \cdot \vec{n} = A \cdot x_0 + B \cdot y_0 + C \cdot \left(z_0 + \frac{D}{C}\right)$$
展开 并简化：
$$\vec{v} \cdot \vec{n} = Ax_0 + By_0 + Cz_0 + D$$

计算 法向量 $\vec{n}$ 的模长 $|\vec{n}|$：
$$|\vec{n}| = \sqrt{A^2 + B^2 + C^2}$$

4. 推导最终距离公式

综合 以上计算结果，代入 投影公式并取绝对值，得到点 $P_0$ 到平面 $\pi$ 的距离 $d$：
$$d = \frac{|\vec{v} \cdot \vec{n}|}{|\vec{n}|} = \frac{|Ax_0 + By_0 + Cz_0 + D|}{\sqrt{A^2 + B^2 + C^2}}$$

这个公式的几何意义非常清晰：计算 出平面方程左边在点 $P_0$ 处的值 $Ax_0 + By_0 + Cz_0 + D$，这个值的绝对值代表了点 $P_0$ 偏离平面的程度（沿法线方向），再除以法向量的长度 $|\vec{n}|$，就归一化得到了真正的几何距离。

5. 验证与特例分析

验证 公式的正确性：选取一个简单的平面，例如 $z=0$（即 $A=0, B=0, C=1, D=0$），以及点 $P_0(1, 2, 3)$。根据公式，距离 $d = |0*1 + 0*2 + 1*3 + 0| / \sqrt{0^2+0^2+1^2} = |3| / 1 = 3$。这与点 $(1,2,3)$ 到 $xy$ 平面的距离完全吻合。

理解 分母 $\sqrt{A^2+B^2+C^2}$ 的作用。如果平面方程没有标准化（即 $A^2+B^2+C^2 \neq 1$），这个分母确保了距离度量与方程的具体系数无关，只与平面的几何位置有关。注意，若将整个平面方程乘以一个非零常数 $k$，分子 $|k(Ax_0+By_0+Cz_0+D)|$ 和分母 $|k|\sqrt{A^2+B^2+C^2}$ 同时变化 $|k|$ 倍，最终距离 $d$ 保持不变。