Let and . The assumed linear independence gives . Every displacement joining one line to the other is
Its dot product with is always . The component in that direction is therefore fixed, so orthogonal decomposition gives .
The two linearly independent vectors span the plane perpendicular to . Suitable cancel the component of in that plane, attaining the lower bound. Thus the distance between skew lines formula, also valid when the lines intersect, gives

Articles by others on the same topic (0)

There are currently no matching articles.