跳轉到

1.2 三次方程的決鬥：Tartaglia 與 Cardano#

本章導言#

十六世紀的義大利，數學家之間的爭論以公開決鬥的形式進行：雙方各出數十道題，限時互解，勝者贏得名聲、職位與年金。三次方程的一般解法，就在這種決鬥文化中誕生，並引發了數學史上最著名的背信指控。本節講述 Tartaglia、Cardano、Fior 與 Ferrari 之間的恩怨，以及隱藏在公式背後的深刻困難——複數如何在「不可能」的偽裝下被迫登場。

決鬥文化的背景#

文藝復興時期的義大利，大學職位並不穩固，數學家的名聲就是生計。公開競賽（disfida）既是娛樂也是市場行為：贏者獲得贊助者的青睞，輸者名譽掃地。因此，核心解法是商業機密——1545 年之前，知道三次方程解法的人全世界不超過五個。這種保密文化解釋了後續一切戲劇性事件。

第一幕：del Ferro 的秘密（約 1515）#

Scipione del Ferro（1465–1526），Bologna 大學教授，最先找到「缺二次項」三次方程 \(x^3 + px = q\) 的解法。他沒有發表，只傳給了女婿與學生 Antonio Fior。1526 年 del Ferro 去世，Fior 帶著這件武器等待一鳴驚人的機會。

第二幕：Tartaglia 的苦戰（1535）#

Niccolò Tartaglia（1499/1500–1557），本名 Fontana，少年時在 1512 年法軍攻陷 Brescia 時下顎被軍刀劈開，從此口吃，「Tartaglia」（結巴者）成了外號。他自學成才，自稱也解出了缺二次項型。Fior 聽聞後於 1535 年 2 月向他下戰書：各出三十題，期限五十天。

Fior 的題目全部是 \(x^3 + px = q\) 型——他只會這一型。Tartaglia 在開賽前八天終於獨立找到解法，於是五十天內解完對方全部題目，而 Fior 一題未解。Tartaglia 大獲全勝，並以詩歌形式把公式藏進韻文（當時的「加密」）：

當立方與事物之和
等於某個離散的數……（「事物」即未知數 \(x\) ）

第三幕：Cardano 的懇求與背誓（1539–1545）#

Gerolamo Cardano（1501–1576），Milan 的醫生、占星家與賭徒，正在撰寫數學百科。他三次懇求 Tartaglia 披露解法，先遭拒絕；1539 年以「以紳士之名與聖福音起誓」保證不發表，並附上一封贊助人的引薦信，Tartaglia 才以隱晦詩歌形式相授。

Cardano 與其弟子 Lodovico Ferrari（1522–1565） 隨後發現：Tartaglia 的解法只在某些情形有效，而 del Ferro 的遺稿（Ferrari 於 1543 年隨 Cardano 查閱 Bologna 檔案時親眼見到）早已完整解決了所有情形。Cardano 判斷誓言已可解除——1948……不，1548 年的爭論點正在於此。1545 年他出版《大術》（Ars Magna），公開了三次與四次方程解法，並兩度注明三次解法源自 del Ferro、經 Tartaglia 重新發現。

第四幕：決裂與終局（1548–1557）#

Tartaglia 憤怒地出版《種種問題與發明》，逐字刊出 Cardano 的信件，痛斥背誓。1548 年 8 月 10 日，Ferrari 代師出戰 Tartaglia，於 Milan 公開對決。首日 Tartaglia 佔上風，次日 Ferrari 展示對三次、四次方程的完整掌握，Tartaglia 稱病離場——史家一般認定 Ferrari 勝出。此戰之後 Tartaglia 聲譽受損、教職不保，1557 年貧困而終。Ferrari 則名利雙收，後任 Bologna 大學教授，1565 年死於砒霜中毒（疑為其妹所為，她隨後繼承遺產並很快改嫁）。

