假设三维空间中的一条直线由两个点 和
确定,则沿该直线的向量由下式给出
(1)
|
因此,直线上参数为 的点与点
之间的平方距离为
(2)
|
为了最小化距离,令 并求解
以获得
(3)
|
其中 表示点积。然后可以通过将
代回 (2) 来找到最小距离,从而获得
(4)
| |
(5)
| |
(6)
|
使用向量四重积
(7)
|
其中 表示叉积,则给出
(8)
|
取平方根得到美丽的公式
(9)
| |||
(10)
| |||
(11)
|
这里,分子是点 、
和
形成的三角形面积的两倍,分母是三角形底边之一的长度,这可以从通常的三角形面积公式
得出。