数学史话：瓦里斯与负数笑话、笛卡儿与虚数

要让人类接受到一种新数，开始往往是非常困难的，甚至还曾经有人为此丢了性命。第一个发现无理数的人古希腊人希帕索斯就被毕达哥拉斯的忠实信徒们抛进大海喂了鲨鱼。负数虽然没有弄出人命，但是也在好几个世纪中把欧洲的数学家们搞得六神无主晕头转向。大名鼎鼎的英国数学家、牛津大学教授瓦里斯曾经因为负数闹了一个大笑话，他说：“负数比无穷大还要大”，连后来的大数学家欧拉，也对此深信不疑!直至19世纪时，有些数学家如德·摩根、马塞勒还说负数“十分荒唐”，主张把它“从代数里驱逐出去”!

正当欧洲数学家们被无理数和负数弄得晕头转向还没有完全清醒过来的时候，新的问题又来了，他们遇到了一种更为奇怪的数，就是负数开平方。比如解方程x2＋1＝0，移项得x2＝－1最后解出x＝±。试问，哪一个数(这儿当然指的是实数)的平方能够等于－1呢?究竟有什么实际意义呢?

最初遇到这种数的人，是法国的舒开。然而第一个认真讨论这种数的，却是文艺复兴时期意大利有名的“怪杰”、三次方程解法获得者之一的卡丹。卡丹在1545年提出一个问题：“把10分成两部分，使它们的面积是40。”他列出方程x(10－x)＝40整理后得x2－10x＋40＝0，结果解出这两个根是5＋卡丹觉得奇怪，称是“诡辩量”，并且自我解嘲地说：“尽管我的良心会受到多大的责备，但是，的的确确乘刚好是40!”

差不多过了100年，1637年，解析几何的创始人笛卡儿才给这种“虚幻之数”取了一个名字叫“虚数”(和“实数”相对)。又过了140年，大数学家欧拉还是说这种数只是存在于“幻想之中”，并且用i(imaginary虚幻)来表示它的单位。

牛津大学教授瓦里斯具有丰富的想像力，给虚数找到了一个更巧妙的“解释”“假设某人欠别人10亩地，即他有－10亩，而这－10亩地又恰好是个正方形，那么它的边长不就是了吗?

最有名的是莱布尼兹评论虚数时一段颇带神秘色彩的话：“圣灵在分析的奇观中找到了超凡的显示，这就是那个理想世界的端兆，那个介于存在与不存在之间的两栖怪物，那个我们称之为虚的－1的平方根。”看，虚数竟成了上不着天、下不着地的“两栖怪物”!

虚数从开始出现以后，经过了两个世纪，还是得不到人们的正式承认。大家都知道，把一个实数和一个纯虚数相加，得到形式如a＋bi的这种数，叫做复数。复数这个名词是德国数学家高斯先提出的。高斯虽然感到这种数有点虚无缥缈，但又觉得它很有可爱之处。你看，如果不承认这种数，代数方程便有的无解，有的一个解，有的两个解……五花八门，毫无规律可言；如果承认了它，代数方程就都有解，而且n次方程不多不少恰好有n个解!此外，对复数进行代数运算，其结果还是复数(实数和纯虚数只是复数的特例)，这样便形成了一个完整的数域。

复数既然有这么多的“优越性”，为什么数学家对它总是疑虑层层、迟迟不接受呢?直至19世纪中期，剑桥大学的教授们仍然抱着“厌恶”的心情，对它进行抵制。简单点说，就是因为这种数“看不见”，同时也“用不上”，缺乏实践的基础。

为此立功的是挪威测量学家末塞尔，他找到了复数的几何表示法。众所周知，所有实数都可以用直线上的点来表示，正数用0右边的点来表示，负数用左边的点表示；无理数如，可以用单位边长的正方形的对角线长度来表示。因为“看得见”，大家才不得不承认了负数和无理数。末塞尔发现，所有复数a＋bi都可以用平面上的点来表示，而且复数a＋bi与平面上的点一一对应。这样一来，复数就找到了一个“立足之地”，而且开始在地图测绘学上找到了它应用的价值。

同时，数学家又找到了复数的三角表示法r(cosθ＋sinθ)，其中r叫做复数的模，θ叫做幅角。后来又找到了复数的指数表示法reQ(e表示自然对数的底)。即复数z＝a＋bi＝r(cosθ＋isinθ)＝reQ。若令r＝1，θ＝π，就可以得到ein＝1，即eiπ－1＝0，这个著名的式子是欧拉得到的，它把数学中五个最重要的数1，0，i，π，e溶为一体，被誉为整个数学中最卓越的公式之一。复数在几何上找到了它的位置以后，人们对它就另眼相看了。从18世纪末起，以欧拉为首的一些数学家，开始发展一门新的数学分支，叫做复变函数论。大家都学过函数，但在中学里，函数自变量的取值范围仅限于实数。如果把函数自变量z的取值范围扩大到复数，那么这种函数就叫做复变函数。即复变函数，其中z，W都是复数。

