兩個解，未必真是兩個解
上一篇你已經見過這一階的核心事實：二階齊次方程 a y'' + b y' + c y = 0 的所有解構成一個二維空間。二維意味著你恰好需要兩個基底解 y1 與 y2，於是每個解都是組合 C1 y1 + C2 y2——這正是 疊加原理 在發揮作用。但「兩個」這個詞裡藏著一個陷阱。如果 y2 其實只是 y1 的某個倍數，那麼 C1 y1 + C2 y2 就塌縮成單一方向，你根本沒有撐起整個平面——只覆蓋了平面裡的一條直線。
舉個具體的例子。對 y'' - y = 0，y1 = e^x 與 y2 = 2 e^x 都是貨真價實的解。但 y2 = 2 y1——同樣的形狀，只是放大了。組合 C1 e^x + C2 (2 e^x) 等於 (C1 + 2 C2) e^x，仍然只是 e^x 的「某個」倍數。你永遠造不出 e^(-x)，儘管 e^(-x) 也是一個解。兩個互為純量倍數的解，只攜帶了一個解的資訊。我們稱這樣的一對為 線性相依，而真正指向不同方向的一對為 線性獨立。
一個盯著斜率的行列式
用肉眼判斷一個函數是不是另一個的倍數，對 e^x 與 2 e^x 行得通，但只要函數一糾纏就失靈了——sin(x) 是 cos(x) 的倍數嗎？e^x 是 x e^x 的倍數嗎？我們想要一個機械式的測試。關鍵洞見是：若 y2 = k y1（k 為常數），那麼它們的斜率服從「同一個」關係，y2' = k y1'。於是在每一點，「值與斜率」這一對 (y2, y2') 都只是 (y1, y1') 的 k 倍——兩對是平行向量。平面上兩向量平行，恰好當它們所構成的行列式為零。那個行列式就是 朗斯基行列式。
| y1 y2 |
W(x) = | | = y1 * y2' - y2 * y1'
| y1' y2' |
W = 0 at a point <--> (y1,y1') and (y2,y2') are parallel there拿相依的那一對來試：W(e^x, 2 e^x) = e^x (2 e^x) - 2 e^x (e^x) = 0，處處為零——測試正確地把它們標記為相依。再看獨立的一對 e^x 與 e^(-x)：W = e^x (-e^(-x)) - e^(-x) (e^x) = -1 - 1 = -2，永不為零。朗斯基行列式 一行就做到了肉眼無法保證的事：它量出了這兩個解是否真正撐開一個二維空間。
為什麼朗斯基行列式真能釘住常數
朗斯基行列式不只是一個檢驗平行的小工具；它恰恰是決定你能否解出初值問題的那個量。假設你要一個滿足 y(x0) = A 且 y'(x0) = B 的解。把 y = C1 y1 + C2 y2 代入並在 x0 處施加這兩個條件，會得到兩個關於未知數 C1、C2 的線性方程。這個方程組的係數矩陣，正是在 x0 處取值的朗斯基矩陣。依照線性代數的常規法則，你能對「任意」目標 A、B 解出 C1 與 C2，恰好當這個矩陣可逆——也就是當 W(x0) 不為零時。
因此朗斯基行列式不為零，是整套理論的綠燈：它保證 C1 y1 + C2 y2 能命中「每一個」被允許的初始條件，而這正是「這兩個解給出完整 通解」的意思。當 W 不為零時，這一對 {y1, y2} 就稱為一組 基本解系——二維解空間的一組基底——上一篇 二維 的承諾，至此才真正具體地兌現。
阿貝爾恆等式：要嘛全有，要嘛全無
有一個了不起的事實能省下大量力氣。對「同一個」二階線性方程的解而言，朗斯基行列式不可能在某些點為零、在另一些點不為零。它要嘛處處為零（相依），要嘛處處不為零（獨立）。這個鮮明的二分來自 阿貝爾恆等式：它指出 W 本身滿足一個小小的一階方程 W' = -(b/a) W，其解在常係數情形下為 W(x) = W(x0) e^(-(b/a)(x - x0))。由於指數函數永不為零，W 在「零」與「非零」之間切換，全取決於它的起始值 W(x0)。
留意這替你省下了什麼。要認證一組基本解系，你永遠只需在「一個」點檢查朗斯基行列式——通常是最好算的那一點。阿貝爾恆等式接著免費地把這個判決傳遍整個 區間。同一個恆等式在本階稍後還有第二段人生：在降階法那一篇裡，公式 W(x) = W(x0) e^(-(p 的積分)) 正是把「第二個」解從你已知的第一個解中撬出來的那根槓桿。
誠實的附帶條款：離開老家的朗斯基行列式
上面那個乾淨的二分是真的，但它有一個精確的前提：y1 與 y2 必須都是「同一個」線性方程的解，且在係數連續的區間上。對於憑空抓來的任意函數，朗斯基行列式的威力就小了。若 W 在哪怕一個點上不為零，這些函數仍然真正獨立——這個方向永遠成立。但反過來不行：存在一些獨立的函數，其朗斯基行列式恆為零，所以單憑 W = 0 並不能在一般情況下證明相依。
教科書上的反例是整條實軸上的 x^2 與 x|x|：它們的朗斯基行列式處處為零，但沒有任何單一常數 k 能讓 x|x| = k x^2 在原點兩側同時成立，所以它們獨立。逃生口正是我們一再強調的那個前提：x^2 與 x|x| 並不是跨越 x = 0 的某個良好線性常微分方程的兩個解。在「固定一個 線性方程 的解」這個受保護的世界裡，你是安全的——那裡 W = 0 真的就代表相依，綠燈的判讀成立、不帶任何但書。