這場恩怨的是非至今難斷：Tartaglia 確實遭違誓之害；但 Cardano 的注明確實給了 del Ferro 優先權，而 Tartaglia 的解法本身也確有漏洞（見下文不可約情形）。歷史的教訓是：在保密文化下，優先權之爭必然以悲劇收場——今日的學術出版制度正是為了終結這類悲劇而設計。

缺二次項三次方程的解法#

設 \(x^3 + px = q\) 。核心是恆等式 \((a+b)^3 = a^3 + b^3 + 3ab(a+b)\) ：令 \(x = a + b\) ，則

\[ x^3 - 3ab\,x - (a^3 + b^3) = 0. \]

要求 \(-3ab = p\) 且 \(-(a^3+b^3) = q\) ，即 \(a^3 b^3 = -\left(\frac p3\right)^3\) 、 \(a^3 + b^3 = -q\) 。於是 \(a^3, b^3\) 是二次方程

\[ t^2 + q\,t - \left(\frac p3\right)^3 = 0 \]

的兩根。由此得 Cardano 公式：

\[ x = \sqrt[3]{\frac q2 + \sqrt{\left(\frac q2\right)^2 + \left(\frac p3\right)^3}} \;+\; \sqrt[3]{\frac q2 - \sqrt{\left(\frac q2\right)^2 + \left(\frac p3\right)^3}}. \]

Bombelli 與「不可能的量」#

致命的困境出現在 \(p, q > 0\) 的不可約情形（casus irreducibilis）：此時 \(\left(\frac q2\right)^2 + \left(\frac p3\right)^3 < 0\) ，公式要求對負數開平方——但方程明明有三個實根！Rafael Bombelli（1526–1572） 在《代數》（1572）中做出歷史性一步：坦然接受這些「不可能的量」並為其立運算法則。他寫道：

這種數既非正、亦非負，可名之為「正之負」（plus of minus）。

Bombelli 以 \(\sqrt{-1}\) 的形式運算處理不可約情形，最終各虛部相消、得到實根——虛數以「過渡工具」的身份被迫登場。這是純粹數學中形式主義先行的最早實例：先讓記號工作，本體論問題留給後代（三百三十年後 Gauss 給出 \(\mathbb{C}\) 的嚴格基礎，見第 5 章）。

一個具體例題#

例題 1.2.1：解 \(x^3 - 15x - 4 = 0\) 。

解：此為 \(x^3 + px = q\) 型， \(p = -15\) ， \(q = 4\) 。代入 Cardano 公式：

\[ x = \sqrt[3]{2 + \sqrt{4 - 125}} + \sqrt[3]{2 - \sqrt{4 - 125}} = \sqrt[3]{2 + \sqrt{-121}} + \sqrt[3]{2 - \sqrt{-121}} = \sqrt[3]{2 + 11i} + \sqrt[3]{2 - 11i}. \]

表面上是「不可能」的式子。依 Bombelli 的法則猜測：設 \(\sqrt[3]{2+11i} = a + bi\) ，則 \((a+bi)^3 = 2 + 11i\) 。展開得 \(a^3 - 3ab^2 = 2\) 、 \(3a^2 b - b^3 = 11\) 。試 \(b = 1\) ：第二式化為 \(3a^2 - 1 = 11\) ，得 \(a^2 = 4\) ， \(a = 2\) ；驗證第一式： \(8 - 6 = 2\) ，成立。故 \(\sqrt[3]{2+11i} = 2 + i\) ，同理 \(\sqrt[3]{2-11i} = 2 - i\) （共軛）。

於是

\[ x = (2+i) + (2-i) = 4. \]

驗證： \(4^3 - 15 \times 4 - 4 = 64 - 60 - 4 = 0\) ，正確。事實上方程可分解 \(x^3 - 15x - 4 = (x-4)(x^2 + 4x + 1)\) ，另兩根為 \(-2 \pm \sqrt{3}\) ，全是實根——但不用虛數，Cardano 公式無法表達它們。這正是不可約情形的殘酷之處：想要實答案，必須途經虛數。

