← 返回 希皮奥内·德尔·费罗 简介档案 深度档案
代数学

希皮奥内·德尔·费罗(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. 固定开度圆规作图问题(结果已佚)。 据费拉里致塔尔塔利亚的信,德尔·费罗曾研究"哪些几何问题可用开度固定的圆规(带定距)解决",但费拉里未给出细节,其成果也未传世。与前人的关系:这是文艺复兴时期一类流行的几何作图问题(后世摩尔—马歇罗尼作图等的先声),但因材料缺失无法详评。

四、代表著作与文献

五、师承、学派与同时代交往

六、争议、公案与历史评价

七、身后影响与学术谱系

八、延伸阅读与权威来源