1.1 CARDANO與三次方程的幽靈1545#

本章導言#

複數的故事，不是始於「我們想要一個平方等於 \(-1\) 的數」，而是始於一個更尷尬的處境：數學家在解一個明明有實數解的方程時，被迫在中途操作「負數的平方根」。1545 年，義大利醫生兼賭徒 Cardano 在《大術》（Ars Magna）中第一次把這個幽靈寫進印刷品。本節將追溯複數如何在三次方程的陰影中誕生——一個「不想存在卻不得不存在」的數學對象。

三次方程與文藝復興的決鬥文化#

十六世紀的義大利數學界有一種奇特的職業生態：數學家以公開解題決鬥維生。挑戰者向對手提出一批題目，輸者喪失職位與名譽。在這種氣氛下，三次方程 \(x^3 + px = q\) 的解法成為最高機密。

歷史的主鏈是：

Tartaglia 視此為背叛，公開抗議並寫下侮辱詩文；Ferrari 代師出戰，在 1548 年的辯論中大獲全勝。這場著名的優先權之爭，其數學後果卻出人意料：正是 Cardano 為了檢驗解法而引入的「不可能的量」，打開了複數的大門。

CARDANO 的幽靈時刻#

Cardano 在《大術》第三十七章提出了一個明確的挑戰：

「把 10 分成兩部分，使其積為 40。」

設兩部分為 \(x\) 與 \(10-x\) ，則 \(x(10-x) = 40\) ，即

Cardano 寫下了 \(\sqrt{-15}\) 的形式操作，得到 \(5+\sqrt{-15}\) 與 \(5-\sqrt{-15}\) ，兩者之和確實是 \(10\) ，積確實是 \(5^2 - (\sqrt{-15})^2 = 25+15 = 40\) 。形式運算完全自洽。但他隨即寫道：

「把這些量分裂為二，是多麼精巧而無用（subtle and useless）。」

他又說，處理這類問題時必須「摒棄精神上的精細，而將算術推進到連人類的言語都難以企及的極限」。這是心理上的分裂時刻：規則說它對，直覺說它無意義。

為什麼二次方程沒有逼出複數#

一個常見的誤解是「負數開方來自二次方程」。實際上，二次方程 \(x^2 + 1 = 0\) 沒有實解，數學家可以坦然說「無解」——反正題目本身沒有答案。真正可怕的是三次方程的 casus irreducibilis（不可約情形）：方程有三個互異的實根，Cardano 公式卻寫成

其中 \(\dfrac{q^2}{4} + \dfrac{p^3}{27} < 0\) 。答案明明是實數，途徑卻必須穿過負數的平方根。答案存在且是實數，公式卻「故障」——這才是幽靈被迫登場的原因。

BOMBELLI 的計算救贖（1572）#

第一個正面操作幽靈的是義大利工程師 Rafael Bombelli（1526–1572），1572 年《代數》一書。以 \(x^3 = 15x + 4\) 為例（根為 \(x=4\) ），Cardano 公式給出：

Bombelli 的天才一步：假設 \(\sqrt[3]{2 + 11\sqrt{-1}} = a + b\sqrt{-1}\) 。展開比較得 \(a^3 - 3ab^2 = 2\) 、 \(3a^2b - b^3 = 11\) ，猜得 \(a=2, b=1\) ，故

相加得 \(x = 4\) ——正是那個實根。Bombelli 說：「這起初在我看來像是詭辯而非證明，但最後我發現它是完全正確的。」幽靈第一次展示了自己是有用的計算中間體：從實數出發，繞道「不可能的領域」，回到實數。

一個具體例題#

例題 1.1.1：用 Cardano 公式與 Bombelli 的方法解 \(x^3 - 15x - 4 = 0\) ，並求出全部三根。

解：代入 \(p = -15\) 、 \(q = -4\) （方程化為 \(x^3 + px = q\) 形式即 \(x^3 - 15x = 4\) ），判別式

落入 casus irreducibilis。Cardano 公式：

依 Bombelli， \(\sqrt[3]{2 \pm 11\sqrt{-1}} = 2 \pm \sqrt{-1}\) ，故 \(x = 4\) 。驗證： \(4^3 - 15\cdot4 - 4 = 64 - 60 - 4 = 0\) 。✓

其餘兩根：以 \(x-4\) 除原式得 \(x^2 + 4x + 1 = 0\) ，故

三根 \(4,\ -2+\sqrt3,\ -2-\sqrt3\) 全為實數，但不用複數，Cardano 公式無法給出它們中的任何一個。更深刻的定理（Casus irreducibilis 的現代形式，1799 由 Ruffini、1930 由 Wantzel 嚴格化）指出：在 casus irreducibilis 中，任何只含實數四則運算與開實次方的表達式都不可能表示這些根。複數不是可選的繞道，而是必經之路。

從幽靈到「虛數」：名稱的歷史#

Descartes 的貶義命名「imaginary」流毒三百年——它宣告這些數「不實」。Leibniz 1702 年的評語則相當精準地描繪了 casus irreducibilis 的兩棲性質：

「虛數是分析學精妙的、奇妙的靈居，幾乎是介於存在與不存在之間的兩棲動物。」

