内容提要:
故事入口始于1963年——10岁的安德鲁·怀尔斯在图书馆偶然翻开埃里克·坦普尔·贝尔所著《最后问题》,被费马在《算术》页边写下的那句‘我有一个十分美妙的证明,这里空白太小,写不下’深深吸引,从此埋下毕生追寻的种子。
关键线索锚定在费马原始命题:当n>2时,方程xⁿ+yⁿ=zⁿ不存在正整数解。它并非孤立猜想,而是植根于毕达哥拉斯定理(x²+y²=z²存在无穷多组整数解)的自然延伸,构成数论中‘整数解存在性’这一根本性命题。
观看顺序严格依历史推进:从1670年费马之子出版带批注的《丢番图算术》,到欧拉证n=3、热尔曼处理特殊质数类、拉梅与狄利克雷攻克n=5、拉梅证n=7,再到1847年库默尔指出前人证明因‘虚数缺乏唯一因子分解’而失效——每一次失败都拓展了代数数论疆域。
后续线索转向方法论转折:1900年希尔伯特将费马大定理列入23个重要问题;1931年哥德尔不可判定性定理揭示其可能无法在现有公理体系内证伪或证实;1963年科恩发展力迫法,为判断命题可判定性提供新工具——这些并非旁支,而是怀尔斯最终调用谷山-志村猜想完成证明的深层支撑。
影片最终落点是1994年怀尔斯在剑桥大学三一学院的第二次报告:他绕过库默尔当年指出的障碍,将椭圆曲线与模形式建立对应,使费马大定理成为谷山-志村猜想的推论。这一证明不依赖初等数论,而立足于20世纪后半叶最前沿的数学结构统一性思想。