外積：面積與方向

一個傳回向量、而非數的乘積

在上一篇裡，內積 u . v 把兩個向量拿去、交回單一一個數，也就是一個純量——它量的是兩支箭在方向上有多一致。那個數告訴你角度與投影的事，卻把空間中所有的方向感都丟掉了。現在我們要的是相反的工具：一個記得空間的工具。外積 u x v 把同樣兩個向量拿去、傳回一個全新的向量——而關鍵在於，那個結果向量指向這兩支箭所在平面的外側。兩種乘積，兩種性格：內積塌縮成一個數，外積向上建造成一個向量。

這裡先誠實地說一個但書，因為它塑造了接下來的一切：外積是道道地地的三維生物。在平坦的平面裡，沒有空間能讓一個向量垂直地戳出於另外兩者之外，所以作為向量的外積在二維中根本不存在——在四維裡也沒有唯一「那一個」的垂直方向，所以它無法乾淨地推廣到三維以上。內積在每個維度都管用；而外積，以這個確切的形式，是專屬於三維空間的禮物。這不是需要道歉的限制——正是它讓外積如此擅長描述我們實際身處的三維世界。

多長、朝哪：幾何定義

外積由兩個事實定義，一個關於長度，一個關於方向。先談長度：|u x v| = |u| * |v| * sin theta，其中 theta 是兩向量間的夾角（與內積找到的是同一個 theta）。把這拿來和用 cos theta 的內積比較。這對配對很美——內積在兩箭平行時最大（cos 0 = 1）、垂直時為零，而外積恰好相反：平行時為零（sin 0 = 0）、垂直時最大。它們量的是互補的東西，一致 對上 張開。

現在談方向。結果 u x v 同時垂直於 u 與 v——它筆直地戳出於那兩支箭所定義的平面之外。但一個平面有兩個垂直方向，上與下；是哪一個？這個選擇由右手定則決定：讓右手手指沿 u 指出，再順著角 theta 把手指彎向 v，你的拇指就指向 u x v。把手平放在桌面上試試：手指指向東（u）、彎向北（v），你的拇指便筆直地離開桌面往上升——那就是東-外積-北的方向。這條法則是一項約定，是人類選擇把哪一邊叫做「正」，但一旦選定，便處處一致地套用。

為何那個長度是一塊面積

公式 |u x v| = |u| * |v| * sin theta 不是隨意的組合——它正是以 u 與 v 為兩邊的平行四邊形面積。回想平行四邊形的基本面積：底乘高。取 |u| 當底。高是從 v 的尖端垂直落到 u 所在直線的距離，而基本三角給出這個高為 |v| * sin theta——邊 v 以角 theta 傾斜，它垂直於底而升起的那一部分，就是它的長度乘以 sin theta。底乘高，你得到 |u| * |v| * sin theta。外積的長度，字面上就是那塊面積。

這是設想 u x v 最有用的一種方式：它是一個向量，其長度編碼了一塊面積、其方向編碼了那塊平面在空間中的定向。把它想成「面積向量」——一面插得垂直於平行四邊形的小旗，面積愈大旗愈長。這也是為何把面積對半切就得到三角形面積：以 u 與 v 為兩邊的三角形恰好是平行四邊形的一半，所以它的面積是 (1/2) * |u x v|，這正是你在三角形那裡見過的正弦面積公式 area = (1/2) * a * b * sin C 的空間表親。

從分量計算它

正如內積有一個乾淨的分量公式，外積也有——只是稍微忙一點，因為答案有三個座標要填。若 u = (u_1, u_2, u_3) 且 v = (v_1, v_2, v_3)，則 u x v 是下方那個向量。每個分量都是一個小小的交叉相減，而這模式循環著：第一個分量用指標 2 與 3，下一個用 3 與 1，最後一個用 1 與 2。注意中間那個分量的兩項是「反」過來的順序（3,1 而非 1,3）；那個符號翻轉確實是公式的一部分、不是手誤，也是最容易出錯的地方。

u x v = ( u_2*v_3 - u_3*v_2 ,
          u_3*v_1 - u_1*v_3 ,
          u_1*v_2 - u_2*v_1 )

example:  u = (1, 0, 0),  v = (0, 1, 0)
          u x v = (0*0 - 0*1, 0*0 - 1*0, 1*1 - 0*0) = (0, 0, 1)

底下那個算過的例子值得停留，因為它把抽象化為具體。向量 (1, 0, 0) 指東、(0, 1, 0) 指北，而公式傳回 (0, 0, 1)——筆直朝上。這與桌面上的右手定則完全相符，且長度為 1，正是這兩個單位向量張出的單位正方形面積。一道小小的計算一次確認了全部三項主張：垂直方向、右手定向，以及面積即長度。學習時，總是這樣替外積做合理性檢查——答案看起來垂直於兩個輸入嗎？

它在乎順序：反交換性

外積打破了你從算術以來就有的一個習慣：順序有關係。對內積而言，u . v = v . u，交換沒有差別。對外積而言，交換會翻轉符號：v x u = -(u x v)。這是右手定則所強迫的——若你的手指從 v 彎向 u 而非從 u 彎向 v，你會反向掃過那個角，拇指便朝下而非朝上。兩個答案有相同的長度（同一個平行四邊形、同一塊面積）卻方向相反。一個交換就使結果變號的乘積，稱為反交換。

還有兩個誠實的後果隨之而來。第一，對任何向量 u x u = 0——一個向量與自己平行、sin 0 = 0，而以一個向量與它自己構成的「平行四邊形」是一片面積為零的退化薄片。第二，別指望外積像普通乘法那樣具有結合律：一般而言 (u x v) x w 不等於 u x (v x w)，所以你必須保留給定的括號分組，絕不要悄悄重排一串外積。看清楚外積不遵守什麼，和知道它遵守什麼一樣重要。

它有什麼用：法向量、面積與更遠處

外積的垂直性是它的殺手級應用。假設你有空間中的三個點，想求通過它們的那個平坦平面。在那平面裡造出兩個向量（從其中一點分別連到另外兩點），取它們的外積，你立刻就有了一個垂直於該平面的向量——它的法向量。平面的方程式直接由這個法向量造出，這正是下一篇在座標裡釘住平面的方法。沒有別的單一運算能這麼便宜地交給你一個垂直方向。

面積的意義是另一個大收穫。要求空間中以 A、B、C 為頂點的三角形面積——光靠空間距離公式會很笨拙——就造出邊向量 AB 與 AC，外積之，再取一半長度：area = (1/2) * |AB x AC|。同樣的想法可以放大：外積是下一段最後一篇要談的純量三重積的基礎，後者量的是三個向量所張出的盒子的體積。而在純幾何之外，物理裡的外積正是力矩（r x F）與運動電荷所受的磁力——這些量本質上就是關於空間中某個旋轉方向的。

1. 目標：求以 A = (0, 0, 0)、B = (1, 0, 0)、C = (0, 2, 0) 為頂點的三角形面積。
2. 從 A 造出兩個邊向量：AB = (1, 0, 0) 與 AC = (0, 2, 0)。
3. 用分量公式外積：AB x AC = (0*0 - 0*2, 0*0 - 1*0, 1*2 - 0*0) = (0, 0, 2)。
4. 取一半長度：|(0, 0, 2)| = 2，所以面積是 (1/2)*2 = 1——與底為 1、高為 2 的三角形相符，其面積正是 1。