Euler 在 1748 年《無窮分析引論》中已大量使用 \(i\) 並得到後文 1.3 節的定理，但他在《對代數的完整引導》（1770）中仍寫道：「所有像 \(\sqrt{-1}\) 、 \(\sqrt{-2}\) 這樣的數都是不可能的數……它們既不是正、不是負，也不是零；我們只能說它們是不可能的。」可見記號的成熟先於本體論的安頓。

為什麼不能用「三維數」推廣複數#

一個自然的問題：複數由兩個實數座標 \((a,b)\) 組成並帶有乘法，能否造三個座標的數系？答案是否定的。Hamilton（1805–1865） 自 1830 年代起企圖構造三元數系，多年無果，終於 1843 年 10 月 16 日在都柏林運河橋上頓悟：必須放棄交換律，跳到四元數 \(i^2 = j^2 = k^2 = ijk = -1\) 。其後 Frobenius（1878） 與Hurwitz 證明了著名的不可能定理：實數上的可除代數只有 \(\mathbb{R}\) 、 \(\mathbb{C}\) 、 \(\mathbb{H}\) （四元數，非交換）與 \(\mathbb{O}\) （八元數，連結合律都沒有）。複數是交換、結合且保持次序意義的最後一站——這種「不可再推廣」恰恰說明它的結構何等精緻，也預示了第 2 章解析函數的剛性（見 2.1 節）。

歷史啟示#

• 數學對象的地位由其「能否被迫登場」決定：負數、無理數、複數的接納史都是同一劇本——先在計算中不可回避，再獲得幾何或邏輯詮釋，最後成為常識。
• 公式會「洩露天機」：Cardano 公式在實根情形失效，這是公式自己揭發自己不完整的經典案例；理論的邊界常由其內部故障暴露。
• 優先權之爭的受益者是數學本身：Tartaglia 與 Cardano 的恩怨使三次方程解法廣傳，也逼使 Cardano 更認真地檢驗極限情形，才有幽靈的現身。

與其他章節及領域的關聯#

• 1.2 節：Argand 平面將 \(\sqrt{-1}\) 幾何化，幽靈取得肉身——旋轉。
• 1.3 節：de Moivre 與 Euler 公式把三次方程的 \(\sqrt[3]{2 \pm 11\sqrt{-1}}\) 變成「輻角三分」的機械操作，casus irreducibilis 之謎在極形式下真相大白。
• 4.3、7.3 節：三次根的多值性（三個立方根）是多值函數的最早原型，解析延拓與 Riemann 面是它的系統化。
• 8.3、9.1 節： \(\zeta\) 與 \(\Gamma\) 函數是「被迫擴充定義域」的另一版本：從實數出發、以複數完成。
• 數論：代數整數環 \(\mathbb{Z}[i]\) （Gauss 整數）使「複數」成為代數數論的第一個非平凡舞台。
• 物理：量子力學中複振幅不是工具而是實在——幽靈的最終平反。

練習#

1. 用 Cardano 公式求 \(x^3 - 6x - 4 = 0\) 的形式解，並仿 Bombelli 化簡得實根 \(x=4\) ，再求其餘兩根。
2. 證明：對 \(x^3 = 15x + 4\) ，若限定所有中間運算只在實數中進行（四則與開實立方根），不可能表出根 \(x=4\) 。（提示：回想 casus irreducibilis 的陳述，並檢查判別式符號。）
3. Cardano 的題目「10 分成兩部分使積為 40」在複數中是完全正常的：解釋為何在實數中「無解」不會威脅任何理論，而三次方程的 casus irreducibilis 會。
4. 計算 \((2+\sqrt{-1})^3\) ，驗證 Bombelli 的猜測 \(\sqrt[3]{2+11\sqrt{-1}} = 2+\sqrt{-1}\) ；再檢查 \(2+\sqrt{-1}\) 的兩個「共軛夥伴」 \(2\omega+\omega^2\sqrt{-1}\) 、 \(2\omega^2+\omega\sqrt{-1}\) （ \(\omega = e^{2\pi i/3}\) ）的立方是否也等於 \(2+11\sqrt{-1}\) 。
5. 思考題：Hamilton 追求三元數系為何注定失敗？用「乘以複數是平面上旋轉」的事實，論證三維空間中不存在保持長度的「數的乘法」。

進階研讀：從幽靈到結構的四個深化場景#

場景一：判別式與 casus irreducibilis 的相圖。對 \(x^3 + px + q = 0\) ，判別式 \(\Delta = -4p^3 - 27q^2\) 。畫出 \((p,q)\) 平面： \(\Delta > 0\) 對應三實根（casus irreducibilis 區）， \(\Delta = 0\) 對應重根（曲線 \(4p^3 = -27q^2\) 是尖點曲線）， \(\Delta < 0\) 對應一實二虛。三次方程的「根的類型分布」本身就是一張複變幾何地圖——這條尖點曲線正是 6.3 節 Schwarz–Christoffel 變換會再遇的對象。

