数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 66|回复: 0

数学史上那个被忽略的转折点:为什么狄利克雷比高斯更重要?

[复制链接]
发表于 2026-3-17 19:07 | 显示全部楼层 |阅读模式
数学史上那个被忽略的转折点:为什么狄利克雷比高斯更重要?

原创  南方 Er  南方 Er  2026 年 3 月 3 日 11:38  广东



你有没有想过,为什么安德烈·韦伊那本著名的数论史,写到勒让德就停了?

书名很老实:《从汉谟拉比到勒让德》。按说后面还有高斯——那位 24 岁写完《算术研究》就封神的人物,随便拎一节出来都够别人琢磨一辈子。但韦伊偏不往下写。

这事我琢磨过很多年。后来读到一段话,豁然开朗。


韦伊

韦伊(André Weil)比谁都清楚:现在还不到总结高斯的时候。他自己就是在读《算术研究》时找到灵感的——后来提出韦伊猜想,改变了整个二十世纪代数几何的走向。

三十年后,又出了个叫曼朱尔·巴尔加瓦(Manjul Bhargava)的年轻人,也是在《算术研究》里翻到一篇老文章,顺手把高斯当年的复合律工作往前推了一大步,拿了菲尔兹奖。我猜他拿到奖杯的时候,心里想的可能还是高斯两百年前那张稿纸。

一本两百年前的书,到现在还能生儿子。你怎么总结?没法总结。

但韦伊不写高斯,还有一个更深的理由。


高斯

旧世界的最后一人

说起来,高斯和勒让德其实是同一类人。


勒让德

勒让德(Adrien-Marie Legendre)一辈子扑在数论上。他琢磨素数分布——就是问“小于 N 的素数大概有多少个”——琢磨了几十年,最后猜出一个公式,后来被证明是对的。他还琢磨二次互反律,那玩意儿被称为数论的明珠,他自己证了一半,后来高斯给补全了。勒让德的工作方式很老派:一头扎进数字堆里,算啊算,然后从海量特例里提炼出规律。他是经验主义大师,像十八、十九世纪那帮探险家,亲自划着船去丈量数学的每一条河流。


欧拉

欧拉(Leonhard Euler)也是。他算起数来像喝水一样自然,光是他留下的手稿,后人整理了七十年还没整理完。你看欧拉的论文,经常是先算几十个例子,然后“啊哈,我猜规律是这样的”,然后才给出证明。有时候他连证明都懒得写,直接说“这显然是成立的”——然后往往是对的。

高斯(Carl Friedrich Gauss)更是。他计算能力恐怖得离谱,十九岁就发现质数定理的猜想,靠的是什么?亲手算了几千个素数,一个挨着一个,然后盯着它们看。他写《算术研究》的时候,里面全是具体的例子,具体的计算,具体的公式。我有时候觉得,那本书更像一本探险日志,记录着一个人在数字丛林里走过的每一条路。

他们是旧世界的巅峰,但不是新世界的开端。

拉开新世界大门的,是另一个名字。

狄利克雷。


狄利克雷

那个站在高斯肩上,却看向别处的人

彼得·古斯塔夫·勒热纳·狄利克雷(Peter Gustav Lejeune Dirichlet),德国人,高斯最狂热的粉丝。他这辈子干了一件很矛盾的事:一边把高斯的《算术研究》翻来覆去地读,读到能背下来;一边却做了一件他偶像没做的事——把数学的玩法彻底换了。

闵可夫斯基(Hermann Minkowski)有句话形容他,我一直觉得是数学史上最精准的评价之一:

“他用最少的盲目公式,连接起最多的有思想的内容。”

什么意思?

你看勒让德、欧拉他们工作,是一种玩法。面对一堆数字,他们像探险家,亲自下水,摸清每一条暗流,然后画出一张粗糙的地图。这个玩法需要体力,需要耐心,需要一双好眼睛。他们干得漂亮极了。

狄利克雷换了一种玩法:他不下水了。他站在岸上,琢磨这河的流向为什么是这样,能不能用一种更抽象的方式描述所有河的共同规律。他不是画地图的人,他是研究水文学的人。

换句话说,他从归纳现象,转向搭建框架。

这事听起来有点玄,但他做的那个工作,你一听就懂。

一个等差数列,藏着什么秘密?

1837 年,狄利克雷证明了一个定理。

定理本身很好懂:如果 a 和 d 互质,那么在数列

a , a+d , a+2d , a+3d , …

这个等差数列里,有无穷多个素数。

举个例子:除以 5 余 3 的数—— 3 , 8 , 13 , 18 , 23 , 28 , 33 , 38 , 43 …… 这里面,3 是素数,13 是,23 是,43 是,再往下走,73 也是。一直走下去,永远会有新的素数冒出来。

欧几里得两千年前就证明过素数有无穷多个。但把素数框在某个固定的等差数列里,还能无穷多?这事没人知道怎么证。你可能会想,是不是所有等差数列里都这样?不是。比如除以 4 余 2 的数—— 2 , 6 , 10 , 14 ……这里面除了 2 本身,再没别的素数了。所以“互质”这个条件很关键。

狄利克雷想了个招。

两个工具,一场革命

他发明的第一个东西,叫“狄利克雷特征”。

你可以把它理解成一个筛子,或者一个有特殊规则的滤镜。把一堆整数扔进去,它能精准地挑出那些落在特定等差数列里的数——比如“除以 5 余 3 的那些”。这个筛子用到了单位根——就是那些满足 x^k=1 的复数。你可能会问,复数跟素数有什么关系?狄利克雷说,有关系。他把复数、三角函数、同余算术全搅在一起,硬是造出了这个筛子。你猜怎么着?勒让德符号其实就是模奇素数的狄利克雷实特征。这个看似简单的结论,在数论里却像一根看不见的线,把二次剩余那些老底子——比如判断一个数是不是平方——和狄利克雷 L 函数这种高大上的解析工具,牢牢地缝在了一起。

