解線性方程組：空間幾何 (FP2.14)
你好！歡迎來到進階數學（Further Maths）中最實用且幾何感最強的課題之一。在這裡，我們要處理線性方程組——不僅僅是二維平面上的兩條直線，而是 **三維空間中最多三個平面** 的相交問題！
這一章的核心在於找出這些平面的交點。我們所用的方法是計算機科學、工程學和物理學的基礎。如果代數計算看起來很冗長，別擔心，真正的樂趣在於理解其中的幾何意義！
快速重溫：什麼是三維線性方程？
在普通程度（A-Level）數學中，你知道方程 \(y = mx + c\) 代表二維平面上的一條直線。
在三維空間中，包含 \(x, y,\) 和 \(z\) 的線性方程定義了一個 **平面**（一個平整且無限延伸的表面）。
其一般式為：
\(ax + by + cz = d\)
你知道嗎？係數 \(a, b, c\) 組成了 **法向量 (normal vector)** \(\mathbf{n} = \begin{pmatrix} a \\ b \\ c \end{pmatrix}\)，它與平面垂直。掌握這一點能幫助我們快速辨別平行的平面！
第 1 節：目標——三個平面的交集
當我們需要求解一個包含三個線性方程的方程組時：
\(E_1: a_1x + b_1y + c_1z = d_1\)
\(E_2: a_2x + b_2y + c_2z = d_2\)
\(E_3: a_3x + b_3y + c_3z = d_3\)
其實我們是在問：**哪一個點 \((x, y, z)\) 同時位於這三個平面上？**
比喻：房間的牆壁
想像你正站在一個標準的長方形房間裡。
- 平面 1：地板。
- 平面 2：側牆。
- 平面 3：後牆。
但如果這些平面的擺放方式沒這麼理想呢？這就是我們需要處理的各種不同情況了！
第 2 節：使用高斯消元法 (Gaussian Elimination) 求解
雖然代入法有效，但過程很快就會變得混亂。進階數學中最可靠且有效的方法是 **高斯消元法**（又稱列運算）。
高斯消元法系統地將方程組轉化為一個等價的、更簡單的 **行階梯形 (Row Echelon Form)**（呈現三角形狀），從中我們可以使用 **回代法 (back-substitution)** 輕鬆得出解。
逐步過程
讓我們看看具體操作。我們通常使用 **增廣矩陣 (augmented matrix)** \((A | \mathbf{d})\) 來讓數字整潔有序。
第 1 步：在左上角設置一個首項「1」（或一個簡單的數字）。
選擇能讓消元過程最簡單的方程。允許對調方程順序。
第 2 步：消除第 2 和第 3 個方程中的 \(x\)。
進行列運算（將第一個方程乘以某個倍數後加減到其他方程中），使 \(E_2\) 和 \(E_3\) 的首項變為零。
(例如：新 \(E_2\) = \(E_2 - 2E_1\))
第 3 步：消除新第 3 個方程中的 \(y\)。
現在，利用新的第 2 個方程來消除第 3 個方程中的 \(y\)。這會讓你得到一個只包含 \(z\) 的方程。此時，方程組已變成三角形狀。
第 4 步：回代求解。
解出最後一個方程的 \(z\)。將 \(z\) 代入第 2 個方程以求出 \(y\)。最後將 \(y\) 和 \(z\) 都代入第 1 個方程以求出 \(x\)。
常見錯誤警報！
算術錯誤是這裡最大的挑戰。在乘以整個方程或進行加減時，一定要非常細心。務必將最後算出的值代入 *原始的* 三個方程中進行檢查。
第 3 節：三種可能的結果（代數檢測）
在消元過程完成後，第三個方程就是你的診斷工具。最後一行代數（或矩陣的最底下一行）可能會出現以下三種情況：
1. 唯一解
這是標準情況，你會找到一個單一的交點。
代數結果： 最後一個方程給出明確的 \(z\) 值。
\(0x + 0y + Cz = D\) 其中 \(C \neq 0\)。
例子： \(5z = 10 \implies z = 2\)。之後你就能輕鬆找到 \(x\) 和 \(y\)。
2. 無窮多解（相依方程組）
當三個平面交於一條共同直線，或本身就是同一個平面時，會出現這種情況。
代數結果： 最後一個方程恆成立，但沒有提供新資訊。
\(0x + 0y + 0z = 0\)
如何處理： 由於你只有兩個有效的方程而有三個變數，你必須為其中一個變數（通常是 \(z\)）引入一個 **參數**（如 \(\lambda\)、\(t\) 或 \(k\)）。將 \(x\) 和 \(y\) 用此參數表示出來。解將會是一條直線：
\(\mathbf{r} = \mathbf{a} + t\mathbf{d}\)
3. 無解（矛盾方程組）
這意味著三個平面不可能同時交於一點。
代數結果： 最後一個方程是一個明顯的矛盾（數學上的謬誤）。
\(0x + 0y + 0z = K\) 其中 \(K \neq 0\)。
例子： \(0 = 7\)。這是不可能的！因此，該方程組是不相容的，沒有任何解。
如果最底下一行是：
\(0 = 0\) → 輕鬆解決，有無窮多解（設定一個參數）。
\(0 = K\) (K 為非零值) → 出現矛盾，無解。
第 4 節：平面的幾何詮釋
FP2 課程的核心在於將這些代數結果與平面在三維空間中的物理配置聯繫起來。
情況 A：唯一解
幾何意義： 三個平面交於 **一個單一的點**。
這就是「房間角落」的情況。這些平面非平行，且交得乾淨俐落。
視覺檢查： 沒有任何法向量是平行的。
情況 B：無窮多解
當系統是相依的 (\(0=0\)) 時，有兩種幾何配置：
B1：交於一條線
幾何意義： 三個平面交於同一條直線。
比喻： 想像一本半開的書。書頁是兩個平面，它們交於書脊（一條線）。如果第三個平面（一張紙）也剛好位於書脊上，那麼這三個平面就共用這條線。
視覺檢查： 法向量不平行，但方程組是相依的。
B2：重合平面
幾何意義： 兩個或所有三個平面完全相同。
例子： \(x+y+z=5\) 和 \(2x+2y+2z=10\)。它們其實是同一個平面。如果第三個平面也相同（或交於一條線），你就會得到無窮多解。如果三個都重合，整個平面都是解集。
視覺檢查： 一個平面的方程是另一個平面的常數倍。
情況 C：無解（不相容方程組）
當系統是不相容的 (\(0=K\)) 時，平面不會全部相交：
C1：至少有兩個平面平行且相異
幾何意義： 如果平面 1 平行於平面 2，它們永遠不會相交。無論第三個平面在哪裡，都無法解決前兩個平面不相交的問題。
視覺檢查： 兩個平面的法向量成比例，但常數項 \(d\) 不成比例（例如 \(x+y+z=1\) 和 \(x+y+z=5\)）。
C2：束狀/三角柱（平面兩兩相交）
幾何意義： 平面兩兩相交，形成三條平行線。它們包圍出一個空心空間（像一個三角隧道）。
比喻： 想像在桌上放三把尺，讓它們互相交錯，但不會交於中心一點。或者想像一個無限延伸的三角巧克力盒。每個面都是一個平面，交線則是平行的。
視覺檢查： 沒有任何兩個平面平行，但系統依然是不相容的（這是學生最容易混淆的地方！）。這發生在三個法向量 **共面**，但平面本身並不包含共同線或共同點的情況下。
要檢查兩個平面 \(P_1\) 和 \(P_2\) 是否平行，只需檢查它們的法向量 \(\mathbf{n}_1\) 和 \(\mathbf{n}_2\) 是否互為倍數。
幾何配置總結表
下表總結了你必須能夠詮釋的各種結果：
類型 1：唯一解 (1 個解)
配置： 三個平面交於一點（角落）。
代數結果： 最後方程給出 \(z = k\)。
類型 2：相容（無窮多解）
配置： 交於一條共同線（書頁）或 平面重合。
代數結果： 最後一行是 \(0 = 0\)。
類型 3：不相容（無解）
配置： 平面平行且相異 或 束狀/三角柱（兩兩相交）。
代數結果： 最後一行是 \(0 = K\) (\(K \neq 0\))。
如果三角柱的結構很難想像也不要緊！關鍵是，如果你發現 **無解** (\(0=K\)) 但沒有任何兩個平面平行，那麼它們一定是三角柱的排列方式。
繼續練習高斯消元法，並密切注意最後那個方程。它會告訴你整個故事的結果！祝你好運！