超幾何方程
勒讓德、切比雪夫以及許多別的方程看似各自獨立的生物，但其中大多數其實是同一隻動物換了衣裳。超幾何方程（hypergeometric equation）就是那個主方程——一個帶三個可調參數的二階模板，它把驚人數量的經典物理方程作為特例包含其中。學會它一次，你就學會了一整座動物園。
它是 x(1 - x) y'' + [c - (a + b + 1) x] y' - a b y = 0，含三個參數 a、b、c。它恰好有三個正則奇點，按慣例位於 x = 0、x = 1 和 x = infinity——而且值得注意的是，任何恰有三個正則奇點、再無其他奇點的二階線性方程都能變換成它。它在 x = 0 處的弗羅貝尼烏斯解是超幾何級數 2F1(a, b; c; x) = sum_k [(a)_k (b)_k / (c)_k] x^k / k!，其中 (a)_k 表示升冪乘積 a(a+1)...(a+k-1)。該級數是一個宏大的推廣：巧選參數即可把 2F1 化為幾何級數、二項級數、對數、勒讓德與切比雪夫多項式以及完全橢圓積分。
它的價值在於統一與槓桿。一旦你掌握了 2F1 的收斂性、遞推、積分表示與變換公式，每個特例都免費繼承它們，這正是計算機代數系統在內部把如此多函數都經由超幾何形式處理的原因。誠實的告誡在於收斂：定義級數只對 |x| < 1 收斂，要在單位圓盤之外使用該函數——或當 c 為非正整數、級數失效時——你需要解析延拓以及聯繫三個奇點的連接公式。
普通的幾何級數是最簡單的特例：2F1(1, b; b; x) = sum x^k = 1/(1 - x)。而 2F1(-n, b; b; -x) = (1 + x)^n 重現了二項式定理。所以你早已熟悉的日常級數，不過是超幾何家族的小小角落。
幾何級數與二項級數，不過是 2F1 無數面孔中的兩張。
若 c 為零或負整數，標準級數無定義（分母出現零），且兩個弗羅貝尼烏斯指數之差成為整數——帶對數的第二解可能闖入。真正釘死這個方程的是「三個正則奇點」這一刻畫，而非級數公式。