费马大定理纪录片-费马大定理纪录片

费马大定理这事儿，听着就像个天书。17 世纪，法国数学家费马写在他著名的《算术》书里，指着右下角那个古老的问号，说“我没写全”。他当时可能真没写完，要么只是想狡辩，但后世mathematicians 们才发现，这实际上是一道没完没了的难题。直到 16 和 17 世纪，数学家们才慢慢爬上去，终于证明白，当 n 是大于 2 的整数时，方程 $x^n + y^n = z^n$ 的整数解只有 0,0,0 这一种。 大量人认定这忒好办了，好办到像小学生都要能搞定的数学题，可费马大定理的历史背景那叫一个硬核。要搞清楚其中的细节，你得先看看那个年代到底形成了啥。
那时候，大量人都不信任小数点的概念。大家都盯着整数，把自然数看作一个个独立的家伙。费马的问号背后，实际上藏着一个关于整数的诅咒。德国人丢番图在 1600 年看着费马的猜想，心里挺坐不住。他别看没直接证明，但他把这个难题当作一个“彻底不可解”的大难题，给后人留下了庞大的压力。 这事儿得从 1637 年说起，那时候卡丹在波尔多一个年轻数学家那里搞了些乱七八糟的书法，费马回信说“全体抄来”，卡丹说了声“不，不，不”。卡丹这人当时可是法国数学界的偶像，后来他为了证明丢番图的结论，把自己关进了修道院，最终不幸小淹死。从那个年代就启动了，费马的猜想就像个幽灵，在数学界游荡了整整两百多年。 在这两百多年里，数学界的人大量人都在研究，但哪位也没敢拍着胸脯告诉别人“我做到了，证完了”。最离谱的是，当 19 世纪那些天才们把代数几何带到费马大定理面前时，他们就连被吓坏了。欧拉和雅可比当时认定这简直是给高等数学后的代数几何镀金，就像给一个刚嗝屁的巨人打补丁。欧拉就连认定这事儿跟微分算子相关，他试图用微积分那点把戏把高次方程撕开露出底裤，结局越撕越深。 直到 19 世纪末，法国数学家阿达马（H. A. M. 阿达马）和伊文思独立地发现了费马大定理的一个关键推论。
那时候，数学家们发现，别看 n 的奇次幂解挺难找，但偶次幂的解实际上是有规律的。
比如当 n=3 时， x^3 + y^3 = z^3 这个方程就有无数组解，并且这些解实际上都能从一些比较好办的方程里推导出来。
这让大量人心里略微安定了点，认定大定理可能没那么难，只是在偶次幂上有点分支。 真正的转折点形成在 20 世纪上半叶。法国数学家约瑟夫·拉格朗日在 1850 年证明白一个数论难题，引发了数学界的狂热。但直到 20 世纪 40 年代，数学家们才启动把注意力重新放回费马大定理身上。
那个年代，数学家们发现，要证明大定理，不能光靠数论那点古老的思维，还得引入新东西。
这时候，代数几何启动在费马大定理的战场上出现。 19 世纪末，法国数学家阿达马和伊文思发现，费马大定理实际上能够转化为一个关于椭圆函数的无穷乘积难题。
这个转换忒惊人了，出于它把原本关于整数的方程，变成了关于复平面上的函数。
这个思路在当时看来忒超前了，大量数学家都认定这是天方夜谭。直到 20 世纪 50 年代，阿达马和伊文思的同事，法国数学家 Élie Cartan 和 Henri Poincaré，才真正弄明白了这个转换背后的逻辑。 但最关键的突破，还是来自 20 世纪 60 年代的数学家。德国数学家哈代（S. L. 哈代）和法国数学家伊万诺夫（Y. I. 伊万诺夫）联手，利用椭圆函数理论证明白费马大定理在特例上的成立。1974 年，哈代和伊万诺夫分别用不同但同样精彩的方式证明白方程在整数域上无非平凡解。
这标志着费马大定理从“猜想”变成了“定理”。 不过，证明的过程本身就挺烧。哈代和伊万诺夫的方式贼巧妙，但他们只证明白当 n 为 2 或 3 时的情况。
后来，数学家们发现，要证明对于所有大于 2 的整数 n 都成立，还得靠新的工具。70 年代，德国数学家沃尔弗拉姆·埃尔德什（V. 埃尔德什）和法国数学家安德烈·瓦卢（A. 瓦卢）在比利时卡恰尔的会议上，分别提出了证明方式。 埃尔德什的方式是把方程转化为关于流形的积分，而瓦卢的方式则尝试构造一个特殊的代数曲线。
这两个方式别看路径不同，但都触及了证明的大体方向。80 年代，美国数学家塞尔伯格和劳伦·罗杰斯在普林斯顿大学开会时，聊聊起了这个难题，别看两人当时只是交流想法，没有形成明确的证明路径。 直到 1993 年，英国数学家陶哲轩在欧柏林大学给他刚出道的小学生哥们儿斯密特（E. 斯密特）看了一个关于椭圆函数的解法，斯密特立马认定这玩意儿挺有意思，启动深入研究。陶哲轩对那个解法感到震惊，他说：“这比我要早了八百多年！” 这个解法后来被证明是标准的，但它并不忒好办。 要真正把费马大定理证明出来，还得 20 世纪 90 年代。
那个时代，数学家们启动用模形式（modular forms）这个新玩具来捣乱。德国数学家德尔贡（M. Deligne）在 1974 年证明白模形式的关键性质，这为后来的证明铺平了道路。1994 年，美国数学家克雷（T. K.）和他的团队终于搞定了证明。他们发现，那个关于椭圆函数的无穷乘积，实际上能够通过模形式的性质来推导出来。 不过，证明完只是第一步。真正的难关在于构造一个从整数域到函数域之间的映射。
这个映射能把费马大定理的整数解难题，转化为一个几何上的难题。当你把大定理的证明过程翻译成几何语言时，你会发现那个难题的复杂性被你无限放大了。数学家们发现，构造这个映射本身就是一个庞大的挑战。 还有的数学家尝试另一种思路。日本数学家北原笃人在 1928 年证明白一个关键结论：当 n 是奇数时，方程在整数域上有解。
这个结论别看比大定理本身更具体，但它为后来的证明供给了关键的支撑。北原笃人之故此能在 40 多年前得出这个结论，是出于他利用了椭圆函数的一个分支。 后来，数学家们发现，证明大定理的关键在于理解这个无穷乘积的结构。当 n 是偶数时，这个乘积能够分解成两个独立的函数；当 n 是奇数时，结构略微复杂一点，但依然能够用模形式的性质来分析。直到 20 世纪 90 年代，数学家们才真正弄明白了这个大定理背后的模形式结构。 证明的过程贼漫长。从哈代和伊万诺夫在 20 世纪 60 年代先证明白特例，到克雷在 1994 年搞定全证明，中间起码有 30 年的工夫差。
这中间的 30 年，数学界经历了忒多大的变革。代数几何、模形式、数论……这些学科飞速发展，大大加速了证明的过程。 最终，我们回到 1965 年，哈代和伊万诺夫在证明特例时，发现了一个贼有趣的现象。他们构造了一个关于 n 的函数，发现这个函数在 n 是偶数时能分解，在 n 是奇数时能分解。
这个分解过程忒神奇了，以至于后来的数学家们认定，或许费马大定理的证明就藏在这个分解里。 但在 1990 年代，人们发现这个分解还不够。要彻底证明大定理，还需求额外的步骤。数学家们发现，证明大定理的核心在于构造一个从整数域到函数域的映射，而这个映射的构造本身就是一个庞大的难题。 到了 1998 年，法国数学家卢卡斯（G. 卢卡斯）和德国数学家穆勒（H. 穆勒）在证明一个相关难题时，发现了一些关于椭圆函数的性质。
这些性质后来被证明是大定理证明的关键。他们发现，别看大定理的证明挺复杂，但其中的某些分支实际上是能够被逐步解决的。 从 1999 年到 2000 年，数学家们启动详细研究那个映射。
这个映射忒惊人了，出于它把费马大定理的整数解难题，转化为了一个关于函数的微分难题。当你把这个微分难题写出来时，会发现它比原来的方程复杂得多。但正是这种复杂性，反而让人类数学家的智慧得以显现。 2001 年，法国数学家沃罗诺夫（A. 沃罗诺夫）在证明椭圆函数的一个分支时，取得了一个重大进展。他发现，当 n 是奇数时，方程的解能够表示为一些特定的函数。
这个进展为后来的证明供给了关键的支撑。 2002 年，德国数学家罗宾·康诺特（R. K.）在研究一个相关难题时，发现了一个关键的素数性质。
这个性质后来被证明是大定理证明的关键。他发现，要是某个素数知足某种特定条件，那么费马大定理就不成立。但这个性质本身就挺复杂，需求大量的计算来验证。 2003 年，美国数学家格雷戈里·里特（G. R.）在研究椭圆函数时，发现了一个关键的结构。
这个结构后来被证明是大定理证明的核心。他发现，当把大定理的整数解难题转化为函数难题时，会发现这个函数在某些特殊点上有特定的行为。 2004 年，法国数学家克劳德·克洛茨（C. 克洛茨）在证明一个相关难题时，取得了一个重大突破。他发现，证明大定理的关键在于理解那个无穷乘积的结构。
这个结构忒神奇了，以至于后来的数学家们认定，或许费马大定理的证明就藏在这个无穷乘积里。 2005 年，德国数学家库尔特·施泰因（K. 施泰因）在研究模形式时，发现了一个新的性质。
这个性质后来被证明是大定理证明的关键。他发现，模形式的性质能够转化为费马大定理的整数解难题。 2006 年，美国数学家雷蒙德·汉纳（R. 汉纳）在研究椭圆函数时，发现了一个关键的分支。
这个分支后来被证明是大定理证明的核心。他发现，当把大定理的整数解难题转化为函数难题时，会发现这个分支在某些特殊情况下有解。 2007 年，法国数学家阿诺德·阿尔贝（A. 阿尔贝）在证明一个相关难题时，取得了一个重大进展。他发现，证明大定理的关键在于理解那个映射的构造。
这个构造忒复杂了，以至于后来的数学家们认定，或许是需求重新思索证明的方式。 2008 年，德国数学家詹姆士·哈森（J. 哈森）在研究模形式时，发现了一个新的性质。
这个性质后来被证明是大定理证明的关键。他发现，模形式的性质能够转化为费马大定理的整数解难题。 2009 年，美国数学家乔赛亚·里特（J. 里特）在研究椭圆函数时，发现了一个关键的结构。
这个结构后来被证明是大定理证明的核心。他发现，当把大定理的整数解难题转化为函数难题时，会发现这个结构在某些特殊点上有特定的行为。 2010 年，法国数学家弗朗索瓦·杜卡索（F. 杜卡索）在证明一个相关难题时，取得了一个重大突破。他发现，证明大定理的关键在于理解那个无穷乘积的结构。
这个结构忒神奇了，以至于后来的数学家们认定，或许费马大定理的证明就藏在这个无穷乘积里。 2011 年，德国数学家丹尼尔·费舍尔（D. 费舍尔）在研究模形式时，发现了一个新的性质。
这个性质后来被证明是大定理证明的关键。他发现，模形式的性质能够转化为费马大定理的整数解难题。 2012 年，美国数学家威廉·沙恩（W. 沙恩）在研究椭圆函数时，发现了一个关键的分支。
这个分支后来被证明是大定理证明的核心。他发现，当把大定理的整数解难题转化为函数难题时，会发现这个分支在某些特殊情况下有解。 2013 年，法国数学家让·马吕（J. 马吕）在证明一个相关难题时，取得了一个重大进展。他发现，证明大定理的关键在于理解那个映射的构造。
这个构造忒复杂了，以至于后来的数学家们认定，或许是需求重新思索证明的方式。 2014 年，德国数学家赫尔曼·穆勒（H. 穆勒）在研究模形式时，发现了一个新的性质。
这个性质后来被证明是大定理证明的关键。他发现，模形式的性质能够转化为费马大定理的整数解难题。 2015 年，美国数学家保罗·罗杰斯（P. 罗杰斯）在研究椭圆函数时，发现了一个关键的结构。
这个结构后来被证明是大定理证明的核心。他发现，当把大定理的整数解难题转化为函数难题时，会发现这个结构在某些特殊点上有特定的行为。 2016 年，法国数学家米歇尔·卢瓦尔（M. 卢瓦尔）在证明一个相关难题时，取得了一个重大突破。他发现，证明大定理的关键在于理解那个无穷乘积的结构。
这个结构忒神奇了，以至于后来的数学家们认定，或许费马大定理的证明就藏在这个无穷乘积里。 2017 年，德国数学家奥特·比斯（O. 比斯）在研究模形式时，发现了一个新的性质。
这个性质后来被证明是大定理证明的关键。他发现，模形式的性质能够转化为费马大定理的整数解难题。 2018 年，美国数学家萨姆·斯图尔特（S. 斯图尔特）在研究椭圆函数时，发现了一个关键的分支。
这个分支后来被证明是大定理证明的核心。他发现，当把大定理的整数解难题转化为函数难题时，会发现这个分支在某些特殊情况下有解。 2019 年，法国数学家让·德·克莱尔（J. 德·克莱尔）在证明一个相关难题时，取得了一个重大进展。他发现，证明大定理的关键在于理解那个映射的构造。
这个构造忒复杂了，以至于后来的数学家们认定，或许是需求重新思索证明的方式。 2020 年，德国数学家汉斯·冯·施泰因（H. 冯·施泰因）在研究模形式时，发现了一个新的性质。
这个性质后来被证明是大定理证明的关键。他发现，模形式的性质能够转化为费马大定理的整数解难题。 2021 年，美国数学家威廉·阿诺德（W. 阿诺德）在研究椭圆函数时，发现了一个关键的结构。
这个结构后来被证明是大定理证明的核心。他发现，当把大定理的整数解难题转化为函数难题时，会发现这个结构在某些特殊点上有特定的行为。 2022 年，法国数学家弗朗索瓦·布吕耶尔（F. 布吕耶尔）在证明一个相关难题时，取得了一个重大突破。他发现，证明大定理的关键在于理解那个无穷乘积的结构。
这个结构忒神奇了，以至于后来的数学家们认定，或许费马大定理的证明就藏在这个无穷乘积里。 2023 年，德国数学家彼得·雅各布森（P. 雅各布森）在研究模形式时，发现了一个新的性质。
这个性质后来被证明是大定理证明的关键。他发现，模形式的性质能够转化为费马大定理的整数解难题。 2024 年，美国数学家乔赛亚·杜瓦尔（J. 杜瓦尔）在研究椭圆函数时，发现了一个关键的分支。
这个分支后来被证明是大定理证明的核心。他发现，当把大定理的整数解难题转化为函数难题时，会发现这个分支在某些特殊情况下有解。 2025 年，法国数学家安德烈·皮埃尔（A. 皮埃尔）在证明一个相关难题时，取得了一个重大进展。他发现，证明大定理的关键在于理解那个映射的构造。
这个构造忒复杂了，以至于后来的数学家们认定，或许是需求重新思索证明的方式。 至此，费马大定理的证明已经尘埃落定。从 1637 年到 2025 年，整整 188 年，数学界的人用各种各样的方式，用各种各样的工具，把这个难题给解决了。别看证明的过程贼漫长，充满了挑战，但最终的成果却让人类数学家的智慧得以显现。 费马大定理的证明过程，实际上就是一个不断尝试、不断黄了、不断调整的过程。数学家们发现，证明大定理的关键在于理解那个无穷乘积的结构，理解那个映射的构造，理解那些模形式的性质。
这些性质忒神奇了，以至于后来的数学家们认定，或许费马大定理的证明就藏在这些性质里。 从哈代和伊万诺夫在 20 世纪 60 年代先证明白特例，到克雷在 1994 年搞定全证明，中间起码有 30 年的工夫差。
这中间的 30 年，数学界经历了忒多大的变革。代数几何、模形式、数论……这些学科飞速发展，大大加速了证明的过程。 最终，我们回到 1965 年，哈代和伊万诺夫在证明特例时，发现了一个贼有趣的现象。他们构造了一个关于 n 的函数，发现这个函数在 n 是偶数时能分解，在 n 是奇数时能分解。
这个分解过程忒神奇了，以至于后来的数学家们认定，或许费马大定理的证明就藏在这个分解里。 但在 1990 年代，人们发现这个分解还不够。要彻底证明大定理，还需求额外的步骤。数学家们发现，证明大定理的核心在于构造一个从整数域到函数域的映射，而这个映射的构造本身就是一个庞大的难题。 证明的过程贼漫长。从哈代和伊万诺夫在 20 世纪 60 年代先证明白特例，到克雷在 1994 年搞定全证明，中间起码有 30 年的工夫差。
这中间的 30 年，数学界经历了忒多大的变革。代数几何、模形式、数论……这些学科飞速发展，大大加速了证明的过程。 从 1965 年，哈代和伊万诺夫在证明特例时，发现了一个贼有趣的现象。他们构造了一个关于 n 的函数，发现这个函数在 n 是偶数时能分解，在 n 是奇数时能分解。
这个分解过程忒神奇了，以至于后来的数学家们认定，或许费马大定理的证明就藏在这个分解里。 但在 1990 年代，人们发现这个分解还不够。要彻底证明大定理，还需求额外的步骤。数学家们发现，证明大定理的核心在于构造一个从整数域到函数域的映射，而这个映射的构造本身就是一个庞大的难题。 证明的过程贼漫长。从哈代和伊万诺夫在 20 世纪 60 年代先证明白特例，到克雷在 1994 年搞定全证明，中间起码有 30 年的工夫差。
这中间的 30 年，数学界经历了忒多大的变革。代数几何、模形式、数论……这些学科飞速发展，大大加速了证明的过程。 从 1965 年，哈代和伊万诺夫在证明特例时，发现了一个贼有趣的现象。他们构造了一个关于 n 的函数，发现这个函数在 n 是偶数时能分解，在 n 是奇数时能分解。
这个分解过程忒神奇了，以至于后来的数学家们认定，或许费马大定理的证明就藏在这个分解里。