一个复数如果可以表示为平面上的一个点，那么自变量z的取值范围就是平面上的一个点的集合，相应的函数W的取值范围却是另一个平面上的一个点的集合。从几何角度来看，所谓复变函数，就是把甲平面上的一个图形A(点的集合)变换成乙平面上的一个图形B(也是点的集合)。研究复变函数性质的这一门科学，就是复变函数论。19世纪以后，由于法国数学家柯西、德国数学家黎曼、魏尔斯特拉斯的巨大贡献，复变函数论取得了飞跃的发展，并且广泛的运用到了空气动力学、流体力学、电学、热学、理论物理学等方面。把这种“虚幻之数”第一次应用到工程部门取得重大成就的，是俄罗斯的“航空之父”儒可夫斯基。

尼古拉·叶哥洛维奇·儒可夫斯基1847年1月17日生于俄国弗拉基米尔省，21岁毕业于莫斯科大学的应用数学专业。他具备多方面的才能，特别在航空专业方面很有造诣，后来就专门从事飞行的研究。

1890年，儒可夫斯基在俄国自然科学家会议上作了《关于飞行的理论》的演说。第二年便写出了有名的关于飞行的著作《论鸟之飞翔》。他在长期的观察和研究过程中，发现了鸟类飞行的许多奥秘，即作出了一个大胆的预言：飞机可以在空中“翻筋斗”，当时不少人对他的预言都持怀疑态度，根本没有哪一个飞行员敢于冒险去尝试。十多年以后，陆军中尉聂斯切洛夫做了世界上第一次飞机空中“翻筋斗”的飞行动作，以后这种特技飞行就称为“聂斯切洛夫筋斗”。儒可夫斯基的预言被证实了，他的预言就是根据复变函数的理论计算出来的。

在儒可夫斯基生长的时代，飞机刚刚飞上了天。飞机为什么能飞上天，它应该怎样设计，怎样改进，这一切一切找不到可靠的理论根据，全凭实验来摸索，特别是无法运用数学这个有力工具。由于盲目的实践，所以成功的机会很少，失败的时候居多。一般的科学家都认为，飞行这门学问只能以实验为基础。莫斯科航空学校校长勃劳茨就曾经说过：“要想依靠数学来建立航空学的某些定律，是很危险的事情。”

儒可夫斯基却不相信这一套。他研究了围绕和流过障碍物的不断运动着的气流分子，于1906年(就是莱特兄弟的飞机飞上天空后的第三年)发表了论文《论连接涡流》，成功地解决了空气动力学的主要问题，创立了以空气动力学为基础的机翼升降原理，并找到了计算飞机翼型的方法。这一切的成就，都是依赖于那个前人感到不可捉摸的“虚幻之数”，以及由它延伸出来的复变函数论。

儒可夫斯基翼型，依赖于有名的儒可夫斯基变换，这是一个公式线性的复变函数

其中z为自变量，W为函数a是一个常数。前面说过，当自变量z的取值范围是平面上一个点集时，函数W的取值范围是另一平面上的一个点集。复变函数z平面上一个图形A变换成W平面上的一个图B(这种变换又称为“转绘”)。上述儒可夫斯基变换，能把z平面上以P(P不在坐标轴上)为圆心的圆，变成W平面上飞机翼型的截面图。这个翼型就是有名的儒可夫斯基翼型。

实际上，儒可夫斯基从理论上提出的这个翼型，要想完全照样制作是比较困难的。实际使用的翼型是根据实验而描出的经验曲线制作的。但是，由于这种理论上的翼型能够用解析式完美地表达出来，对具有这种假想翼型的飞机性能就可以作充分的计算或估计，然后把计算的结果和实际的翼型作比较，就可以为设计出各种优良翼型提供资料。总之，有了理论的翼型，就可以指导我们的实践，在制作翼型的过程中避免盲目性。所以儒可夫斯基翼型在航空工程学上有着重要的意义，从而为从事这项工作的人们所熟悉。1916年儒可夫斯基的重要著作《航空理论基础》被译成法文，成为航空工程师和飞机设计家的必备手册。

然而，另外有一个中学老师声称也会解三次方程，他便是塔塔利亚。塔塔利亚是16世纪意大利著名的靠自学成才的数学家，为三次方程求解做出了杰出的贡献。

