從一個常數到兩個
在一階的階梯上，你看到一條方程帶著一個任意常數：dy/dx = 2x 給出 y = x^2 + C，一個單參數解族。升到二階，出現的最高階導數是 y''，於是你與答案之間隔著兩次積分，也就隨之帶來兩個常數。這正是本節存在的全部理由。一個二階線性齊次方程長得像 a y'' + b y' + c y = 0，它的解不再構成單參數解族，而是雙參數的——y = c1 * y1 + c2 * y2。
這個名字裡有兩個詞肩負重任，請容我們講清楚。線性意指未知函數 y 及其導數只以一次方出現，彼此不相乘，也不被塞進正弦或平方裡——於是 y''、y' 與 y 各自配上一個係數再相加，僅此而已。這就是你先前見過的線性與非線性之分，也是「我們能完全理解的方程」與「我們大多無能為力的方程」之間的分水嶺。齊次意指右邊恰好為零：沒有外來的推力，沒有強迫項，只是方程與自身相互抵消。
疊加：線性的引擎
讓一切運轉起來的，正是這一個性質。設 y1 與 y2 都是 a y'' + b y' + c y = 0 的解。那麼任意組合 c1 * y1 + c2 * y2 也是解——對常數 c1 與 c2 的每一種取法皆然。這就是疊加原理，一行字便能看出它為何成立：求導是線性的，於是把 c1 * y1 + c2 * y2 代入左邊，只會得到 c1 乘上（y1 所給的）加上 c2 乘上（y2 所給的），而那兩者各自為零，總和便也是零。
請留意齊次在這裡何等關鍵。若右邊不是 0，而是某個非零的 g(x)，那麼把兩個解相加會讓右邊變成 2 * g(x)，而非 g(x)——疊加便失效了。唯有零這個值，經得起被縮放與相加。這正是我們先打齊次這塊地基的原因；右邊帶強迫項的非齊次故事，是下一階梯，且完全奠基於你在此處所學。
疊加還告訴你解集是哪一類物件。一個對縮放與相加封閉的集合——只要含有 y1 與 y2 就必含有 c1 * y1 + c2 * y2——便是一個向量空間，正是你在線性代數裡見過的結構。所以齊次線性 ODE 的解，並非一堆雜亂無章的函數；它們構成一個向量空間，而函數可以充當「向量」。這個重新框架，正是讓我們得以借用線性代數一切工具的橋樑：基、維數、獨立性。
為何恰好是二維
向量空間有維數，於是自然要問：這一個有多大？答案正是整節的頭條——對於二階線性齊次方程，解空間的維數為二。把它想成函數全體所在空間裡一張過原點的平坦平面：每個解都是這平面上的一點，而任意兩個真正不同的解都能張成它，正如兩支不平行的箭矢張成 3D 中一張普通平面。
這個「二」從何而來？來自階數，也來自一條唯一性定理。二階方程的初值問題需要兩項起始資料——既要 y(x0) 的值，也要斜率 y'(x0)——才能釘住一個解，而存在唯一性定理（從前一階梯沿用而來，係數連續為前提）保證對每一組這樣的配對恰有一個解。於是「選一個解」就等同於「選一對數 (y(x0), y'(x0))」，而一個其點與實數對完美對應的空間，正是二維的。方程的階數，字面上就是其解空間的維數。
函數的一組基：基本解組
在線性代數裡，要描述一個二維空間，你挑出由兩個獨立向量組成的一組基。此處亦然：一對線性獨立的解 y1、y2——意即兩者互不為常數倍數——稱為一組基本解組。一旦你擁有一組，事情就了結了：通解為 y = c1 * y1 + c2 * y2，而方程的每一個解，無一例外，都被某種 c1、c2 的取法所囊括。
取類似彈簧的方程 y'' + y = 0。代入即可驗證 y1 = cos(x) 與 y2 = sin(x) 各自解它。它們獨立嗎？是的——cos 不是 sin 的固定倍數，因為兩者之比 tan(x) 並非常數。所以 {cos(x), sin(x)} 是一組基本解組，通解為 y = c1 * cos(x) + c2 * sin(x)。這方程所能描述的每一種振盪——任意振幅、任意相位——不過是這兩者所張平面上的一個點而已。
Equation: y'' + y = 0
Two solutions: y1 = cos(x), y2 = sin(x)
Independent? y2/y1 = tan(x) is NOT constant -> yes
Fundamental set: { cos(x), sin(x) }
General solution: y = c1*cos(x) + c2*sin(x)
Pin down a curve: y(0)=1, y'(0)=0 -> c1=1, c2=0 -> y = cos(x)「不成常數倍數」這個說法做的是精確的工作，而對較雜亂的函數，憑肉眼判斷會變得不可靠。下一篇將引入 Wronskian（朗斯基行列式），一個乾淨的行列式判別法，用單次計算就裁定獨立性——並透過 Abel 恆等式，把它連回方程的係數。眼下，先握住這幅圖像：一組基本解組就是一組基，而一組基便是你所需的全部。
找出解：工具箱速覽
知道解空間是二維的，告訴你在獵捕什麼，卻沒告訴你如何捕到。對最重要的情形——常係數，即 a、b、c 都只是數——有一個絕妙的捷徑。猜 y = e^(rx)。則 y' = r * e^(rx)、y'' = r^2 * e^(rx)，代入後整個微分方程化為關於 r 的一條普通二次方程：a*r^2 + b*r + c = 0。這條特徵方程把微積分問題轉成代數問題，而它的根便交給你解的指數。
二次方程有三種風味的根，每一種給出形狀不同的基本解組：兩個相異實根、一個重實根，或一對共軛複根。那正是接下來幾篇要展開的三種情形——相異實根給出兩個乾淨的指數函數，重根需要一個巧妙的 x * e^(rx) 夥伴，而複根經由歐拉公式，化為振盪的餘弦與正弦。二維法則是貫串這三者的統一承諾：無論根如何，你最終總是恰好得到兩個獨立解。
兩條誠實的但書為這幅圖像收尾。其一，e^(rx) 的把戲是常係數的恩賜；對像 x^2 y'' - 2y = 0 這樣的變係數方程，它一般失效，你得在後面的階梯改用冪級數或特殊方法。其二，即便你無法從零找出第二個解，也不至於卡死：若你已知道一個解 y1，降階法便能從它製造出第二個獨立的解——第五篇正是把這道缺口化為工具，每當手上已有一片，便補齊整組基。