歷史啟示#

  • 保密延緩科學：del Ferro 的解法壓箱二十餘年，若即時發表，三次方程理論可提前一個世代成熟。公開發表、優先權由文獻確認，是科學制度的偉大發明。
  • 公式先於概念：虛數在擁有定義之前三百年已在公式中工作。「記號先行、概念後補」在數學史上屢見不鮮（無窮小亦然，見《微積分》1.1 節）。
  • 優先權之爭的複雜性：Cardano 違誓，但注明了來源；Tartaglia 受害，但其解法並不完整。道德判斷與技術判斷在歷史中常不同軸。

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

  • 1.3 節：Ferrari 的四次方程解法與「五次方程之牆」直接承繼本節。
  • 2.1 節：Galois 對三次方程根的置換群 \(S_3\) 的分析，是解釋「為何三次可解」的終極答案。
  • 4.3、5.1 節：Cardano 公式的現代敘述需要體擴張語言：求根即是在係數體上添加根式。
  • 6.2 節：Abel 證明五次方程無根式解，終結了 del Ferro 傳統的擴張野心。
  • 複分析：Bombelli 的 \(\sqrt{-1}\) 是複分析的種子；「不可約情形」預示了複數域的代數閉包性質。
  • 數學社會史：決鬥文化、贊助制度與學術出版，是理解科學知識生產方式的經典案例。

練習#

  1. 用 Cardano 公式解 \(x^3 + 3x = 4\) ，並驗證 \(x = 1\) 。
  2. 用 Cardano 公式解 \(x^3 - 6x = 9\) ，指出判別式 \(\left(\frac q2\right)^2 + \left(\frac p3\right)^3\) 的符號，判斷這是否為不可約情形。
  3. 對方程 \(x^3 - 7x + 6 = 0\) ：先驗證 \(x=1,2,-3\) 是三個實根；再用 Cardano 公式計算，說明為什麼必然出現虛數中間量。
  4. 寫一篇 200 字短評，分別為 Cardano 與 Tartaglia 辯護，再各提出一項批評。
  5. 思考題：Bombelli 的方法假設 \(a+bi\) 的立方根仍可寫成 \(a' + b'i\) 。這在今日複數理論中為何必然成立？需要複數的哪條基本定理？

進階研讀：決鬥之後的四個深化場景#

場景一：判別式與根的類型。量 \(\Delta = -4p^3 - 27q^2\) （可相差常數倍）決定 \(x^3 + px = q\) 的根的性質： \(\Delta > 0\) 三相異實根（不可約情形）、 \(\Delta = 0\) 重根、 \(\Delta < 0\) 一實根二共軛虛根。判別式在後續理論中以兩種身份重現：它是根的對稱多項式（在置換下不變，見 2.1 節），也是二次型理論（如二次曲線分類）的核心不變量——「用一個量分類方程的全局行為」自此成為代數的標準戰術。

場景二：Viète 的三角解法與實數的尊嚴。不可約情形可用三角恆等式繞過虛數：令 \(x = 2\sqrt{-p/3}\cos\theta\) ，方程化為三倍角公式 \(\cos 3\theta\) 的方程，三個實根為 \(2\sqrt{-p/3}\cos\frac{\theta + 2k\pi}{3}\) （ \(k=0,1,2\) ）。Viète 於 1593 年給出此法。數學史家 Vièta 研究指出，這說明虛數是 Cardano 公式的缺陷，而非三次方程的本性——同一問題，選擇不同的表示系統，虛數可以不出現。這是「表示決定可見性」的早期教訓。

