费马大定理[电影解说]

故事入口始于1963年——10岁的安德鲁·怀尔斯在图书馆翻开埃里克·坦普尔·贝尔所著《最后问题》，被费马在1637年写于丢番图《算术》第二卷页边的一行批注深深吸引：‘xn+yn=zn当n>2时无整数解；我确有一个美妙证法，惜此处空白太小，写不下。’这句未兑现的断言，成为此后358年数学界最执拗的追寻线索。

关键线索按时间轴展开：毕达哥拉斯定理x²+y²=z²存在无穷多组整数解（如3-4-5），构成理解起点；费马宣称该等式在n>2时彻底失效；其子1670年出版带批注的《算术》后，命题正式进入公共验证序列——欧拉证n=3、热尔曼处理一类质数情形、狄利克雷与勒让德合证n=5、拉梅证n=7，直至1847年拉梅与科西宣称‘已证’却遭库默尔指出虚数域中唯一因子分解失效，从而揭示经典方法的结构性边界。

观看顺序严格遵循历史纵深：先确立毕氏三元组的存在性，再对比费马命题的颠覆性；继而梳理17–19世纪分次幂攻克路径，理解‘只需证所有奇质数情形’这一策略转向；重点呈现1908年沃尔夫斯凯尔悬赏与1900年希尔伯特23问的双重推力，以及哥德尔不可判定性定理对‘可证性本身’的哲学重估；最终落点于怀尔斯如何融合模形式与椭圆曲线，在1994年完成谷山–志村猜想的特殊情形证明，间接闭环费马断言。

相关资料锚定原始文本依据：费马批注原文载于1670年拉丁文版《丢番图的算术》；欧拉、热尔曼、库默尔等人的工作均见于18–19世纪数学期刊；怀尔斯证明发表于1995年《数学年刊》，本片解说严格对应公开学术共识，不延伸未证实推论或私人轶事。