在三維空間中,判斷兩條直線 L 1 L_1 L 1 和 L 2 L_2 L 2 是否是歪斜線(skew lines),通常可依以下步驟進行:
1. 確定兩條直線的參數式
令
L 1 : r 1 = P 1 + t d 1 , t ∈ R , L_1: \mathbf{r}_1 = \mathbf{P}_1 + t \mathbf{d}_1, \quad t \in \mathbb{R}, L 1 : r 1 = P 1 + t d 1 , t ∈ R ,
L 2 : r 2 = P 2 + s d 2 , s ∈ R , L_2: \mathbf{r}_2 = \mathbf{P}_2 + s \mathbf{d}_2, \quad s \in \mathbb{R}, L 2 : r 2 = P 2 + s d 2 , s ∈ R ,
其中:
P 1 \mathbf{P}_1 P 1 、P 2 \mathbf{P}_2 P 2 為直線上任意已知的一點(位置向量)。
d 1 \mathbf{d}_1 d 1 、d 2 \mathbf{d}_2 d 2 為兩條直線的方向向量。
2. 檢查是否平行
判斷兩條直線是否平行,可檢查它們的方向向量是否「成比例」:
d 1 與 d 2 是否存在 k ≠ 0 ,使得 d 1 = k d 2 。 \mathbf{d}_1 \text{ 與 } \mathbf{d}_2 \text{ 是否存在 } k \neq 0 \text{,使得 } \mathbf{d}_1 = k \,\mathbf{d}_2。 d 1 與 d 2 是否存在 k = 0 ,使得 d 1 = k d 2 。
若 d 1 \mathbf{d}_1 d 1 與 d 2 \mathbf{d}_2 d 2 成比例,則 L 1 L_1 L 1 與 L 2 L_2 L 2 平行(或重合)。
若不成比例,則進行下一步判斷。
3. 檢查是否相交
若兩條直線不平行,則看它們是否能找到一對參數 ( t , s ) (t, s) ( t , s ) 滿足
P 1 + t d 1 = P 2 + s d 2 。 \mathbf{P}_1 + t \mathbf{d}_1 = \mathbf{P}_2 + s \mathbf{d}_2。 P 1 + t d 1 = P 2 + s d 2 。
若能找到解 ( t , s ) (t, s) ( t , s ) ,代表兩條直線在空間中相交。
若無法找到解,則代表兩條直線不相交。
4. 歪斜線的判斷
綜合上述:
若方向向量不平行。
且無法找到 ( t , s ) (t, s) ( t , s ) 使得兩直線相交。
則兩條直線即為「歪斜線」。
幾何直觀
平行 :方向向量平行,且若不在同一條線上則永遠不相交。
相交 :可以在空間中找到共同點。
歪斜線 :既不平行,也找不到相交點,它們像「兩根彼此錯開的筷子」,在空間中保持一段最短距離卻不會交會。
補充:最短距離
歪斜線也有一個重要特性:它們存在一段「最短距離」。
設 P 1 P 2 → = P 2 − P 1 \overrightarrow{P_1P_2} = \mathbf{P}_2 - \mathbf{P}_1 P 1 P 2 = P 2 − P 1 ,
兩條歪斜線的最短距離即為向量 P 1 P 2 → \overrightarrow{P_1P_2} P 1 P 2 在 d 1 \mathbf{d}_1 d 1 和 d 2 \mathbf{d}_2 d 2 所張的平面之外的「垂直分量」。
其可用向量混合積(或稱三重積)來計算,常見公式為:
distance = ∣ ( P 2 − P 1 ) ⋅ ( d 1 × d 2 ) ∣ ∥ d 1 × d 2 ∥ . \text{distance}
= \frac{|(\mathbf{P}_2 - \mathbf{P}_1) \cdot (\mathbf{d}_1 \times \mathbf{d}_2)|}
{\|\mathbf{d}_1 \times \mathbf{d}_2\|}. distance = ∥ d 1 × d 2 ∥ ∣ ( P 2 − P 1 ) ⋅ ( d 1 × d 2 ) ∣ .
總結來說,兩條直線在空間中若「不平行、又不相交」,即判定為歪斜線。