歪斜線(skew lines)
在平面內,兩條相異直線不是相交就是平行——沒有第三種可能。空間則寬敞得多。兩條線可以完全錯開、又永不平行,就像高架橋與底下的道路:一條往東、一條往北,永不相觸,只因一條單純地高在上方。這樣的線稱為歪斜線(異面直線)。它們是道道地地的三維現象,在平面中沒有對應物。
精確地說,兩線歪斜當它們不共面——沒有單一平面同時包含兩者。這迫使它們既不相交(相交的線共一點且同處一平面),也不平行(平行線也同處一平面)。要檢驗兩線 r = a_1 + s d_1 與 r = a_2 + t d_2:當 d_1 與 d_2 互為純量倍時平行;否則若能找到同時落在兩線上的點則相交,找不到這樣的點則歪斜。一個乾淨的共面判別用純量三重積:兩線共面恰當 (a_2 - a_1) . (d_1 x d_2) = 0,故非零值即證明歪斜。歪斜線間的最短距離沿它們的公垂線量度,由公式 d = |(a_2 - a_1) . (d_1 x d_2)| / |d_1 x d_2| 給出。
歪斜線之所以重要,正因它打破了平面幾何那個令人安心的直覺——「不平行的線必相交」。它們出現在結構工程(互不相觸的梁)、機器人學(兩關節的軸)、以及立方體的幾何中(一條稜與一條不相鄰又不平行的稜)。學生常犯的錯誤是以為兩條不相交的線必平行——在平面上對,在空間中錯。下此結論前,永遠要先檢查是否有單一平面能容下兩線。
取第一條線沿 x 軸:r = (0, 0, 0) + s(1, 0, 0),第二條線:r = (0, 0, 1) + t(0, 1, 0)。兩方向 (1, 0, 0) 與 (0, 1, 0) 不平行,且無公共點(第一條恆 z = 0,第二條恆 z = 1)。三重積 (a_2 - a_1) . (d_1 x d_2) = (0, 0, 1) . (0, 0, 1) = 1,非零,故兩線歪斜;其最短距離為 1。
既不相交也不平行的線——只在空間中才可能。
歪斜只存在於三維或更高維。在平面中,兩條相異直線不是平行就是相交——絕不歪斜。一旦在空間中工作,別假設「不相交」就代表「平行」。