莱昂哈德middo;欧是谁为什么几乎每一个数学领域都可以看到他的名字( 三 )


变分法来源于微积分,后来由欧拉和拉格朗日从不同的角度把它发展成一门独立学科,用于求解极值问题 。而变分学起源颇富戏剧性——1696年,欧拉的老师、巴塞尔大学教授约翰·伯努利提出这样一个问题,并向其他数学家挑战:设想一个小球从空间一点沿某条曲线滚落到(不在同一垂直线上的)另外一点,问什么形状的曲线使球降落用时最短 。这就是著名的“最速降线问题”,半年之后仍没人解出,于是伯努利更明确地表示“即使是那些对自己的方法自视甚高的数学家也解决不了这个问题” 。有人说他在影射牛顿,因为伯努利是莱布尼茨的追随者,而莱布尼茨和牛顿正因为微积分优先权的问题在“打仗”,并导致欧洲大陆和英国数学家的分裂 。
当时牛顿任伦敦造币局局长 。有一天他收到一个法国朋友转寄的“挑战书”,于是吃过晚饭后挑灯夜战,天亮前解了出来,匿名发表在剑桥大学《哲学会刊》 。虽是匿名,但约翰·伯努利看到之后惊呼:“从这锋利的爪我认出了这头雄狮 。”后来伯努利兄弟和莱布尼茨也都解出了这个问题,发表在同一期刊物上 。
在这个问题中,变量本身就是函数,因此比微积分的极大极小值问题更为复杂 。这个问题和其他一些类似问题的解决,成为变分法的起源 。欧拉找到了解决这类问题的一般方法,教科书中变分法的基本方程就叫欧拉方程 。
欧拉13岁上大学时,约翰·伯努利已经是欧洲很有名的数学家,伯努利后来对欧拉说,“我介绍高等分析的时候,它还是个孩子,而你正在将它带大成人 。”
李文林说:“除了分析,很多数学领域都绕不开欧拉的名字 。如数论,高斯说数学是科学的皇后,而数论是数学的皇后,其难度和地位可想而知 。”代数数论的形成和费马大定理有很深的关系 。费马17世纪提出的一个猜想——方程,当n≥3时没有整数解 。费马猜想也称费马大定理,费马在提出这一猜想的同时,在纸边写了一句话宣称:“我已找到了一个奇妙的证明,但书边空白太窄,写不下 。”于是费马的证明已成千古之谜 。此后经过300年,直到1993年费马大定理才被英国数学家最终解决 。整个18世纪,数学家们都想解决这个猜想,但只有欧拉作出了唯一的成果,证明了n=3的情况,成为费马大定理研究的第一个突破 。
欧拉是解析数论的奠基人,他提出欧拉恒等式,建立了数论和分析之间的联系,使得可以用微积分研究数论 。后来,高斯的学生黎曼将欧拉恒等式推广到复数,提出了黎曼猜想,至今没有解决,成为向21世纪数学家挑战的最重大难题之一 。
“在几何方面,欧拉解决了哥尼斯堡七桥问题,这也成为图论、拓扑学的滥觞 。”李文林说 。哥尼斯堡曾是德国城市,后属苏联 。普雷格尔河穿城而过,并绕流河中一座小岛而分成两支,河上建了7座桥 。传说当地居民想设计一次散步,从某处出发,经过每座桥回到原地,中间不重复 。李文林说:“这就是今天的‘一笔画’问题,但在当时没人能解决 。欧拉将这个问题变成一个数学模型,用点和线画出网络状图,证明这种走法不存在,解决了哥尼斯堡七桥问题 。对此类问题的讨论研究,事实上引导了图论和拓扑学的发展 。”
拓扑学中的欧拉示性数也溯源于欧拉1752年提出的关于凸多面体的一条定理:在一凸多面体中,顶点数-棱边数+面数=2 。陈省身曾指出欧拉示性数是很多问题和解决办法的来源,对几何学的影响是根本性的 。李文林说:“因为数学好,欧拉得以解决很多其他领域的问题 。物理、力学、天文学、航海、大地测量等等到处都有欧拉的贡献,他是典型的全才数学家 。牛顿、莱布尼茨发明的微积分可以说是‘原生态’,而欧拉18世纪写的文章我们现在依然能读,可以说欧拉等人使得数学特别是分析向现代形式发展 。”