内容提要:
‘这里空白太小,写不下’——费马的页边批注究竟指什么?
1637年,皮埃尔·德·费马在阅读丢番图《算术》第二卷问题8时,在拉丁文译本页边写下:‘不可能将一个立方数写成两个立方数之和;或者将一个四次幂写成两个四次幂之和;或者,总的来说,不可能将一个高于2次幂写成两个同样次幂的和。’他称自己有‘十分美妙的证明’,但受限于页边空白而未展开。这一批注直至1670年才由其子出版面世,成为后世三世纪数学攻坚的起点。
该命题即xn+yn=zn在n>2时无正整数解,形式简洁却蕴含极端深度。它并非孤立断言,而是对毕达哥拉斯定理(x²+y²=z²存在无穷多组整数解,如3-4-5)的高次否定——当指数从2升至3及以上,整数解彻底消失。这种从‘存在’到‘不存在’的跃迁,构成了全片最根本的问题入口。
为什么怀尔斯的证明要回溯到毕达哥拉斯与椭圆曲线?
影片以1994年安德鲁·怀尔斯在剑桥大学宣布证明为叙事支点,但解说逻辑并非线性铺陈结果,而是逆向锚定两条主线:一是古典线索——从毕达哥拉斯三元组出发,经费马对n=4的隐含证明、欧拉对n=3的攻克、热尔曼对质数型指数的推进,到19世纪拉梅与库默尔因‘虚数唯一因子分解失效’导致的集体失败;二是现代线索——怀尔斯实际借力的是20世纪中叶发展出的谷山–志村猜想,将费马方程解的存在性转化为椭圆曲线模性问题,最终通过里贝特定理建立等价桥梁。
因此,观看顺序需先确认:毕达哥拉斯定理是唯一已知有整数解的幂次案例;费马批注本质是对该特例不可推广性的断言;而怀尔斯路径的成功,恰恰依赖于将数论问题转译为几何与代数对象之间的结构性对应——这正是影片用可视化语言反复强化的关键认知转换。
影片未虚构任何人物身份或未公开的演算细节,所有历史节点均对应可查证事件:1776年索菲·热尔曼的工作、1847年库默尔对理想数的引入、1908年沃尔夫斯凯尔奖金设立、1931年哥德尔不可判定性定理对证明可能性的哲学重估,共同构成一条严丝合缝的史料链。它不提供解题捷径,只呈现人类如何用一代代工具逼近一个看似朴素的命题边界。