第399章 ICM报告会 六 哥猜报告4

  因为接下来要展示的推导过程，对於他来说，简直简单得令人髮指。

  当初他和拉福格在ihes的白板上完成最终对接时，这一段推理总共就花了不到五分钟。核心公式一共三行，从跡公式两边对等到r(n)＞0的结论，逻辑链条短得像一条推文。

  事实上，在整个数学史上，那些最伟大的证明，往往都有这个特点：前期的准备工作相当漫长而艰苦，但最终的临门一脚，却往往简洁到令人震惊。

  当年安德鲁·怀尔斯在证明费马大定理时，那篇长达一百余页的论文，其中九十多页都是在搭建“模椭圆曲线与伽罗瓦表示“的复杂桥樑。但当桥樑搭建完毕，最终从“谷山-志村猜想“推导到“费马大定理“的那一步，只有短短几行。

  2003年，佩雷尔曼在arxiv上传的那三篇证明庞加莱猜想的论文，真正用来证明猜想本身的段落，加起来不超过五页。剩下的將近一百页，全是在构建“里奇流与手术理论”的技术管道。

  数学家们有时候会开一个黑色幽默的玩笑：证明一个千年难题，就像是花三年时间製造一把钥匙，然后花三秒钟开了一把锁。观眾只看到了那精彩的“咔嗒“一声，却看不到那三年里磨坏了多少把銼刀。

  而现在，徐辰手里已经握著那把銼了两百八十四年的钥匙。

  ……

  整个主厅里，连呼吸声都消失了。

  所有人的身体都不由自主地向前倾斜，生怕错过哪怕一个符號。

  徐辰开始写。

  “根据阿瑟-塞尔伯格跡公式，我们有:”

  tr(Φ_n)=[几何侧]-[谱侧]

  “几何侧，根据我们的构造，它精確地计数了所有满足p?+p?=n的素数对。也就是说——”

  [几何侧]= r(n)+[误差项]