Theorem 6.6 (Distance between skew lines). If line L1 has vector equation r=a1+λ1b1 and line L2 has vector equation r=a2+λ2b2, then the shortest distance between L1 and L2 is
d=∣b1×b2∣(a2−a1)⋅(b1×b2)
Proof (outline). Let L1 pass through the point A(a1) in the direction b1, and let L2 pass through B(a2) in the direction b2. Let PQ be the unique line segment perpendicular to both L1 and L2, with P on L1 and Q on L2 (see Fig. 6.6) -- this is exactly the segment whose length is the shortest distance we want. Since PQ is perpendicular to both b1 and b2, it must be parallel to b1×b2, because the cross product of two vectors is, by definition, perpendicular to both of them. So the unit vector along PQ is n^=∣b1×b2∣b1×b2.
Now PQ is the length of the projection of AB along n^, i.e. PQ=AB⋅n^. Since AB=a2−a1, this gives
PQ=(a2−a1)⋅n^=∣b1×b2∣(a2−a1)⋅(b1×b2),
and taking the modulus (distance is never negative) gives the formula of Theorem 6.6.
Remark -- the intersection test. Two lines intersect each other if and only if the shortest distance between them is zero. Combined with Theorem 6.6, this means that lines r=a1+λ1b1 and r=a2+λ2b2 intersect each other if and only if
(a2−a1)⋅(b1×b2)=0.
In Cartesian form, if the lines are a1x−x1=b1y−y1=c1z−z1 and a2x−x2=b2y−y2=c2z−z2, they intersect each other if and only if
x2−x1a1a2y2−y1b1b2z2−z1c1c2=0.
This determinant is exactly the scalar triple product (a2−a1)⋅(b1×b2) written out in coordinates -- the same test in a different notation, useful when the lines are given directly in symmetric (Cartesian) form instead of vector form. If a pair of lines is neither parallel nor satisfies this condition, the lines are skew.
Ex.(14) Find the shortest distance between lines r=(2i^−j^)+λ(2i^+j^−3k^) and r=(i^−j^+2k^)+μ(2i^+j^−5k^)
Solution. Here a1=2i^−j^, a2=i^−j^+2k^, b1=2i^+j^−3k^, b2=2i^+j^−5k^.
Ex.(15) Find the shortest distance between lines 2x−1=3y−2=4z−3 and 3x−2=4y−4=5z−5
Solution. The vector forms of the given lines are r=(i^+2j^+3k^)+λ(2i^+3j^+4k^) and r=(2i^+4j^+5k^)+μ(3i^+4j^+5k^), so a1=i^+2j^+3k^, a2=2i^+4j^+5k^, b1=2i^+3j^+4k^, b2=3i^+4j^+5k^.
Figure 6.6Fig. 6.6 — Distance between skew lines L₁ and L₂ = length of the common perpendicular PQ (perpendicular to both lines)
ⓘDrawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.
What this figure shows. Fig. 6.6 illustrates the proof of Theorem 6.6 for two skew lines L1 and L2. L1 passes through point A(a-bar 1) in the direction of b-bar 1, and L2 passes through point B(a-bar 2) in the direction of b-bar 2. The unique common-perpendicular segment PQ is drawn with P marked on L1 and Q marked on L2, each shown with a right-angle symbol, to show that PQ is perpendicular to both b-bar 1 and b-bar 2 simultaneously -- the length of PQ is exactly the shor …