Let a line in three dimensions be specified by two points and
lying on it, so a vector along the line is
given by
(1)
|
The squared distance between a point on the line with parameter and a point
is therefore
(2)
|
To minimize the distance, set and solve for
to obtain
(3)
|
where
denotes the dot product. The minimum distance can
then be found by plugging
back into (2) to obtain
(4)
| |
(5)
| |
(6)
|
Using the vector quadruple product
(7)
|
where
denotes the cross product then gives
(8)
|
and taking the square root results in the beautiful formula
(9)
| |||
(10)
| |||
(11)
|
Here, the numerator is simply twice the area of the triangle formed by points ,
, and
, and the denominator is
the length of one of the bases of the triangle, which follows since, from the usual
triangle area formula,
.