空間中的直線與平面

直線要的是方向，不是斜率

回到座標平面，一條直線由斜率與 y 截距釘住——兩個數字，就搞定了。空間拒絕這個捷徑。三維中沒有單一的「斜率」，因為一條線可以同時往上下、左右、前後傾斜。我們改用走路指令的方式來描述直線：站在一個已知點上，然後沿著一個固定方向一直跨步。已知點是一個位置向量 P_0 = (x_0, y_0, z_0)，固定方向就是一個向量 d = (a, b, c)——方向向量。

把這兩塊拼在一起，就得到直線的向量方程式：r = P_0 + t d，其中 t 是你可以自由旋鈕調整的實數。當 t = 0，你正好坐在 P_0；t 增大，你沿著 d 向前滑；t 變負，你向後滑。讓 t 跑遍所有實數，就掃出直線上的每一個點，且一個不多。同一條方程式，逐座標來讀，給出參數式 x = x_0 + a t、y = y_0 + b t、z = z_0 + c t。

空間中的兩條線：相交、錯過、或平行

在平面上，兩條相異直線要嘛交於一點，要嘛永遠平行——沒有第三種選擇。空間多出了一種真正新的可能。三維中的兩條線可以平行（同方向）、可以相交（交於一個共有的點），也可以是歪斜的：不平行卻又永不相觸，就像高速公路的天橋跨過下方道路卻不與它相遇。歪斜線在二維中根本不可能發生，這是空間比紙面更豐富的最初徵兆之一。

一旦你信任手中的向量工具，分辨它們就是機械化的步驟。先比較兩個方向向量：若一個是另一個的純量倍，兩線平行（且若共享任一點則重合）。若方向不平行，兩線要嘛相交、要嘛歪斜——把兩個參數式設為相等，試著解出兩個參數。若存在一致的解，那就是交點；若方程式互相矛盾，兩線歪斜。兩條相交直線之間的夾角，用點積從它們的方向讀出：cos theta = (d_1 . d_2) / (|d_1| |d_2|)。

Line 1:  r = (1, 0, 2) + t (1, 1, 0)
Line 2:  r = (0, 1, 5) + s (2, 0, 1)
directions (1,1,0), (2,0,1) not parallel
x: 1 + t = 2s    y: t = 1    z: 2 = 5 + s
z gives s = -3, then x: 1 + t = -6 -> t = -7
but y demands t = 1  -> contradiction => SKEW

兩條不平行的直線，其參數方程式無法同時全部滿足——所以它們是歪斜的，並非相交。

平面由它所面朝的方向定義

直線靠一個前進的方向錨定。一個平坦的平面把這個想法翻轉過來：它靠它所不包含的那一個方向錨定——它所面朝的方向。那個垂直方向就是法向量 n = (A, B, C)。站在平面上的已知點 P_0；任何另一點 P 落在平面上，恰好就在從 P_0 到 P 的小箭頭平躺於平面內的時候，也就是它垂直於 n。而「垂直」正是點積所偵測的：n . (P - P_0) = 0。這一條方程式就是平面。

把那個點積乘開，著名的純量形式就掉出來：A x + B y + C z = D，其中 D = n . P_0 收攏了常數。x、y、z 前面的係數不是隨意的裝飾——它們就是法向量的分量，直接從方程式讀出。所以平面 2x - y + 3z = 7 面朝方向 (2, -1, 3)，你在做任何一步計算之前就已經知道它的指向。這是向量觀點悄悄送的一份禮物：方程式把它的幾何穿在外面。

用點積與外積算出距離與角度

回報來了。假設你想求空間中某點 Q 到一個過點 P_0、法向量為 n 的平面的距離。畫出箭頭 P_0Q；只有它沿著 n 的分量才真正朝向平面，而對單位法向量的投影量的正好就是這個。結果就是點到平面距離的乾淨公式：取 |n . (Q - P_0)| 除以 |n|。不必作垂足、不必解聯立——一個點積、一個長度。

從方程式 A x + B y + C z = D 直接讀出 x、y、z 的係數，認出平面的法向量 n = (A, B, C)。
選平面上任一實際的點 P_0，或乾脆用常數：那個帶號的量是 (A x_Q + B y_Q + C z_Q - D)。
取那個數的絕對值以丟掉符號——距離永不為負。
除以法向量的長度 |n| = sqrt(A^2 + B^2 + C^2)，得到真正的垂直距離。

平面之間的夾角，同樣透過它們的法向量來算。二面角——兩平面相接的摺痕上的角，像半掩的書本張開的角度——由 cos theta = (n_1 . n_2) / (|n_1| |n_2|) 求得。兩平面在法向量平行時平行，在法向量滿足 n_1 . n_2 = 0 時垂直。要稍微小心：點積可能遞給你的是你想要的角的補角，所以若你要的是那個銳的張口，就取銳角值。

直線與平面相遇之處——以及接下來

直線與平面以一種令人滿意的方式相遇。把直線的參數式 x = x_0 + a t、y = y_0 + b t、z = z_0 + c t 直接代入平面方程式 A x + B y + C z = D。一切都塌縮成關於唯一未知數 t 的一條一次方程式。解出它，把那個 t 餵回直線，就得到貫穿點。若直線平行於平面——意思是它的方向 d 垂直於法向量，d . n = 0——那條 t 方程式要嘛無解（直線錯過），要嘛恆成立（直線躺在平面內）。一個點積 d . n，在你解任何東西之前就告訴你身處哪一種情形。

退一步，注意貫穿整篇導讀的那個模式。一條直線是一個點加上要跟隨的方向；一個平面是一個點加上要面朝的方向。點積量度面朝，外積在你需要時造出一個垂直方向，而長度來自範數。本節中的每一段距離、每一個角度、每一次相交，都不過是本梯級稍早那三種運算，搬到空間裡使用。沒有什麼新東西非發明不可——只是把它們指向了第三個方向。

在進入下一篇導讀前，一個誠實的提醒。我們一直把空間當成平坦、三維、由普通直角幾何統治的——那個舒適的世界，畢氏定理在此成立，而平行真的就是永不相遇。這個假設在這裡完全正確，而且能帶你走很遠。在這個梯子的更後面，當曲面開始彎曲、幾何變得內蘊時，連「直線」的意思都要重新協商。眼下，本梯級最後一篇導讀會回到外積，去量度的不是面積而是體積——三個向量、一個盒子，以及把它們綁在一起的單一個數。