第一章：虚数的诞生——负数的平方根如何改变世界
第一章：虚数的诞生——负数的平方根如何改变世界
引入：那个让数学家困惑了三百年的问题
当我们在中学第一次学习平方根时，老师会告诉我们一个简单的事实：正数的平方是正数，负数的平方也是正数。这意味着，无论我们如何努力，都找不到一个实数它的平方等于负数。然而，正是这个看似不可能的问题，打开了一扇通往全新数学世界的大门。
试想这样一个问题：是否存在一个数，当它与自己相乘时，会得到$-1$？
用数学语言来表达，这个问题就是：$x^2 = -1$，那么$x$等于多少？
在实数的范畴内，这个问题无解。我们可以说“不存在这样的数”，然后心满意足地继续前进。但是，16世纪的数学家们发现，某些实际问题的求解过程中，会不可避免地遇到这类“不可能”的表达式。当他们试图解三次方程时，一个幽灵般的新数种悄然出现在计算过程中——即使最终答案可能是实数，但中间步骤却无法避开负数的平方根。
这种数最初被轻蔑地称为“虚数”（imaginary number），仿佛它们只是存在于数学家脑海中的虚构产物。三百多年间，它被排斥、被嘲笑、被视为异端。然而，随着时间的推移，数学家们逐渐发现：虚数不仅不是多余的累赘，反而是描述现实世界不可或缺的工具。从交流电路的分析到量子力学的波函数，从信号处理到航空导航，虚数的影子无处不在。
本章将以16世纪意大利数学家卡尔达诺与塔尔塔利亚的世纪对决为起点，跟随虚数概念从被拒绝到被接受、从迷雾走向光明的历程。我们将理解为什么负数的平方根不仅是数学的必然，更是人类认识世界方式的深刻革命。
本章核心问题：为什么负数会有平方根？这个看似荒谬的概念如何成为数学和物理不可或缺的工具？
本章将要探讨的关键问题包括：三次方程的求解如何“逼迫”出虚数的诞生？为什么数学家们最初如此排斥这个新概念？邦贝利是如何首次严肃对待这些“不可能”的数的？高斯的几何解释如何为虚数找到了合法的家园？以及，虚数在现代科学中究竟扮演着怎样的角色？
---
第一节：卡尔达诺与塔尔塔利亚之争——数学史上的第一场知识产权纠纷
1.1 三次方程：古希腊难题的延续
要理解虚数为何会出现，我们必须回到16世纪初的意大利。当时的数学界正被一个困扰了数学家们两千多年的问题所吸引：如何求解三次方程？
所谓三次方程，是指未知数最高次数为3的代数方程，形如$ax^3 + bx^2 + cx + d = 0$。古希腊数学家们已经知道如何求解一次和二次方程，但三次方程却像一座难以逾越的高山，令无数学者折戟沉沙。
到了16世纪初，博洛尼亚大学的数学教授西皮奥内·费罗（Scipione del Ferro）终于取得了突破。他发现了一类特殊三次方程的解法——当方程缺少二次项时，即形如$x^3 + px = q$的形式（其中$p$和$q$为正数），可以给出求根公式。
费罗将这个秘密传授给了自己的学生菲奥尔。然而，这个秘密并没有传播开来，因为当时的数学家们习惯于通过数学竞赛来赢得声誉和职位。公开挑战、互相出题、当众解题——这是一种类似于中世纪骑士比武的学术决斗方式。在这样的背景下，谁先掌握某个问题的解法，就意味着在竞赛中拥有巨大的优势。
1.2 塔尔塔利亚的横空出世
1535年，一个名叫尼科洛·塔尔塔利亚（Niccolò Tartaglia）的年轻数学家公开宣称自己发现了三次方程的解法。塔尔塔利亚原名丰塔纳，出生于一个贫困的驿站马夫家庭。他在1512年的战争中受了重伤，头部被法国士兵砍了四刀，造成了严重的语言障碍——这或许就是他姓氏“Tartaglia”（口吃者）的由来。尽管命运多舛，塔尔塔利亚却凭借惊人的天赋自学成为一代数学家。
消息传到威尼斯后，菲奥尔决定挑战塔尔塔利亚。他向塔尔塔利亚下了战书，邀请对方在公开场合比试解题能力。根据当时的惯例，双方各出三十道题给对方解答，规定时间内解出更多题目者获胜。
这是一场命运攸关的较量。
塔尔塔利亚敏锐地察觉到，菲奥尔只掌握费罗传授的那一类特殊三次方程的解法。于是，他在比赛前夜通宵研究，针对这类方程准备了大量题目。比赛结果毫无悬念：塔尔塔利亚在两小时内解出了所有题目，而菲奥尔一道也没能解出。
塔尔塔利亚因此名声大噪，但他并没有立即公开自己的完整解法。据说他只是简短地透露了方法的大致思路：“将未知数的立方与未知数乘以某个系数的积相加，等于某个数”——这正是$x^3 + px = q$形式方程的核心特征。
1.3 卡尔达诺的“背叛”与《大术》
1539年，一位名叫吉罗拉莫·卡尔达诺（Gerolamo Cardano）的米兰医生兼数学家得知了塔尔塔利亚的成就。卡尔达诺是当时欧洲最著名的医生之一，同时也是一个多产的作家，对数学、哲学、占星术都有涉猎。他迫切地想要了解三次方程的解法。
卡尔达诺多次恳求塔尔塔利亚传授秘诀，甚至发誓永远不会泄露。在卡尔达诺的再三请求下，塔尔塔利亚终于松口，向他简要描述了方法。但塔尔塔利亚留了一手——他给出的说明语焉不详，充满隐喻。
然而，卡尔达诺是一个极具天赋的数学家。他不仅理解了大意，还花了数年时间将这一方法系统化、推广化。1545年，卡尔达诺出版了他最著名的数学著作《大术》（Ars Magna），系统地阐述了三次和四次方程的解法。
在这本书中，卡尔达诺不仅解决了缺少二次项的三次方程，还成功攻克了更一般的三次方程形式。但更重要的是，他遇到了一个前所未有的困境。
考虑一个看似简单的问题：将10分成两部分，使它们的乘积等于40。用数学语言表达，设两部分分别为$x$和$10-x$，则：
$$x(10-x) = 40$$
展开后得到：
$$10x - x^2 = 40$$ $$x^2 - 10x + 40 = 0$$
应用我们已经熟知的求根公式：
$$x = \frac{10 \pm \sqrt{100 - 160}}{2} = \frac{10 \pm \sqrt{-60}}{2}$$
结果出现了负数的平方根：$\sqrt{-60}$。卡尔达诺明确地将这个结果称为“不可理会”（non est），承认这是荒谬的。然而，有趣的是，如果我们将两个“不可能”的根代入原式进行计算：
$$\left(\frac{10 + \sqrt{-60}}{2}\right) + \left(\frac{10 - \sqrt{-60}}{2}\right) = 10$$
$$\left(\frac{10 + \sqrt{-60}}{2}\right) \times \left(\frac{10 - \sqrt{-60}}{2}\right) = \frac{100 - (-60)}{4} = \frac{160}{4} = 40$$
这两个数“相加得10，相乘得40”——完美符合问题的要求！尽管卡尔达诺称其为“虚构的”“精神上的虚构”，但它们确实能给出正确答案。
这是一个深刻的悖论：这些“不存在”的数，却在运算中表现得像真正的数一样。
卡尔达诺的行为在塔尔塔利亚看来是一种严重的背叛。塔尔塔利亚认为，自己是在卡尔达诺承诺保密的情况下才透露方法的。而卡尔达诺不仅没有保守秘密，还将其系统化并公之于众。这场争端最终演变成一场公开的论战和决斗，虽然没有像骑士比武那样流血，但双方都受到了不同程度的伤害。
这场争论的结果是：卡尔达诺的《大术》成为第一部系统介绍三次方程解法的著作，数学家们从此开始正视这些在计算过程中不可避免出现的“幽灵数”。而塔尔塔利亚，虽然在历史上留下了自己的名字，但他关于三次方程的工作大部分被卡尔达诺的光芒所掩盖。
---
第二节：虚数如何被“逼”出来——三次方程求解中的幽灵
2.1 不可约情形：虚数出现的必然时刻
为什么在求解二次方程时，我们只是简单宣布“负数没有平方根”然后结束，而求解三次方程时却无法回避虚数？这两种情况有一个本质的区别。
对于二次方程$x^2 = -1$，我们可以说这个方程没有实数解，然后就此打住。但三次方程的情况不同。让我们看一个具体的例子。
考虑三次方程：
$$x^3 - 15x - 4 = 0$$
这个方程有一个很漂亮的实数解：$x = 4$。验证一下：
$$4^3 - 15 \times 4 - 4 = 64 - 60 - 4 = 0 \quad \checkmark$$
现在，尝试用卡尔达诺公式来求解这个方程。三次方程$x^3 + px + q = 0$的一般解为：
$$x = \sqrt[3]{\frac{-q}{2} + \sqrt{\left(\frac{q}{2}\right)^2 + \left(\frac{p}{3}\right)^3}} + \sqrt[3]{\frac{-q}{2} - \sqrt{\left(\frac{q}{2}\right)^2 + \left(\frac{p}{3}\right)^3}}$$
代入$p = -15$，$q = -4$：
$$\frac{q}{2} = -2, \quad \left(\frac{q}{2}\right)^2 = 4$$ $$\left(\frac{p}{3}\right)^3 = (-5)^3 = -125$$ $$\left(\frac{q}{2}\right)^2 + \left(\frac{p}{3}\right)^3 = 4 + (-125) = -121$$
于是：
$$x = \sqrt[3]{2 + \sqrt{-121}} + \sqrt[3]{2 - \sqrt{-121}}$$
这里，虚数出现了！即使最终答案$x = 4$是一个完全正常的实数，但在求解过程中不可避免地涉及负数的平方根。
数学家们将这种情况称为“不可约情形”（casus irreducibilis）：当三次方程有三个实数根时，方程的根式解表达式却必然包含虚数。换句话说，要用根式（平方根、立方根的组合）来表达实数根，就必须经过虚数的中间步骤。
这意味着，如果我们坚持认为虚数是“不存在”的，那么我们将无法写出许多实数解的表达式。这就好比说：我知道答案是一个实数，我甚至可以验证它，但，我却无法用公式把它写出来！这对于追求严密和完整的数学家来说，是一种无法忍受的困境。
2.2 邦贝利的洞见：接受它，计算它
面对这种困境，16世纪的数学家们采取了不同的态度。有些人选择回避虚数，只在确实能避开虚数时才使用公式。有些人则开始尝试与虚数“共事”，看看会发生什么。
拉斐尔·邦贝利（Raffaele Bombelli）就是后一种态度的代表人物。1572年，邦贝利出版了《代数》（Algebra）一书，首次对这些“新数”进行了系统而严肃的处理。
邦贝利注意到一个关键的事实：卡尔达诺公式中出现的虚数总是成对出现的——一个$\sqrt{-121}$，另一个$-\sqrt{-121}$。他开始思考：也许这两个数可以像普通数一样参与运算？如果可以的话，也许在运算过程中，那些令人不安的虚数部分会相互抵消，最终只剩下实数结果。
让我们用邦贝利的思路来计算上面的例子。邦贝利引入了一个大胆的假设：设
$$\sqrt{-121} = \sqrt{121} \times \sqrt{-1} = 11\sqrt{-1}$$
如果我们把$\sqrt{-1}$当作一个新符号$i$来处理，看看会发生什么。根据邦贝利的设想，$i$满足以下运算规则：
$$i^2 = -1$$
现在，设
$$2 + 11i = a + bi \quad \text{且} \quad 2 - 11i = a - bi$$
其中$a$和$b$是待定的实数。两边同时立方：
$$(a + bi)^3 = 2 + 11i$$
展开$(a + bi)^3$：
$$a^3 + 3a^2(bi) + 3a(bi)^2 + (bi)^3$$ $$= a^3 + 3a^2bi - 3ab^2 - b^3i$$ $$= (a^3 - 3ab^2) + (3a^2b - b^3)i$$
因此：
$$a^3 - 3ab^2 = 2 \quad \text{且} \quad 3a^2b - b^3 = 11$$
通过尝试，邦贝利发现$a = 2$，$b = 1$满足这两个方程：
$$2^3 - 3 \times 2 \times 1^2 = 8 - 6 = 2 \quad \checkmark$$ $$3 \times 2^2 \times 1 - 1^3 = 12 - 1 = 11 \quad \checkmark$$
于是：
$$\sqrt[3]{2 + 11i} = 2 + i, \quad \sqrt[3]{2 - 11i} = 2 - i$$
代回原式：
$$x = (2 + i) + (2 - i) = 4$$
完美！实数解被成功“提取”出来了。
邦贝利的贡献是革命性的。他没有简单地否定虚数，而是假设它们可以参与运算，然后检验结果是否有意义。他发现，当虚数按照合理的规则参与运算时，不仅不会产生矛盾，反而能帮助我们得到正确的实数答案。
邦贝利将这些数称为"sophistico"数——字面意思是“精妙的”或“诡辩的”数。这个命名本身就体现了当时数学家的矛盾心理：这些数虽然“奇怪”，但却能给出正确的结果。
2.3 从“必须消除”到“不可或缺”——观念的转变
邦贝利的工作在当时并没有立即改变数学界对虚数的态度。许多数学家仍然将这些数视为一种计算技巧，而非真实的数学对象。然而，随着时间的推移，人们逐渐认识到虚数不是可以随意消除的麻烦，而是数学结构中不可或缺的一部分。
17世纪，法国数学家勒内·笛卡尔（René Descartes）首次使用了“虚数”（imaginary number）这个术语。在他的《几何学》（La Géométrie，1637）中，笛卡尔将方程的根分为“实根”和“虚根”。虽然“虚”这个词带有贬义，暗示这些数是“不真实的”，但它已经成为一个正式的数学术语。
真正推动虚数走向合法化的，是18世纪两位瑞士数学家的贡献：莱昂哈德·欧拉（Leonhard Euler）和约翰·伯努利（Johann Bernoulli）。他们发现，虚数与三角函数、对数函数之间存在深刻的联系。例如：
$$e^{i\theta} = \cos\theta + i\sin\theta$$
这个著名的公式（我们将在后面详细探讨）揭示了虚数指数的物理意义。欧拉还证明了，虚数的对数也是有意义的：
$$\ln(-1) = i\pi$$
这些发现使数学家们不得不承认，虚数不仅仅是一种计算工具，而是数学世界中真实存在的居民。它们在代数方程中扮演着与实数同样重要的角色，在分析学中具有与实函数同样优雅的性质。
---
第三节：邦贝利的"sophistico"数——首次对复数的严肃处理
3.1 邦贝利的方法论：超越直觉的勇气
在邦贝利之前，数学家们对虚数的态度大致可以分为两类：一类是彻底否认，认为负数的平方根根本不存在；另一类是实用主义态度，认为可以在计算过程中暂时使用虚数，但最终结果必须“消除”虚数部分，回归实数。
邦贝利采取了第三种立场：他认真地对待虚数，为它们建立运算规则，然后检验这些规则是否自洽。
这种方法论在今天看来是理所当然的，但在16世纪却是非常激进的。邦贝利实际上是在说：也许我们应该先假设这些数存在，然后看看会发生什么。如果计算结果有意义，如果它们能帮助我们解决问题，那么它们就是“存在的”——即使我们无法在数轴上指出它们的位置。
邦贝利的《代数》分为五卷，其中第一卷介绍代数基础，第二卷讨论代数在几何中的应用，第三卷和第四卷专门处理无理数和虚数，第五卷是关于数论的内容。在讨论虚数的部分，邦贝利展示了如何进行以下运算：
虚数的加减法：
如果$a$和$b$是正数，那么： $$(+a) + (-b)\sqrt{-1} + (+c) + (-d)\sqrt{-1} = (a+c) + (-b-d)\sqrt{-1}$$
虚数的乘法：
$$(a + b\sqrt{-1})(c + d\sqrt{-1}) = ac + ad\sqrt{-1} + bc\sqrt{-1} + bd(\sqrt{-1})^2$$ $$= (ac - bd) + (ad + bc)\sqrt{-1}$$
注意，这里用到了关键规则：$(\sqrt{-1})^2 = -1$。
虚数的除法：
邦贝利展示了如何将一个虚数表示为“实部加虚部”的形式。例如：
$$\frac{a + b\sqrt{-1}}{c + d\sqrt{-1}} = \frac{(a + b\sqrt{-1})(c - d\sqrt{-1})}{(c + d\sqrt{-1})(c - d\sqrt{-1})}$$
分母变为$c^2 + d^2$（这是一个实数），分子则按照乘法规则展开。这种将分子分母同时乘以“共轭”的技巧，至今仍是处理复数除法的标准方法。
3.2 实数与虚数的“配对”——复数概念的萌芽
邦贝利最重要的贡献之一，是认识到虚数不是孤立存在的，而是与实数配对出现的。他意识到，一个“虚数”实际上应该被理解为一个实数对——一个实部和一个虚部。
例如，邦贝利研究的所有虚数表达式都可以写成：
$$a + bi$$
其中$a$和$b$是实数，$i = \sqrt{-1}$。
邦贝利观察到，当两个这样的数相乘时，结果仍然是同一种形式：
$$(a + bi)(c + di) = (ac - bd) + (ad + bc)i$$
这意味着，这类数的集合对加法、减法、乘法和除法都是封闭的——任意两个这样的数进行四则运算，结果仍然是这种形式的数。这正是我们今天所说的“复数域”的概念。
邦贝利还发现了复数的一个重要性质：共轭复数。对于一个复数$z = a + bi$，其共轭复数定义为$\bar{z} = a - bi$。两个共轭复数的乘积是一个实数：
$$z \cdot \bar{z} = (a + bi)(a - bi) = a^2 + b^2$$
这个性质在后来的复数理论中扮演着核心角色。
3.3 邦贝利留下的谜题：几何解释的缺失
尽管邦贝利在代数运算方面取得了巨大进展，但他并没有为虚数提供一个直观的几何解释。这在当时是完全可以理解的——毕竟，负数的平方根怎么可能有一个几何意义呢？
几何解释的缺失，是虚数长期被质疑的重要原因之一。
我们可以用数轴直观地表示实数：正数在原点右侧，负数在原点左侧。对于虚数呢？原点的左侧和右侧都是实数，它们之间没有“空隙”留给$\sqrt{-1}$。
这种几何直观上的缺失，让许多数学家对虚数的“存在性”持怀疑态度。在他们看来，一个数必须在数轴上有一个确定的位置，才算“真正存在”。虽然邦贝利证明了虚数在代数运算中是自洽的，但如果无法给它们一个几何解释，就始终让人觉得它们是某种“计算中的虚构”。
这一困境直到19世纪才被彻底解决——通过高斯创建的复平面，虚