2.2 「詭辯的量」：虛數如何從廢紙簍裡被撿回來#

卡爾達諾的膽小一躍#

1545 年《大術》裡，卡爾達諾寫下數學史上第一次對複數的正面記錄。他在處理「兩數之和為 10、積為 40」這道題時（本題無實數解），壯著膽子寫下：

並承認「確實兩數相乘為 40」。但他立刻自我消毒：這種量「既精緻又無用」，是「心靈的折磨」。他給了它名字，卻沒給它身分證。在一個連負數都遭懷疑的時代——歐洲數學家稱負根為「假根」（fictitious roots）——開負數的平方根簡直是醜聞。

邦貝利的關鍵實驗#

拆除炸彈的是波隆那的測量員與工程師拉斐爾·邦貝利（Rafael Bombelli），他約在 1572 年出版《代數》。他把卡爾達諾公式套到 \(x^3 = 15x + 4\) 上，得到 \(\sqrt[3]{2+\sqrt{-121}} + \sqrt[3]{2-\sqrt{-121}}\)，然後做了一件前無古人的事：

把 \(\sqrt{-121}\) 當成一個「新的數」正式運算。他設 \(2 + \sqrt{-121} = (a + \sqrt{-b})^3\)，試出

（驗證：\((2+i)^3 = 8 + 12i + 6i^2 + i^3 = 8 + 12i - 6 - i = 2 + 11i\)，而 \(\sqrt{-121} = 11i\)，成立。）同理 \(2 - \sqrt{-121} = (2-i)^3\)。兩個立方根相加，虛部互相抵消：

與觀察到的正確答案完全吻合。邦貝利結論：這種「詭辯的量」雖然看起來荒謬，卻能在中間步驟出現、又在結果中消失——只要照著運算規則操作，它就守規矩。

為什麼是工程師拆掉了炸彈？#

這個案例的社會學意味很深。當時的「大學數學家」以幾何為正統，對符號操作持警惕態度；而邦貝利是水道測量與地產估價的實務工作者，在乎的是「能不能算出對的結果」。正是工程文化對「有效性」的信任，先於理論容忍了這個怪物。

虛數的處境因此持續尷尬了兩百五十年：人人用，人人不信。萊布尼茲稱 \(\sqrt{-1}\) 是「介於存在與不存在之間的兩棲動物」；笛卡兒在《幾何學》裡貶稱其為 imaginaire（想像的、虛構的）——「虛數」這個貶義名字就此定案。

翻案的兩步#

第一次翻案來自幾何。1799 年，挪威測量員韋塞爾與 1806 年巴黎的阿岡各自提出：把複數 \(a+bi\) 畫成平面上的一點，乘法變成「長度相乘、角度相加」。怪物變成了旋轉——這是它的幾何身分證。

第二次翻案來自代數本身。1799 年，二十二歲的高斯在博士論文中證明代數基本定理：\(n\) 次多項式在複數域中恰有 \(n\) 個根。換句話說，引進複數之後，任何多項式方程都徹底可解、無需再擴充新數——複數域是代數的終點站。高斯後來親自使用「複數平面」一詞並廣泛應用，虛數的汙名才真正洗清。

一個誕生於求解實方程、被視為荒謬的記號，最後成為量子力學波函數與交流電工程的基本語言。這條路走了三百年——而它只是三次方程故事的第一個副產品。