拉斐尔·邦贝利（Rafael Bombelli）
一个工程师，在排水工程的间歇写下了《代数学》，第一次教会世界如何与「负数的平方根」认真计算——他让复数从荒诞变成了工具。
一、生平与时代背景
拉斐尔·邦贝利约 1526 年 1 月生于意大利博洛尼亚（当时属教皇国），1572 年卒于罗马（地点为「可能」，存疑）。其父原名安东尼奥·马佐利（Antonio Mazzoli），后改姓邦贝利。家族背景与博洛尼亚的政治沉浮密切相关：本蒂沃利奥（Bentivoglio）家族 1443 年起统治博洛尼亚，马佐利家是其支持者；1506 年教皇尤利乌斯二世夺取博洛尼亚、驱逐本蒂沃利奥家族，1508 年复辟政变失败，安东尼奥的祖父与多名同党被处决，家产长期被没收，后才归还安东尼奥。
安东尼奥回到博洛尼亚做羊毛商人，娶裁缝之女迪亚曼特·斯库迪耶里（Diamante Scudieri），拉斐尔是六个孩子中的长子。他没有受过大学教育，师从工程师—建筑师皮耶尔·弗朗切斯科·克莱门蒂（Pier Francesco Clementi），后来自己也成为工程师。他找到的赞助人是罗马贵族亚历山德罗·鲁菲尼（Alessandro Rufini，后任梅尔菲主教）。
邦贝利恰好身处三次/四次方程突破的中心地带：德尔费罗是博洛尼亚教授（邦贝利出生那年去世），菲奥与塔尔塔利亚的挑战赛（1535）发生在他 9 岁时，卡尔达诺《大术》1545 年出版时他 19 岁。他显然研读了卡尔达诺的著作，并密切关注卡尔达诺、费拉里与塔尔塔利亚之间的公开论战（1548 年费拉里—塔尔塔利亚米兰辩论）。
约 1548 年起，他的老师克莱门蒂为教皇国的「使徒金库」（Apostolic Camera）在福利尼奥附近排干沼泽；邦贝利可能协助了这一工程，但无直接证据（存疑）。1549 年，其赞助人鲁菲尼获得了排干基安纳河谷（Val di Chiana）教皇国部分沼泽的权利，到 1551 年邦贝利已在丈量待垦土地的边界，工程持续到 1555 年中断。
在等待工程复工期间，邦贝利决定写一本代数书。他认为当时数学家之间争论不休的原因，是缺乏对这门学科的严谨阐述；在他看来只有卡尔达诺深入探讨过代数，但其杰作对没有深厚数学基础的人难以读懂。他想写一本自足的、可供非专业者阅读的教材。到 1557 年他已开始动笔；1560 年基安纳河谷工程复工并于年底前完工，大获成功，邦贝利也由此赢得水利工程师的高声誉。1561 年他去罗马，尝试修复台伯河上的圣玛利亚桥未果；随后受聘为教皇庇护四世排干蓬蒂内沼泽（Pontine Marshes）的顾问，该工程同样失败（直到 1928 年才成功排干）。
在罗马的一次访问中，罗马大学数学教授安东尼奥·马里亚·帕齐（Antonio Maria Pazzi）向他展示了一部丢番图《算术》(Arithmetica)的手稿；两人决定翻译，译出了七卷中的五卷，终因各自繁忙未能完成。但邦贝利据此修订了自己的代数书：其书第三卷 272 道题中有 143 道取自丢番图，他在书中明确致谢丢番图。
邦贝利的《代数学》(L'Algebra) 原计划五卷。前三卷于 1572 年出版，他在第三卷末尾写道「几何部分（第四、五卷）尚未就绪，不久将出版」，但他在出版后不久即去世，未能完成。1923 年，博尔托洛蒂（Bortolotti）在博洛尼亚一家图书馆发现了邦贝利的手稿，包括已出版三卷的手稿版和未完成的后两卷；1929 年博尔托洛蒂出版了未完成的几何部分。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 约 1526 | 1 月生于博洛尼亚（父安东尼奥·马佐利，后改姓邦贝利） |
| （约 1540s） | 师从工程师—建筑师皮耶尔·弗朗切斯科·克莱门蒂，无大学教育 |
| 约 1548–1549 | 可能协助老师为教皇国排干福利尼奥附近沼泽（无直接证据，存疑） |
| 1549–1555 | 为赞助人鲁菲尼丈量并排干基安纳河谷沼泽（1555 年中断） |
| 约 1555–1560 | 工程间歇期间撰写《代数学》；到 1557 年已在写作 |
| 1560 | 基安纳河谷工程完工，赢得水利工程师声誉 |
| 1561 | 赴罗马，修复台伯河圣玛利亚桥未果；任排干蓬蒂内沼泽顾问（失败） |
| 约 1561–1570 | 在罗马见到丢番图《算术》手稿，与帕齐合译五卷，修订自己的代数书 |
| 1572 | 出版《代数学》前三卷（第四、五卷几何部分未完成） |
| 1572 | 卒于罗马（可能；地点存疑），享年约 46 岁 |
| 1923 | 博尔托洛蒂在博洛尼亚发现其未刊手稿（含未完成的第四、五卷） |
| 1929 | 博尔托洛蒂出版未完成的几何部分 |
三、核心成果（逐条技术解析）
1. 复数运算法则的首次系统表述
问题背景：卡尔达诺在《大术》中虽写下了 $(5+\sqrt{-15})(5-\sqrt{-15})=40$，却认为复数「精妙而无用」，未建立任何运算规则。关键思想：邦贝利克服了自己最初的疑虑（他写道「我曾也以为这更像诡辩而非真实」），首次系统写下复数的加、减、乘法则。精确表述：他把 $+\sqrt{-n}$ 称为「负之正」（plus of minus），$-\sqrt{-n}$ 称为「负之负」（minus of minus），并给出乘法规则：
- 负之正 × 负之正 = 负 $\quad[(+\sqrt{-n})\times(+\sqrt{-n})=-n]$
- 负之正 × 负之负 = 正 $\quad[(+\sqrt{-n})\times(-\sqrt{-n})=+n]$
- 负之负 × 负之正 = 正
- 负之负 × 负之负 = 负
随后又给出加、减法规则。他还在书中给出「负负得正」的几何证明。与前人的关系：这是数学史上第一套完整的复数运算法则；此前无人系统处理。局限性：他只用复数解决具体问题，未给出复数的抽象定义或几何表示（那要等到欧拉、高斯、阿尔冈）。
2. 破解三次方程的「不可约情形」——证明复数有用
问题背景：用卡尔达诺—塔尔塔利亚公式解三次方程时，当判别式为负（三实根情形），公式会出现负数开平方，16 世纪的数学家认为这时公式「失效」了——这正是卡尔达诺 1539 年写信向塔尔塔利亚请教的困惑。关键思想：邦贝利证明，即便公式中出现复数，正确的实根仍可通过复数运算得出，从而证明复数并非无用的诡辩。精确表述：以方程 $x^3=15x+4$ 为例（卡尔达诺早已知道 $x=4$ 是一根），卡尔达诺公式给出
$$x=\sqrt[3]{2+\sqrt{-121}}+\sqrt[3]{2-\sqrt{-121}}.$$
邦贝利证明（通过设 $\sqrt[3]{2+\sqrt{-121}}=a+\sqrt{-b}$ 比较系数）：
$$\sqrt[3]{2+\sqrt{-121}}=2+\sqrt{-1},\qquad \sqrt[3]{2-\sqrt{-121}}=2-\sqrt{-1},$$
验证：$(2+\sqrt{-1})^3=8+3\cdot 4\cdot\sqrt{-1}+3\cdot 2\cdot(-1)+(-\sqrt{-1})=2+11\sqrt{-1}=2+\sqrt{-121}$。于是
$$x=(2+\sqrt{-1})+(2-\sqrt{-1})=4.$$
虚部相消，得到真实的整数根 4。这是「复数中间量产生实数结果」的第一次明确演示。与前人的关系：直接回应并解决了卡尔达诺与塔尔塔利亚都无法理解的「不可约情形」。局限性：邦贝利仍称虚数为「诡辩的」（sophistic），只是证明了它们在计算中有效；他并未从哲学上接纳复数为「真正的数」。
3. 负数的自由使用与代数符号的改进
问题背景：文艺复兴代数仍受「量不可为负」的几何观念束缚，卡尔达诺几乎不用符号。关键思想：邦贝利在《代数学》开头明确写下有符号数（signed numbers）的乘法规则（正正得正、负负得正、正负得负等），并无保留地使用负数。精确表述：他给出规则并用例子说明（如 $-5\times -6=+30$、$+5\times -4=-20$）。Crossley 指出：「邦贝利明确地在处理有符号数，对此毫无保留。」在符号上，他采用了比卡尔达诺（完全不用符号）远为先进的记号——为未知数的各次幂设计了带指数的记号（手稿与印刷版略有不同，受印刷技术限制）。与前人的关系：继帕乔利等有限使用符号之后，邦贝利把符号推进了一大步，是从文字代数向符号代数（韦达）过渡的关键一环。局限性：他在具体问题中仍倾向忽略负解（Crossley 指出其问题求解中「忽视可能的负解」），符号也未完全现代化。
4. 对丢番图的翻译与传播
问题背景：古希腊丢番图《算术》在中世纪欧洲几乎失传，仅存希腊文残卷。关键思想：邦贝利与帕齐在罗马发现手稿后，将七卷中的五卷译为拉丁文（未完成、未出版），并把其中 143 道题融入自己《代数学》第三卷。与前人的关系：这是丢番图在近代欧洲复兴的重要一步，早于巴歇 1621 年的权威拉丁文译本；费马正是在巴歇译本上写下费马大定理。邦贝利在书中明确归功于丢番图。
四、代表著作与文献
- 《代数学》(L'Algebra)：原计划五卷。前三卷 1572 年出版（博洛尼亚），系统阐述代数、负数与复数运算法则、三次方程不可约情形、以及大量问题（第三卷 272 题，143 题取自丢番图）；第四、五卷（几何部分）未完成，手稿 1923 年由博尔托洛蒂发现，1929 年出版。现代校勘本见 E. Bortolotti 编 R Bombelli L'Algebra, Books I–V（米兰，1966）。
- 与 A. M. 帕齐合译的丢番图《算术》拉丁文译本（五卷，未完成、未刊）。
五、师承、学派与同时代交往
- 老师皮耶尔·弗朗切斯科·克莱门蒂：工程师—建筑师，邦贝利的唯一已知老师，决定了他工程师的职业方向。
- 赞助人亚历山德罗·鲁菲尼：罗马贵族、后任梅尔菲主教，资助其沼泽开垦工程。
- 安东尼奥·马里亚·帕齐：罗马大学数学教授，向他展示丢番图手稿并合译。
- 同时代人物的影响：深入研读卡尔达诺《大术》，密切关注卡尔达诺—费拉里—塔尔塔利亚论战；其《代数学》是对这一传统的回应与推进。他没有已知的数学学生或直接传人，著作主要通过莱布尼茨等后世读者产生影响。
六、争议、公案与历史评价
- 「复数发明者」头衔有争议：MacTutor 作者（EFR）与 Crossley、Jayawardene 认为，称邦贝利为「复数的发明者」是公允的——在他之前无人给出复数的运算法则，也无人认为它们有用。但迪厄多内（Dieudonné）在书评中反对，称「虚数在邦贝利的书之前早已被使用」，并称其《代数学》「销量不佳、对后世发展影响不大」。学界有争议；主流数学史倾向认可邦贝利的奠基性贡献。
- 逝世时间与地点：通常记 1572 年卒于罗马，但 MacTutor 标注地点为「probably Rome」，存疑。
- 不可约情形的优先权：邦贝利是第一个正确处理该情形的人，这一点无争议；但「虚数在他之前已被使用」的说法（迪厄多内）指的是零散出现，非系统演算。
- 历史评价：莱布尼茨赞誉他是「分析技艺的杰出大师」；Jayawardene 说他对复数的处理「几乎与今日一致」，远远超前于时代。
七、身后影响与学术谱系
- 复数与复分析：邦贝利使复数从「不可能的数」变为可计算、有用的对象。欧拉（18 世纪）引入记号 $i$、建立复数的指数形式，高斯（19 世纪初）赋予复数几何表示，柯西、黎曼建立复分析——这条长河的源头可追溯到邦贝利 1572 年的演算。
- 代数符号化：他的符号改进是通往韦达符号代数的桥梁。
- 丢番图复兴：他对丢番图的翻译与借鉴，推动了不定方程（丢番图分析）在近代欧洲的复兴，下接巴歇、费马、欧拉的数论传统。
- 以他命名：月球上有 Bombelli 环形山；数学史中「邦贝利的不可约情形」常被引用。
八、延伸阅读与权威来源
- MacTutor: Rafael Bombelli：圣安德鲁斯大学数学史档案，本档案主要来源。
- Dictionary of Scientific Biography: Bombelli（S. A. Jayawardene）：DSB 经典条目。
- MacTutor: Bombelli's Algebra（节选）：《代数学》内容的英文选介。
- MacTutor 史专题：Quadratic, cubic and quartic equations：三次方程不可约情形的技术背景。
- MacTutor 史专题：The fundamental theorem of algebra：复数与代数基本定理的源流。
- E. Bortolotti (ed.), R Bombelli L'Algebra, Books I–V (Milan, 1966)：《代数学》现代校勘本。
- J. N. Crossley, The Emergence of Number (Singapore, 1980)：数概念演化，含对邦负数/复数的分析。
- Encyclopaedia Britannica: Rafael Bombelli：权威百科条目。
- The Galileo Project: Rafael Bombelli：莱斯大学伽利略项目条目。