場景二：Viète 的三角解法——不穿幽靈之門的路。François Viète 對 casus irreducibilis 給出純三角解：若三實根，令 \(\cos 3\theta = \dfrac{3q}{2p}\sqrt{-3/p}\) ，則 \(x = 2\sqrt{-p/3}\cos\left(\theta - \dfrac{2k\pi}{3}\right)\) ， \(k=0,1,2\) 。這條路避開了複數，但代價是「各案各法」：實用上成功、結構上倒退——它沒有解釋為什麼必須分案。de Moivre 定理（1.3 節）將揭示三角解法與複數解法原是同一件事的兩種語言。

場景三：三次根的多值性預覽。 \(2+11\sqrt{-1}\) 的三個立方根是 \((2+\sqrt{-1})\omega^k\) （ \(k=0,1,2\) ）。取不同的立方根配對，會得到根 \(4\) 、以及兩個複數——這正是 \(x^3-15x-4\) 的三根！casus irreducibilis 的「三實根」現象源於共軛立方根的巧妙配對。多值性、分支選擇、共軛結構——七、九、七章的主題全部在 1572 年的計算中預演。

場景四：複數接納史的編年對照。與負數史（希臘拒斥、印度接受、歐洲 17 世紀仍稱「荒謬之數」）與四元數史（Hamilton 1843 頓悟、物理學家五十年的抗拒、Maxwell 用於電磁學）並列可見規律：新數系的接納瓶頸從不是邏輯，而是詮釋。複數直到 Argand（1.2 節）給出平面幾何詮釋、Gauss 1831 年確立「複數即平面上的點」才真正落地。Gauss 當年的話值得記住：「若把 \(+1,-1,\sqrt{-1}\) 不叫正、負、虛單位，而叫直接、反向、側向單位，就不會有人覺得晦澀。」

名詞速查表（本節出現的核心術語）#

• casus irreducibilis：三次方程三根皆實而 Cardano 公式含負數平方根的情形。
• Cardano 公式： \(x = \sqrt[3]{\frac{q}{2}+\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}} + \sqrt[3]{\frac{q}{2}-\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}}\) 。
• 判別式： \(\Delta = -4p^3 - 27q^2\) ，其符號決定實根個數。
• Gauss 整數：形如 \(a+bi\) （ \(a,b\in\mathbb{Z}\) ）的複數環，代數數論起點。
• 四元數：Hamilton 1843 建立的非交換可除代數 \(\mathbb{H}\) 。
• Frobenius 定理：實數上有限維結合可除代數僅 \(\mathbb{R},\mathbb{C},\mathbb{H}\) 。
• 兩棲動物：Leibniz 對虛數「介於存在與不存在之間」的描述。

年表速查（本節涉及的關鍵年份）#

• 約1515：del Ferro 解出缺二次項三次方程，保密。
• 1535：Tartaglia 重新發現解法，決鬥擊敗 Fior。
• 1539：Cardano 以誓言自 Tartaglia 得解法口訣。
• 1540：Ferrari 解四次方程。
• 1545：Cardano《大術》出版， \(\sqrt{-15}\) 幽靈首次現身印刷品。
• 1572：Bombelli《代數》， \(\sqrt[3]{2+11\sqrt{-1}}\) 的計算救贖。
• 1637：Descartes 命名「imaginary」。
• 1702：Leibniz「兩棲動物」之喻。
• 1748：Euler《無窮分析引論》， \(i\) 記號普及。
• 1799：Ruffini 證明 casus irreducibilis 不可用實根式表達。
• 1831：Gauss 確立複數的平面詮釋並推廣「複數」之名。
• 1843：Hamilton 四元數頓悟。
• 1878：Frobenius 可除代數分類定理。

深化問答三則#

問：Cardano 明知 \(\sqrt{-15}\) 荒謬，為什麼還要寫進書裡？ 答：因為他有雙重驗證在手：其一，兩個「幽靈部分」的和與積恰好滿足題設（形式代數自洽）；其二，同型的 casus irreducibilis 三次方程中，穿過幽靈的計算回到實根。當「錯誤的方法持續產生正確答案」時，嚴肅的數學家有義務記錄現象——Cardano 記錄的是未解之謎，不是結論。

問：Bombelli 的「猜 \(a+b\sqrt{-1}\) 」合法嗎？ 答：作為證明不完整，作為發現是典範。現代觀點： \((a+b\sqrt{-1})^3 = (a^3-3ab^2) + (3a^2b-b^3)\sqrt{-1}\) ，比較實虛部是模代數中的確定方程組；解出 \((2,1)\) 後再直接驗證立方等於目標，即補全為嚴格證明。「猜測—驗證」結構在複變函數論中反覆出現（見 3.2 節 Cauchy 定理的多種證明）。

問：casus irreducibilis 定理的哲學意義是什麼？ 答：它證明實數系本身在代數上是不完備的舞台：有些實數（三實根）的表達必須越出實數的語法。這與「有理數不夠、需實數」的擴張不同——那裡是「缺了數」，這裡是「缺了路」。數學結構的擴充有時不是為了容納新的對象，而是為了打通到舊對象的路。這一主題將在第 7 章解析延拓中以最壯麗的形式重現。

（本節完）