光有筛子不够。他又搬来第二个东西:欧拉以前用过的一个函数。

欧拉(Euler)当年研究素数分布时,引入过一个级数:



欧拉当年盯着这个级数,突然灵光一闪:他把求和变成了连乘,写成欧拉乘积公式,其中每个因式为[1-p^(-s)]^(-1) ,而 p 跑遍了所有素数。就这么一个等式,把分析学的级数和数论的素数紧紧绑在了一起。这个发现后来成了解析数论的起点。狄利克雷把这个函数改造了一下,把筛子塞进去,变成“狄利克雷 L-函数”:



这里的 χ 就是那个筛子。

然后他把两个工具焊在一起。

你想证明等差数列里素数有无穷多?你得先证明这个 L-函数在 s=1 的地方不会爆炸——专业说法叫“不趋于无穷大”。而证明 L-函数不爆炸,又需要用到这个筛子把数字分类。筛子、函数、分析、代数,绕了一大圈,最后回到原来的问题。

在当时看来,这简直是疯了。

一个纯整数问题——素数在哪儿——狄利克雷硬是用微积分、无穷级数、复数这些看起来八竿子打不着的东西给证了。他做的事,不是“算”,而是“搭了一个框架”,让问题在这个框架里变得可解。

你可能会问:费那么大劲,就为了证这个?

是的。但他留下的那个框架,后来长成了一片森林。

一棵树,怎么长成一片森林?

狄利克雷自己只用这套工具证了那个定理。他就像种下一棵树,然后走了。

后来的人发现,这棵树能长。

第一层,是他自己处理的那个简单情况——相当于用一个粗糙的探测器,探测到了最明显的信号。探测器响了一下,狄利克雷说,够了,我证完了。



而解释这个公式,正好用得上狄利克雷发明的那些“特征”。这是给狄利克雷的发现找到了一个完整的理论归宿。高木贞治后来回忆说,他读狄利克雷的论文时,有一种“原来路早就铺好了”的感觉。

第三层,就是现在的朗兰兹纲领了。


罗伯特·朗兰兹

朗兰兹的梦

朗兰兹纲领是什么?你可以这么理解:

狄利克雷的那个探测器,只能探测一类特殊的扩张——交换的、阿贝尔的。好比只能听到单一乐器的声音。小提琴就小提琴,长笛就长笛,分得清,但听不到整个乐队。

朗兰兹想做的事,是做一个能探测所有扩张的超级探测器——非交换的、更复杂的,好比听整个交响乐团。

他猜想:宇宙中所有由“动机”(可以粗暴理解为某种几何对象)自然产生的 L-函数,和另一类由“自守表示”(可以理解为某种无穷维空间上的波动)产生的 L-函数,其实是同一个东西的两张脸。

这尊罗马神话里的双面神雅努斯,一面看向算术,一面看向分析。



你可能听说过“拉马努金猜想”被证明的故事——那就是朗兰兹纲领的一个小小胜利。你可能也听说过“谷山-志村猜想”被证明的故事——怀尔斯证费马大定理用的那个——那也是朗兰兹纲领的一角。这个纲领像一张巨大的网,把数论、代数几何、表示论、调和分析全罩进去了。

你说这是做梦?是的。但这个梦,把过去一百年最聪明的头脑全吸进去了。安德烈·韦伊做过这个梦,罗伯特·朗兰兹(Robert Langlands)本人还在做,现在全世界有几百号数学家跟着一起做。

回到开头的问题

所以韦伊为什么写到勒让德就停了?

因为勒让德是旧世界的最后一人。他的书,是探险时代的终点。在那之后,狄利克雷打开了新世界的大门——不是归纳现象,而是搭建框架;不是计算,而是图景。

我有时候想,韦伊选勒让德做终点,是不是还有一层意思:勒让德一辈子都在追赶别人——追赶拉格朗日,追赶高斯,最后他的很多成果都被高斯盖过了。但他身上有旧世界最纯粹的东西:对数字本身的爱。他算了一辈子数,猜了一辈子公式,没猜中的那些,后人帮他证了。这是一种古典的命运。

高斯呢?高斯是那个站在门槛上的人。一只脚踩在旧世界,一只脚踩在新世界。他的《算术研究》里既有旧世界的经验主义——几千个具体例子,几十张计算表格——也有新世界的影子——那些抽象的概念,那些后来长成参天大树的种子。他太复杂了,没法被任何一本书“总结”。



狄利克雷种下一棵树。

类域论把这棵树养大,理解了它的生长规律。

朗兰兹纲领梦想着,整片森林都遵循某种终极法则。

树还在长。

前些年,有人证明了 L-函数的一些普遍性质,用的是朗兰兹纲领里的方法。又有人发现,某些看起来完全不相干的几何对象,它们的计数函数居然满足同样的函数方程。这些东西,狄利克雷当年一个都没见过。但你去读他 1837 年的那篇论文,那些符号,那些思路,那些把不同领域强行焊在一起的胆量——全在那里了。

你问这个故事告诉我们什么?

我想狄利克雷自己可能会说:别只埋头计算,抬头看看。也许有更好的方式理解这个世界。他当年站在一堆数字面前,没想着一个一个数下去,而是问自己:能不能造一个筛子,让数字自己告诉我答案?

他造了。筛子还在用。

那个被忽略的转折点,其实一直都在那儿。只是我们习惯了仰望高斯,忘了回头看一眼站在他身后的人。

南方 Er

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2026-3-24 17:08 , Processed in 0.146130 second(s), 17 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表