希皮奥内·德尔·费罗(Scipione del Ferro)
史上第一个解出三次方程的人——他把解法秘藏在手稿中,临终前才传给学生,由此引发了 16 世纪意大利那场最著名的数学优先权之争,也让"卡尔达诺公式"的源头归于这位低调的博洛尼亚人。
一、生平与时代背景
希皮奥内·德尔·费罗(Scipione del Ferro,又名 Ferreo、Ferro 或 dal Ferro)于 1465 年 2 月 6 日生于博洛尼亚(当时属教皇国),1526 年 11 月 5 日卒于同地。父亲 Floriano Ferro 从事造纸业——由于 1450 年代古腾堡发明活字印刷,纸张需求大增,造纸在当时是兴盛行业;母亲名 Filippa。
关于其教育,史料甚少,推测他在博洛尼亚大学受教——该校建于 11 世纪,到他出生时已是享誉四百年的名校。1496 年他被任命为博洛尼亚大学算术与几何讲师,并在此职位上度过余生。不过他不只从事学术:留存的公证文书(1517—1523 年)显示他晚年还参与商业交易。
德尔·费罗的一个显著特点是极不愿公开成果,只把发现告诉少数密友与学生,这也是他"在几乎所有数学史通论中都被提及、名字却相对鲜为人知"的原因。他留有一本笔记本,记录最重要的发现;1526 年他去世后,笔记本传给女婿汉尼拔·纳韦(Hannibal Nave,娶其女 Filippa——女儿之名得自祖母)。纳韦本人也是数学家,1526 年接替了德尔·费罗在博洛尼亚大学的教职,并改姓 dalla Nave alias dal Ferro。1543 年笔记本仍在纳韦手中——那一年卡尔达诺与费拉里专程赴博洛尼亚拜见他,费拉里在著作中记录了这次会面。
德尔·费罗所解决的,是古代遗留的最杰出数学难题之一:为三次方程寻找一个类似二次方程求根公式的代数公式。自巴比伦时代以来,二次方程 $ax^2+bx+c=0$ 的解法(今日写作 $x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}$)已为人知,但三次方程的代数解法千年未果。需要注意的是,在德尔·费罗的时代,欧洲尚未使用零、不接受负数、也不理解二次方程有两个根,因此三次方程被按正项个数拆成多种情形;其中缺二次项的两类是 $x^3+mx=n$ 与 $x^3=mx+n$($m,n>0$)——若允许负系数,这两类本可合并为一种。二次项总能通过适当代换消去,故求解这两类即等价于解一般三次方程。
德尔·费罗大约在 1515 年左右解出了 $x^3+mx=n$("立方与物等于数")这一情形(关于他是否同时解出了另一类 $x^3=mx+n$,学界有争议,见第六节)。他将解法秘而不宣,直到临终才传给学生安东尼奥·马里亚·菲奥尔(Antonio Maria Fior)。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 1465 | 2月6日生于博洛尼亚(教皇国) |
| 约1480s | 推测在博洛尼亚大学受教(史料甚少) |
| 1496 | 被任命为博洛尼亚大学算术与几何讲师,任教至终 |
| 1501—1502 | 帕乔利来博洛尼亚大学讲学,二人共事(是否讨论三次方程未知) |
| 约1515 | 解出缺二次项三次方程 $x^3+mx=n$ 的代数解法(秘而不宣) |
| 1517—1523 | 留存公证文书显示其参与商业活动 |
| 1526 | 临终前把三次方程解法传给学生菲奥尔;11月5日卒于博洛尼亚 |
| 1526 | 笔记本传予女婿汉尼拔·纳韦,后者接替其教职 |
| 1535 | 学生菲奥尔凭所传解法向塔尔塔利亚发起公开挑战赛(败北) |
| 1543 | 卡尔达诺与费拉里赴博洛尼亚,从纳韦处见到德尔·费罗的笔记本 |
| 1545 | 卡尔达诺《大术》出版,将三次方程解法归功于德尔·费罗 |
| 约1925 | Bortolotti 研究 16 世纪手稿,重评德尔·费罗是否解出两类三次方程 |
三、核心成果(逐条技术解析)
1. 缺二次项三次方程的代数解法——"卡尔达诺公式"的源头。 问题背景:自巴比伦以来二次方程已有公式解法,但三次方程的代数解法千年悬而未决;海亚姆等伊斯兰学者只能用圆锥曲线交点给出几何解法,并寄望"后人或许能找到算术解法"。关键思想:对缺二次项的三次方程
$$x^3 + mx = n \qquad (m,n>0),$$
设 $x = u + v$,代入得 $(u+v)^3 + m(u+v) = n$,展开:
$$u^3 + v^3 + 3uv(u+v) + m(u+v) = n.$$
令 $3uv + m = 0$(即 $uv = -m/3$),则上式化为 $u^3 + v^3 = n$。于是 $u^3$ 与 $v^3$ 是二次方程 $t^2 - nt - m^3/27 = 0$ 的两根,解得
$$u^3 = \frac{n}{2}+\sqrt{\frac{n^2}{4}+\frac{m^3}{27}}, \qquad v^3 = \frac{n}{2}-\sqrt{\frac{n^2}{4}+\frac{m^3}{27}},$$
故
$$x = \sqrt[3]{\frac{n}{2}+\sqrt{\frac{n^2}{4}+\frac{m^3}{27}}} + \sqrt[3]{\frac{n}{2}-\sqrt{\frac{n^2}{4}+\frac{m^3}{27}}}.$$
这就是后世所称"卡尔达诺公式"在 $x^3+mx=n$ 情形的形式。对 $m,n>0$,根号下为正,总能给出一个实根。与前人的关系:这是代数(算术)解法,超越了海亚姆的纯几何做法,实现了海亚姆"后人或许能找到算术解法"的预言。局限性:德尔·费罗时代不使用负数与零,故他只处理正系数情形;不可约情形(casus irreducibilis,三根皆实而根号下为负,引出复数)要等卡尔达诺、费拉里与邦贝利才处理。
2. 一般三次方程可化为缺二次项情形。 关键思想:对一般三次方程 $ax^3+bx^2+cx+d=0$,作代换 $x = y - b/(3a)$,可消去二次项,化为 $y^3 + py + q = 0$ 形,从而归入上述解法(或 $y^3 = -py - q$ 的情形)。德尔·费罗解出 $x^3+mx=n$ 后,这一消二次项的代换(当时阿拉伯—意大利代数学界已知)使一般三次方程在原则上可解。与前人的关系:消二次项的技巧可上溯至阿拉伯代数学,但与求根公式结合是他的功绩。
3. 分母为三个立方根之和的分式有理化。 据 MacTutor 与 DSB,德尔·费罗把有理化分母的方法从欧几里得已知的"分母含平方根之和"推广到分母为三个立方根之和的情形——这在处理三次方程解的根式化简时是必要工具。与前人的关系:扩展了欧几里得《原本》中的根式处理。这一工作后来也为邦贝利的复数根式研究提供了背景。
4. 固定开度圆规作图问题(结果已佚)。 据费拉里致塔尔塔利亚的信,德尔·费罗曾研究"哪些几何问题可用开度固定的圆规(带定距)解决",但费拉里未给出细节,其成果也未传世。与前人的关系:这是文艺复兴时期一类流行的几何作图问题(后世摩尔—马歇罗尼作图等的先声),但因材料缺失无法详评。
四、代表著作与文献
- 无著作传世(无论印本还是手稿)——这是其声名不显的主因之一。他的成果仅记于个人笔记本,1526 年传予女婿纳韦,1543 年卡尔达诺与费拉里尚得一见,但此后下落不明。
- 其三次方程解法通过以下二手文献传世:
- 卡尔达诺《大术》(Artis magnae…,1545):明确以崇敬之辞归功于德尔·费罗。
- 费拉里的书信与著作(1547 年 4 月 1 日信记录了 1543 年见笔记本一事)。
- 16 世纪博洛尼亚数学家 Pompeo Bolognetti(1554—1568 年在博洛尼亚讲授数学)的手稿转抄(含德尔·费罗规则)。
- 邦贝利《代数》(Algebra,1572):作者曾接触到德尔·费罗已佚的工作,称其为"在代数这门艺术上天赋独秉之人"。
- 约 1925 年 Bortolotti 整理的 16 世纪手稿(含一则标题为"Dal Ferro's rule…"的文稿,把规则用于方程 $3x^3+18x=60$)。
五、师承、学派与同时代交往
- 教育:推测在博洛尼亚大学受教(无确证)。
- 同时代交往:卢卡·帕乔利——1501—1502 年帕乔利在博洛尼亚讲学,二人共事;德尔·费罗读过帕乔利《集成》中关于三次方程的讨论,但二人是否直接讨论过该题无史料可证(存疑)。
- 学生/传人:安东尼奥·马里亚·菲奥尔(临终前传法,1535 年凭此挑战塔尔塔利亚);女婿汉尼拔·纳韦(继承笔记本与教职)。
- 后世关联者:塔尔塔利亚(独立再发现)、卡尔达诺与费拉里(发展为全部情形并解出四次方程)、邦贝利(处理复数根)。
- 学术上承:巴比伦—花拉子米的代数传统、阿拉伯的消二次项代换、欧几里得的根式有理化、海亚姆对三次方程的几何研究。
六、争议、公案与历史评价
- 是否解出两类三次方程——学界有争议。 传统说法(多数数学史著作)认为德尔·费罗只解出 $x^3+mx=n$ 一类;但 1925 年左右,Bortolotti 研究 16 世纪手稿(含 Bolognetti、卡尔达诺、邦贝利的转抄)后得出结论:德尔·费罗可能同时解出了两类($x^3+mx=n$ 与 $x^3=mx+n$)。然而 Crossley(1980)认为 Bolognetti 手稿的证据更支持"只解出一类"。本文标为学界有争议;可确定的是他至少解出了 $x^3+mx=n$。
- "菲奥尔是唯一知情者"之说不实。 多数旧史著称德尔·费罗只把解法告诉了菲奥尔,但据费拉里的记载,解法也写在笔记本里、为纳韦所知,Bolognetti 与邦贝利也曾接触其原文——故"唯一传人"之说为以讹传讹。
- 死因与生平细节的匮乏。 德尔·费罗的生平史料极少,除出生日期、教职、商业文书、卒年外几无可靠信息;其教育、具体发现年份("约 1515"系据卡尔达诺"almost thirty years ago"逆推)皆需谨慎对待。
- 历史评价:MacTutor 评价他"值得极大赞誉",解决了古代最杰出的数学难题之一;卡尔达诺在《大术》中盛赞其发现"超越凡人的一切巧智……是天赐之礼,也是理性之力的明证"。月球上有以他命名的环形山(Del Ferro)。
七、身后影响与学术谱系
- 三次方程突破的起点:他的解法(经菲奥尔泄密、塔尔塔利亚再发现、卡尔达诺发表并扩展)直接引发 16 世纪意大利代数革命——三次方程全部情形、四次方程(费拉里)相继得解,复数(邦贝利处理不可约情形时引入)也由此登上历史舞台。
- 优先权公案的源头:他的秘而不宣与临终传法,间接酿成了数学史上最著名的优先权之争(塔尔塔利亚 vs 卡尔达诺),也使解法最终以"卡尔达诺公式"之名传世——而真正的第一人是德尔·费罗。
- 代数方法论:把代数方程求解从几何(海亚姆)推进到纯算术/代数,为韦达、笛卡尔的符号代数与方程论铺路。
八、延伸阅读与权威来源
- MacTutor: Scipione del Ferro Biography:圣安德鲁斯大学数学史档案,主要传记来源。
- Dictionary of Scientific Biography: Ferro (PDF):权威科学传记(A. Masotti 撰)。
- MacTutor: Quadratic, cubic and quartic equations:三次方程求解史的完整脉络。
- MacTutor: Tartaglia versus Cardan:优先权之争的一手文献摘录。
- E. Bortolotti, La Storia della Matematica nella Università di Bologna (Bologna, 1974):主张德尔·费罗解出两类三次方程的研究。
- J. N. Crossley, The Emergence of Number (Singapore, 1980):对 Bortolotti 结论的反驳,认为只解出一类。
- P. L. Rose, The Italian Renaissance of Mathematics (Geneva, 1976):文艺复兴意大利数学背景。
- Wikipedia: Scipione del Ferro:综合条目,交叉核对用。