場景三：從決鬥到期刊。對比 1535 年的決鬥與 1684 年《Acta Eruditorum》上的微積分論文戰：前者靠保密獨佔，後者靠公開搶優先。Leibniz 之所以大力推動學術期刊，正是目睹義大利保密文化的代價。今日 arXiv 的時戳制度，本質上是對 del Ferro 悲劇的制度性回應——知識的優先權必須可公開驗證且不可偽造。

場景四：Cardano《大術》的更廣視野。《大術》不止於解方程：它首次系統討論了根與係數的關係萌芽（Viète 定理的前身）、負根的有限承認、以及多項式方程根的個數計數。Cardano 還是機率論的先驅（《論賭博》，約 1564 年手稿，1663 年才出版），書中給出了正確的擲骰機率計算，比 Pascal–Fermat 通信早一百年——雖然未產生影響，卻顯示同一群人（賭徒—醫生—數學家）在文藝復興同時觸及了代數與機率兩大方向。

補充：Tartaglia 的另一項遺產#

Tartaglia 對數學史的第二大貢獻常被決鬥恩怨掩蓋：1537 年《新科學》首次給出拋體運動的定量理論（彈道是弧線、45 度射程最大的定性論證），影響了伽利略之前的彈道學傳統。他還出版了 Euclid《幾何原本》的第一部義大利方言譯本（1543）與 Archimedes 的譯本。一位底層自學者（其母曾在戰亂中以血染的錢幣為他延醫）成為百科式的數學家，這本身是文藝復興知識流動性的注腳。

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

  • 缺二次項型： \(x^3 + px = q\) ，可經平移化成的一般三次方程。
  • Cardano 公式：以係數的立方根與平方根表達三次方程之根的公式。
  • 不可約情形（casus irreducibilis）：三相異實根但公式必經虛數的情形。
  • 《大術》（Ars Magna）：Cardano 1545 年著作，三次與四次方程解法首次公開。
  • 決鬥（disfida）：文藝復興義大利的公開數學競賽。
  • 形式主義先行：先按規則使用記號、後補概念定義的數學發展模式。
  • 判別式：決定根的類型的根之對稱多項式。

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

  • 約 1515：del Ferro 解出缺二次項三次方程，保密。
  • 1535：Tartaglia 勝 Fior 決鬥，獨立再發現解法。
  • 1539：Tartaglia 在 Cardano 誓約保密下授出解法。
  • 1543：Ferrari 與 Cardano 查閱 del Ferro 遺稿。
  • 1545：Cardano《大術》出版，三次與四次解法公開。
  • 1548：Ferrari 對 Tartaglia 的公開決鬥。
  • 1572：Bombelli《代數》為虛數立法。
  • 1593：Viète 三角解法繞開虛數。
  • 1799：Gauss 證明代數基本定理，虛數地位穩固。

深化問答三則#

問：Cardano 公式對任意三次方程都「對」嗎？為什麼還需要後續理論？ 答：對於缺二次項型且取適當複數立方根時，公式恆給出根。但它沒有回答三個更深問題：立方根的多值性如何取捨？虛數中間量為何必然消去（不可約情形）？公式為何在更高次失效？這些問題的答案分別需要複數理論、對稱群與 Galois 理論——公式是起點，結構才是終點。

問：如果 Tartaglia 的解法不完整，他憑什麼勝了 Fior？ 答：因為決鬥考驗的是「解出對方題目的能力」而非「理論完備性」。Tartaglia 能解題就贏；至於他的方法在某些情形需要額外技術，Fior 同樣不知道。決鬥獎勵的是應用能力，科學期刊獎勵的是理論完備——評價體系的不同，造就了歷史敘事的不同重心。

問：虛數「被迫登場」對本書的學習有何預示？ 答：它預示了本書反覆出現的主題——為了得到想要的實在物件，往往必須先接受更抽象的框架：要解實係數方程要接受複數（本章）、要理解方程可解性要接受群（第 2 章）、要分類有限體要接受商環（第 4 章）。代數的歷史就是不斷為舊問題發明新框架的歷史。

（本節完）