歡迎來到 3D 向量的世界！
在之前的學習中，你可能已經接觸過二維和基本的 3D 向量。在 進階純數學 3 (FP3) 中，我們將這些概念提升到一個新的層次。我們不僅僅是進行簡單的加減運算，更要探索向量如何定義我們身處的空間——從漂浮三角形的面積，到 3D 結構中兩個平面交匯的精確點。
無論你的目標是成為工程師、電子遊戲開發者（想想 3D 圖形！），還是物理學家，這些工具都是你的必備技能。如果剛開始覺得步驟繁多，請別擔心；我們會把它拆解成小部分來逐一攻克！
1. 向量積（Vector Product，\(\mathbf{a} \times \mathbf{b}\)）
在核心數學中，你學過 純量積（點積，Scalar Product/Dot Product），它的結果是一個數值。在 FP3 中，我們要介紹 向量積（也稱為 叉積，Cross Product）。最大的區別是什麼？它的結果是一個 向量。
什麼是向量積？
向量積 \(\mathbf{a} \times \mathbf{b}\) 會產生一個新的向量，且該向量與 \(\mathbf{a}\) 和 \(\mathbf{b}\) 皆 垂直（成 90 度）。
如何計算
對於向量 \(\mathbf{a} = a_1\mathbf{i} + a_2\mathbf{j} + a_3\mathbf{k}\) 和 \(\mathbf{b} = b_1\mathbf{i} + b_2\mathbf{j} + b_3\mathbf{k}\)，計算 \(\mathbf{a} \times \mathbf{b}\) 最簡單的方法是使用 行列式 (determinant)：
\[ \mathbf{a} \times \mathbf{b} = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \end{vmatrix} \]
逐步解說：
1. \(\mathbf{i}\) 分量：\((a_2b_3 - a_3b_2)\)
2. \(\mathbf{j}\) 分量：-(\(a_1b_3 - a_3b_1\)) （注意這裡的負號！這是一個常見的錯誤。）
3. \(\mathbf{k}\) 分量：\((a_1b_2 - a_2b_1)\)
幾何意義：面積
你知道嗎？ 叉積的模長 \(|\mathbf{a} \times \mathbf{b}|\)，等於由這兩個向量所構成的 平行四邊形面積。
如果你只需要由它們構成的 三角形 面積，除以 2 就可以了！
三角形面積 = \(\frac{1}{2} |\mathbf{a} \times \mathbf{b}|\)
快速回顧：
- \(\mathbf{a} \times \mathbf{b}\) 是一個向量。
- 它與兩個原始向量皆垂直。
- 模長 = 平行四邊形的面積。
2. 純量三重積（Triple Scalar Product，\(\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})\)）
這個名字聽起來很高級，但它其實只是點積與叉積的組合。結果是一個 純量（一個數值）。
幾何意義：體積
想像一個被壓扁的 3D 箱子，其所有面都是平行四邊形。這稱為 平行六面體 (parallelepiped)。這個形體的 體積 就是純量三重積的絕對值：\(|\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})|\)。
如果結果為 零，代表向量 \(\mathbf{a}\)、\(\mathbf{b}\) 和 \(\mathbf{c}\) 都在同一個平面上。我們稱這些向量為 共面 (coplanar) 向量。
記憶小撇步：
- 1 個向量 = 線 (Line)
- 2 個向量（叉積） = 面積 (2D)
- 3 個向量（三重積） = 體積 (3D)
3. 直線方程式
你已經知道直線的標準向量方程式：\(\mathbf{r} = \mathbf{a} + \lambda \mathbf{b}\)。在 FP3 中，我們學到了一種使用叉積來編寫它的新方法。
叉積形式
直線可以寫成：\((\mathbf{r} - \mathbf{a}) \times \mathbf{b} = \mathbf{0}\)
為什麼這樣有效？
想一想：\((\mathbf{r} - \mathbf{a})\) 是從固定點 \(\mathbf{a}\) 指向直線上任意點 \(\mathbf{r}\) 的向量。如果這個向量與方向向量 \(\mathbf{b}\) 平行，它們的叉積 必須 為零。這只是表達「點在直線上」的另一種方式！
4. 平面方程式
平面是 3D 空間中一個平坦且無限延伸的 2D 表面。描述平面主要有三種方式：
A. 參數式 (Parametric Form)
\(\mathbf{r} = \mathbf{a} + s\mathbf{b} + t\mathbf{c}\)
這裡，\(\mathbf{a}\) 是平面上的一點，\(\mathbf{b}\) 和 \(\mathbf{c}\) 是兩個「位於」平面上的向量。透過調整「滑桿」\(s\) 和 \(t\)，你可以到達平面上的任何一點。
B. 純量積（法向量）形式 (Scalar Product/Normal Form)
\(\mathbf{r} \cdot \mathbf{n} = p\)
這是最常見的形式。\(\mathbf{n}\) 是 法向量 (normal vector)（一個垂直於平面、指向平面外的向量，就像插在地面上的旗桿）。\(p\) 是一個常數。
C. 卡式座標形式 (Cartesian Form)
\(ax + by + cz = d\)
在這種形式下，係數 \((a, b, c)\) 其實就是 法向量 \(\mathbf{n}\) 的分量。所以如果你看到平面 \(2x - 3y + z = 5\)，你馬上就能知道法向量是 \(2\mathbf{i} - 3\mathbf{j} + \mathbf{k}\)！
5. 解決幾何問題
這就是 FP3 最精彩的地方！我們利用這些公式來尋找距離和交點。
I. 點到平面的距離
如果你有一個點 \(P\)（位置向量為 \(\mathbf{x_0}\)）和一個平面 \(\mathbf{r} \cdot \mathbf{n} = p\)，其最短距離為：
\[ d = \frac{|\mathbf{x_0} \cdot \mathbf{n} - p|}{|\mathbf{n}|} \]
II. 兩個平面的交線
當兩個平面相遇時（就像房間裡的兩面牆），它們會形成一條 直線。要找出這條線的方向，你需要求出兩個法向量的叉積：\(\mathbf{d} = \mathbf{n_1} \times \mathbf{n_2}\)。
III. 兩條歪斜線 (Skew Lines) 之間的最短距離
歪斜線 是指兩條既不平行也不相交，因為它們在 3D 空間中處於不同「深度」的線。要找出它們之間的最短間距：
1. 使用 \(\mathbf{n} = \mathbf{b_1} \times \mathbf{b_2}\) 找到一條同時垂直於兩條線的向量（其中 \(\mathbf{b}\) 是方向向量）。
2. 距離就是連接兩條線上任意兩點的向量在該法向量上的投影。
常見錯誤：
不要將 平行線 (parallel) 和 歪斜線 (skew) 搞混。平行線有相同的方向向量；而歪斜線的方向向量不同，且永遠不會相交。
總結與關鍵重點
要記住的要點：
- 叉積： 結果為向量。用於處理垂直關係和面積計算。
- 三重積： 結果為純量。用於處理體積計算以及判斷向量是否共面。
- 法向量： 任何平面的「鑰匙」。它永遠垂直於該表面。
- 直線方程式： 可以寫成 \((\mathbf{r} - \mathbf{a}) \times \mathbf{b} = \mathbf{0}\)。
- 平面方程式： \(\mathbf{r} \cdot \mathbf{n} = p\) 是你處理距離問題時最好的朋友。
如果一開始覺得困難，請別灰心！3D 向量需要一點空間想像力。開始解題時，試著畫個簡圖來標示平面和直線——這對理解問題大有幫助！