数学500年:新的黄金时代?(1)

500 Years of Mathematics: Are We Living In A New Golden Age?

 作者:Chris Budd, University of Bath

如果我们以1519年为分界线,回望在它之前和之后的500年间数学的进展,你会发现在1519年之前是几乎风平浪静的500年,鲜有新的数学出现。在那段时间,数学似乎在全世界都陷入了一种停滞状态,只有印度在代数和三角学领域获得了一些重大进步。

相比之下,1519年之后的这个500年里,数学呈现出了爆炸式的增长,而且这种速度在21世纪似乎在显著加快。可以说,过去的500年是现代数学的500年。那么在这500年的数学历史中,都发生了什么?这是我们今天的主题。我们将沿着四个关键的数学思想去回顾这500年(当然,不止四个, 还有许多伟大的数学思想在本文中并没有被提及)。

1.

如果说有哪个事件能够划分经典数学现代数学,那就是对三次方程的求解了。这一事件意味着,数学家们的探索领域终于超越了古希腊人所做的一切。从那时起,代数为数学掀开了新的篇章,并在20世纪90年代到达了顶峰。

二次方程。

遥远的古代开始,人们就知道二次方程的存在。二次方程的解对面积计算等问题非常重要。巴比伦人最先找到了它的解,而解的最终形式是由印度人发现的。

二次方程的一般解。

三次方程体积的计算非常重要。同样,聪慧而乐于思考的巴比伦人也试图想要得出它的解。但是,求解三次方程是一项艰难得多的挑战。

三次方程。

巴比伦人没能得到一个最终的一般解,而是创造了一个可以推导出近似解的列表。虽然也有像Omar Khayyam(1048-1131)这样的数学家曾求得过几何解,但无论是希腊人还是后来的数学家,都无法推导出这个方程的代数解。

就这样,求解三次方程的难题就一直存在,无人能解。

直到1520年代,事情开始慢慢发生改变。那时,一位名为希皮奥内·德尔·费罗(Scipione del Ferro,1465-1526)的意大利数学家找到了一般解法,首次解开了缺少二次项的三次方程。

希皮奥内·德尔·费罗解开的三次方程。

之后,费罗把解法传授给了他的学生Fior。而几乎就在同一时间,另一位意大利数学家塔塔里亚(Tartaglia)也用一种一般解法找到了缺乏一次项的三次方程的解。

塔塔利亚解开的三次方程。

有趣的是,这则三次方程的求解故事开始朝着一个非常戏剧化的方向展开:一开始,塔塔里亚将他的公式藏在了一篇诗歌当中,他还与Fior进行了一次问题求解竞赛,并且获得了最终的胜利。接着,在一个名叫卡达诺(Cardano)的学者的劝诱下,塔塔里亚将结果告诉了他。卡达诺向塔塔里亚发誓,一定会保守秘密,不将结果泄露出去。然而事实却是,卡达诺先是从Fior那习得了他的结果,然后揭露了塔塔里亚的解法,在代数著作《大衍术》(Ars Magna)中,发表了这一结果。这让塔塔里亚恼怒不已,至死都没有原谅卡达诺。

虽然求解的故事颇具戏剧性,但最终我们还是成功地得到了这一伟大的结果。时至今日,三次方程的解仍然很重要。例如,在计算机图形学中,许多曲线和形状都需要用三次方程来近似。是这些解让我们可以计算出曲线何时会相交。

三次方程的解带来了许多重要的数学进展。例如更高阶的多项式方程是否可解就是其中的一个显著问题。很快,人们就解出了四次方程,但又再次卡在了五次方程的问题上。直到19世纪,挪威数学家阿贝尔(Abel,1802-1829)最先找到了解。

五次方程。

之后,伽罗瓦(Galois,就是那个21岁时死于决斗的天才数学家)证明了有些五次多项式是不能用阿贝尔的方法求解的。伽罗瓦的证明中包含了对满足不同根的对称性的寻找,他将这一思想发展到研究一组运算所需满足的一般对称性。现在,这门学科被称为群论,对我们理解许多科学领域中的对称性至关重要。

群伦与对称。

求解三次方程还带来了另一个重要结果,那就是它让人们意识到了理解复数的重要性。我们可以通过研究求解不同的数学问题来追溯数字的历史。

求解类似x+2=3这样的方程,我们只需要自然数1,2,3……求解3x=2这样的方程,我们就需要包含分数在内的有理数了。古希腊的数学家在研究二次方程时就意识到,求解这类方程需要“开平方”,因此还需要发明新的数字。

这时,数学的历史开始发生有趣的转变。那时,人们知道√2的存在是有其几何合理性的,比如它是单位正方形对角线的长度,但是他们很难将这些数字放入有理数系统中的“间隙”中。直到19世纪,数列的“极限”概念有了坚实的基础,才让数学家们完全乐于使用实数。

不过,实数并无法满足所有的三次方程求解,比如当遇到x² = -3这样的情况时,就还需要新的数字,让i² = -1。这便是我们熟悉的虚数概念。如果定义a、b为实数,那么a + bi就是一个复数

还记得上文说到的卡达诺吗?其实早在16世纪后期,他就与工程师邦贝利(Bombelli)一起用塔塔里亚的方法求解了三次方程和二次方程的复数解。

到了19世纪,高斯在《代数基本定理》中指出,所有多项式方程都可解,它们的解都可以表示为复数。这意味着,人们可以不必为了求解多项式方程而寻找新的数字了。

然而,这并不意味着数学家应该停止发明新的数字系统。例 如,汉密尔顿(Hamilton)在19世纪发展的四元数就是复数的一种扩展,现在主要用于计算机图形学。

与复数有关的最重要早期发现或许是由欧拉(Euler)作出的,他证明了复数与三角函数密切相关。这种关联让数学变得格外神秘和迷人,它似乎预示着数学蕴含着无限的能量。他先是引入了所谓的欧拉数,也就是自然常数e,并将它定义为:

欧拉数(自然常数)。

接着,欧拉便用一个恒等式,将e、i和三角函数联系到了一起。

欧拉将自然常数、虚数和三角函数结合到了一起。

研究三次方程的意义还不仅于此。研究三次方程和其他多项式方程的解的曲面,直接导致了代数几何这一数学领域的诞生。对数学感兴趣的人应该都知道,代数几何不仅是一门重要的学科,而且它在计算机绘图、图像处理和图像识别等领域都发挥着重要的作用,所有的这些技术都与计算机辅助设计、机器学习和人工智能有关。

除了这些应用价值之外,代数几何还有一个不得不提的重大意义:在求解费马大定理的过程中,代数几何扮演者至关重要的角色。这个著名的问题是在1637年由费马(Fermat, 1601-1665)提出的。费马大定理说的是,当n>2时,这个方程没有正整数解。    

费马大定理中所涉及到的方程。

费马自己证明了n=4的情况,并希望能获得一个一般情况的证明。后来,欧拉证明了n=3的情况。数百年来,在求解费马大定理的前进道路上诞生了许多伟大的数学。

1995年,数学家安德鲁·怀尔斯(Andrew Wiles)提出了最终的解决方案,为这个研究了400多年的数学问题画上了完美的句号。

(未完待续)


1 2 3
文章转载
Total Page Visits: 316 - Today Page Visits: 1

发表评论

您的电子邮箱地址不会被公开。 必填项已用 * 标注