歡迎來到 FP3 向量：探索 3D 空間！
你好，未來的數學家！在這一章「向量」中，進階純數（Further Pure Mathematics）將帶你深入三維空間的世界。如果你覺得標準 A-Level 的向量概念很簡單，那太棒了！如果你覺得它們有點挑戰性，別擔心——我們將會一步步打好基礎。
在 FP3 中，我們會引入一些強大的新工具，例如向量積（Vector Product）和平面的方程（Equation of a Plane）。掌握這些概念對於解決涉及體積、面積以及空間中物體相對位置的複雜幾何問題至關重要。
讓我們一起深入研究，讓 3D 幾何變得易如反掌！
1. 向量積（叉積）
你已經熟悉純量積（Scalar Product）（點積），它的結果是一個數（純量），用來告訴我們向量之間的夾角。而向量積（Vector Product）（或稱叉積 Cross Product）則有所不同：它的結果是一個新的向量！
1.1 定義與計算
如果我們有兩個向量 \(\mathbf{a}\) 和 \(\mathbf{b}\)，它們的向量積 \(\mathbf{a} \times \mathbf{b}\) 是透過單位向量 \(\mathbf{i}, \mathbf{j}, \mathbf{k}\) 的行列式來計算的。
設 \(\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} = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \end{vmatrix} $$逐步計算小竅門：
要找出結果向量的分量：
- 對於 \(\mathbf{i}\) 分量： 遮住第一行。計算 \((a_2b_3 - a_3b_2)\)。
- 對於 \(\mathbf{j}\) 分量： 遮住第二行。計算 \((a_1b_3 - a_3b_1)\)。關鍵步驟：由於行列式計算時符號會交替，你必須將結果乘以 \(-1\)，得到 \(-(a_1b_3 - a_3b_1)\) 或 \((a_3b_1 - a_1b_3)\)。
- 對於 \(\mathbf{k}\) 分量： 遮住第三行。計算 \((a_1b_2 - a_2b_1)\)。
例子： 若 \(\mathbf{a} = \mathbf{i} + 2\mathbf{j} + 0\mathbf{k}\) 且 \(\mathbf{b} = 3\mathbf{i} + 0\mathbf{j} + 4\mathbf{k}\)。
$$\mathbf{a} \times \mathbf{b} = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ 1 & 2 & 0 \\ 3 & 0 & 4 \end{vmatrix}$$
i-分量： \((2)(4) - (0)(0) = 8\)
j-分量： \(-[(1)(4) - (0)(3)] = -4\)
k-分量： \((1)(0) - (2)(3) = -6\)
因此， \(\mathbf{a} \times \mathbf{b} = 8\mathbf{i} - 4\mathbf{j} - 6\mathbf{k}\)。
1.2 關鍵性質與幾何意義
垂直向量
關於叉積最重要的一個事實是：其結果向量 \(\mathbf{a} \times \mathbf{b}\) 永遠與 \(\mathbf{a}\) 和 \(\mathbf{b}\) 兩者都垂直（正交）。
類比：想像一個地板（包含 \(\mathbf{a}\) 和 \(\mathbf{b}\) 的平面）。向量積就像一根從地板上垂直豎立起來的柱子。
方向： 方向由右手定則決定。如果你將手指從 \(\mathbf{a}\) 捲向 \(\mathbf{b}\)，拇指指向的就是 \(\mathbf{a} \times \mathbf{b}\) 的方向。
順序很重要！（非交換律）：
$$\mathbf{a} \times \mathbf{b} = -(\mathbf{b} \times \mathbf{a})$$
如果你顛倒順序，結果向量的方向會完全相反（它會指向下方而不是上方）。
平行四邊形面積
向量積的模（長度）等於由兩個首尾相接的向量 \(\mathbf{a}\) 和 \(\mathbf{b}\) 所形成的平行四邊形的面積：
$$\text{面積} = |\mathbf{a} \times \mathbf{b}|$$
求三角形面積的小貼士： 由於三角形是平行四邊形的一半，由 \(\mathbf{a}\) 和 \(\mathbf{b}\) 形成的三角形面積為：
$$\text{面積} = \frac{1}{2}|\mathbf{a} \times \mathbf{b}|$$
快速複習：叉積
- 輸入：兩個向量 (\(\mathbf{a}, \mathbf{b}\))。
- 輸出：一個向量 (\(\mathbf{a} \times \mathbf{b}\))。
- 結果向量與兩個輸入向量均垂直。
- 其模等於平行四邊形的面積。
2. 平面的方程
平面是 3D 空間中一個平坦、無限延伸的表面。要唯一確定一個平面，我們不需要三個點（雖然那也有幫助）；在數學上，我們需要一個平面上的點以及一個與平面垂直的向量。
這個垂直向量被稱為法向量（normal vector），記作 \(\mathbf{n}\)。
2.1 平面的向量形式
設 \(\mathbf{a}\) 為平面上已知固定點 \(A\) 的位置向量，設 \(\mathbf{r}\) 為平面上任意點 \(P\) 的位置向量。
向量 \(\vec{AP} = \mathbf{r} - \mathbf{a}\) 必須完全位於該平面內。
由於 \(\mathbf{n}\) 與平面垂直，它必須與平面內的所有向量垂直，包括 \(\vec{AP}\)。
因此，它們的純量積必須為零：
$$(\mathbf{r} - \mathbf{a}) \cdot \mathbf{n} = 0$$
重組後得到平面的標準向量方程：
$$\mathbf{r} \cdot \mathbf{n} = \mathbf{a} \cdot \mathbf{n}$$
由於 \(\mathbf{a} \cdot \mathbf{n}\) 只是個常數，我們通常寫作：
$$\mathbf{r} \cdot \mathbf{n} = d$$
其中 \(d = \mathbf{a} \cdot \mathbf{n}\)。
2.2 平面的笛卡兒形式
如果我們令 \(\mathbf{r} = x\mathbf{i} + y\mathbf{j} + z\mathbf{k}\) 且法向量 \(\mathbf{n} = a\mathbf{i} + b\mathbf{j} + c\mathbf{k}\)，那麼純量積 \(\mathbf{r} \cdot \mathbf{n} = d\) 展開後即為平面的笛卡兒方程：
$$ax + by + cz = d$$
重要關聯： 笛卡兒方程中 \(x, y, z\) 的係數正是法向量 \(\mathbf{n}\) 的分量。
2.3 從三點求平面方程
通常題目會給你三個不共線的點 \(A, B, C\)，要求你求出包含它們的平面方程。
逐步計算過程：
- 找出平面內的兩個向量： 例如，\(\mathbf{u} = \vec{AB}\) 和 \(\mathbf{v} = \vec{AC}\)。
- 計算法向量 (\(\mathbf{n}\))： 使用向量積：\(\mathbf{n} = \mathbf{u} \times \mathbf{v}\)。（記住，叉積與兩個向量都垂直，因此它必然與平面垂直）。
- 找出常數 \(d\)： 使用方程 \(\mathbf{r} \cdot \mathbf{n} = d\)。將這三個已知點（\(\mathbf{a}, \mathbf{b}\) 或 \(\mathbf{c}\)）中任意一點的坐標代入 \(\mathbf{r}\) 即可。
- 寫出最終方程： 將 \(\mathbf{n}\) 和 \(d\) 代入 \(ax + by + cz = d\)。
你知道嗎？如果三個點共線（在同一條直線上），它們無法定義一個唯一的平面。因為此時 \(\mathbf{u}\) 和 \(\mathbf{v}\) 會互相平行，它們的叉積 \(\mathbf{u} \times \mathbf{v}\) 會變為零向量，你就無法找到法向量！
3. 純量三重積
純量三重積涉及三個向量 \(\mathbf{a}, \mathbf{b},\) 和 \(\mathbf{c}\)。其結果是一個純量（一個數）。
3.1 定義與計算
純量三重積定義為：
$$\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})$$
計算時，先計算向量積 \(\mathbf{b} \times \mathbf{c}\)，然後將所得向量與 \(\mathbf{a}\) 做點積。
最簡單的計算方法是使用 3x3 行列式，其中行分別為 \(\mathbf{a}, \mathbf{b},\) 和 \(\mathbf{c}\) 的分量，順序如下：
$$ \mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}) = \begin{vmatrix} a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \\ c_1 & c_2 & c_3 \end{vmatrix} $$記憶小幫手： 結果是一個純量（數），所以行列式中沒有 \(\mathbf{i}, \mathbf{j}, \mathbf{k}\) 行。
3.2 幾何意義：平行六面體的體積
純量三重積的絕對值（模）等於由三個共享同一頂點的向量 \(\mathbf{a}, \mathbf{b},\) 和 \(\mathbf{c}\) 所定義的平行六面體（一個歪斜的長方體，像是一疊被推歪的撲克牌）的體積。
$$\text{體積} = |\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})|$$
為什麼？\(\mathbf{b} \times \mathbf{c}\) 的模給出了底面積，而與 \(\mathbf{a}\) 的點積計算出了 \(\mathbf{a}\) 在法向量上的投影，這給出了垂直高度。體積 = 底面積 \(\times\) 垂直高度。
3.3 共面測試
如果三個向量 \(\mathbf{a}, \mathbf{b},\) 和 \(\mathbf{c}\) 全都在同一個平面上（它們是共面的），它們無法構成體積。這個平行六面體會塌陷！
這提供了一個強大的測試方法：
若 \(\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}) = 0\)，則向量 \(\mathbf{a}, \mathbf{b},\) 和 \(\mathbf{c}\) 共面。
這是考試中非常常見的應用。如果題目要求證明四個點位於同一個平面上，先在它們之間構成三個向量（例如 \(\vec{AB}, \vec{AC}, \vec{AD}\)），然後證明這三個向量的純量三重積為零即可。
4. 3D 空間中的角度與距離
一旦你掌握了平面方程，你就可以解決涉及交點、角度和距離的問題。
4.1 兩平面之間的夾角 (\(\Pi_1\) 和 \(\Pi_2\))
不用去管平面本身！兩平面之間的夾角就是它們法向量 \(\mathbf{n}_1\) 和 \(\mathbf{n}_2\) 之間的夾角。
我們使用點積公式來求出夾角 \(\theta\)：
$$\mathbf{n}_1 \cdot \mathbf{n}_2 = |\mathbf{n}_1| |\mathbf{n}_2| \cos \theta$$
$$\cos \theta = \frac{|\mathbf{n}_1 \cdot \mathbf{n}_2|}{|\mathbf{n}_1| |\mathbf{n}_2|}$$
我們使用絕對值 \(|\mathbf{n}_1 \cdot \mathbf{n}_2|\) 來確保我們求出的總是兩平面間的銳角（除非題目另有說明，通常預設要求銳角）。
4.2 直線 (\(L\)) 與平面 (\(\Pi\)) 之間的夾角
這裡比較狡猾！直線與平面的夾角不是直線方向向量 (\(\mathbf{d}\)) 與平面法向量 (\(\mathbf{n}\)) 之間的夾角。
逐步計算過程：
- 使用點積找出直線方向向量 \(\mathbf{d}\) 與平面法向量 \(\mathbf{n}\) 之間的夾角 \(\alpha\)： $$\cos \alpha = \frac{|\mathbf{d} \cdot \mathbf{n}|}{|\mathbf{d}| |\mathbf{n}|}$$
- 由於 \(\mathbf{n}\) 與平面垂直，直線與平面的夾角 \(\theta\) 即為 \(\alpha\) 的餘角。 $$\theta = 90^\circ - \alpha \quad \text{或} \quad \sin \theta = \cos \alpha$$
避免這個常見錯誤： 直接使用點積計算得到的是直線與「法線」的夾角。你必須利用 \(90^\circ - \alpha\) 或正弦關係將其轉換為與「平面」本身的夾角。
4.3 點到平面的距離
從點 \(P(x_0, y_0, z_0)\) 到平面 \(\Pi: ax + by + cz = d\) 的最短距離，可以透過由向量投影導出的簡單公式得到。
如果將平面方程寫為 \(ax + by + cz - d = 0\)，則距離 \(D\) 為：
$$ D = \frac{|ax_0 + by_0 + cz_0 - d|}{\sqrt{a^2 + b^2 + c^2}} $$解釋： 分子是將點 \(P\) 的坐標代入平面方程中。分母正是法向量 \(\mathbf{n} = (a, b, c)\) 的模。
小貼士： 如果該點就在平面上，代入後的分子會變為零，距離也就為零——這完全合乎邏輯！
總結與後續步驟
你現在已經探索了 FP3 向量的高階幾何知識！
重點歸納：
- 向量積（叉積）給出一個與另外兩個向量垂直的向量，其模等於平行四邊形的面積。這對於尋找平面的法向量 (\(\mathbf{n}\)) 至關重要。
- 平面的方程完全依賴於其法向量：\(\mathbf{r} \cdot \mathbf{n} = d\)。
- 純量三重積有助於求出平行六面體的體積，並能判斷三個向量是否共面（若體積為零即共面）。
這一章最大的挑戰在於知道「該用哪一個工具」。如果題目涉及面積或尋找垂直向量，請考慮叉積。如果涉及角度或距離，請考慮點積及相關公式。繼續練習那些行列式計算，你一定能精通 3D 空間！