塔塔利亚原名方塔那，出生于意大利北部的布里西亚，父亲在邮局任职。他幼年时，正值意大利与法国交战。有一次父母带他逃到天主教堂避难。法军闯进教堂，杀死他的父亲，方塔那的头部也受了重伤。是母亲在尸骸堆中找到他，由于伤势过重，加上神经受到刺激，伤愈后说话不灵，吐字不清，于是得了个绰号叫“塔塔利亚”(意大利语，结巴之意)。后来他就以此绰号为笔名发表文章。

塔塔利亚由于幼年丧父，家境贫寒。因而经济拮据，没钱买文具纸张，母亲就把丈夫坟墓上的青石碑当作石板，教孩子在上面写写画画，认字学算术。小塔塔利亚天资智慧，勤奋刻苦，在数学上很有造诣，成年后就在意大利各地教授数学并以此来维持生活。他曾将欧几里得的《几何原本》译成意大利文，还发表了不少军事科学著作和数学论著，特别是成功地把数学理论应用于动力学中，对后来成为世界著名的物理学家的伽利略有着重要的影响。

1530年，布里西亚一位中学数学教师科拉向塔塔利亚提出了两个挑战性的问题：

第一，试求一个数，其立方加上它的平方之二倍等于5(即求满足方程x3＋2x2＝5的x值)。

第二，试求三个数，其中第二个数比第一个数大2，第三个数又比第二个数大2，三数之积等于1000[即求解方程x(x＋2)(x＋4)＝1000，x3＋6x2＋8x＝1000]。(www.xing528.com)

当时，类似这样的三次方程都在数学界的禁区之内，没有人敢去问津。塔塔利亚出于好奇心，跃跃欲试，经过一番推演，居然得出了答案，即：

塔塔利亚求出了这两道题的实根后，并没有公布自己的解法。但从此以后，塔塔利亚在数学领域便开始崭露头角。

费罗的学生菲俄听说塔塔利亚解出了科拉的三次方程，心中很不服。他和塔塔利亚约定，于1535年2月22日在米兰市大教堂进行一场公开的数学竞赛。当塔塔利亚得知菲俄是费罗教授登堂入室的弟子时，心想，竞赛时菲俄难免会拿三次方程来为难自己，切不可掉以轻心。于是，他苦心钻研三次方程的解法，昼夜不停的运算，却毫无进展。比赛日期渐渐迫近，塔塔利亚心急如焚、惶恐不安。2月11日，他伏案通宵，钻研到第二天早上。当他走出户外呼吸一口新鲜空气的时候，多日冥思苦想得不到解答的问题，竟豁然开朗，终于找到了进一步解决三次方程的办法。塔塔利亚回忆说：“我运用了自己的一切努力、勤勉和技巧，以便取得解这些方程的法测。结果很好，我在规定的期限前十天，即2月12日，就做到了这点。”

2月22日，米兰的大教堂热闹非凡，大家都等着看竞赛。比赛开始了，双方各出了30个三次方程的题目，其中包括x3＋mx＝n类型的方程。这些难题，使前来观阵的人们无不摇头咋舌，迷惑不解。可是，不到两个小时，塔塔利亚便出人意料地宣布，30个题已全部解答出来了。众人瞠目结舌，心中却是赞叹不已。然而菲俄却一筹莫展，一道题也未解出。最后塔塔利亚以30∶0大获全胜。

消息一经传出，极大地震惊了数学界。塔塔利亚在获胜之后，再接再励，继续钻研。终于在1541年得到了三次方程的公式解，打开了僵持了700多年的局面。

一般一元三次方程的形式如

y3＋by2＋cy＋d＝0，设(y＝x－)代入原方程化简后得：

在此，只须研究这样类型的三次方程就行了。

卡尔丹的办法，是引入两个新变量t与u。

(2)2＋4(3)则为(t－u)2＋4tu＝(－q)2＋4()3

化简得(t＋u)2＝q2＋4)2即t＋u＝

(2)与(4)联立可得：

这里t、u只能取正根。

卡尔丹用几何方法证明：x＝(6)

即为方程(1)的一个解。我们可以用牛顿二项式定理验证(6)式成立：

即证明x3＋px＋q＝0

将(5)、(6)式结合起来可得到：

这里塔塔利亚—卡尔丹公式，它又可以化简为：

这里D＝这是三次方程的判别式：

D＞0时，有一实根二虚根。D＜0时，有三个实根。D＝0时，若P＝q＝0，有三重零根；若≠0有三个实根，其中两个不相等。

三次方程(1)应当有三个根，但卡尔丹只求出实根，是不完全的。直到1732年欧拉才得到求出全部根的方法。如果ω、W2表示1的两个立方虚根，即方程x2＋x＋1＝0的两个根，则t和u的立方根写全了分别应为：

这样，方程(1)的全部根应为：

最后，由前设y＝X－，则可求出一般一元三次方程的根(值)。