数学王冠上的两颗明珠

费马大定理（Fermat's Last Theorem）是数学史上最具传奇色彩的未解之谜之一。1637年，法国律师兼业余数学家皮埃尔·德·费马在阅读丢番图的《算术》时，在书页的空白处写下了这样一段话：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于此，我确信已发现了一种美妙的证法，可惜这里空白的地方太小，写不下。”

定理的表述

用现代数学语言表述，费马大定理即：当整数 n > 2 时，关于 x, y, z 的方程 x^n + y^n = z^n 没有正整数解。

证明历程：从局部到整体

在费马之后，许多杰出的数学家试图证明这一定理，但都未能成功。欧拉证明了 n=3 的情况，柯西证明了 n=5 的情况，勒让德和狄利克雷证明了 n=5 的情况，拉梅证明了 n=7 的情况。然而，随着指数 n 的增大，证明的难度呈指数级增长。

怀尔斯的突破

直到20世纪，英国数学家安德鲁·怀尔斯（Andrew Wiles）才最终证明了这一猜想。怀尔斯的证明并非直接处理费马方程，而是通过证明“半稳定椭圆曲线的谷山-志村猜想”（Taniyama-Shimura conjecture）的特定情况，从而间接证明了费马大定理。这一证明结合了数论、代数几何和模形式等多个数学分支的最新成果，长达100多页，其复杂程度令人叹为观止。

庞加莱猜想（Poincaré Conjecture）是拓扑学中的一个核心问题，由法国数学家亨利·庞加莱于1904年提出。它是克雷数学研究所公布的七个“千禧年大奖难题”之一，解决者可获得100万美元的奖金。

通俗理解

庞加莱猜想涉及三维流形的拓扑性质。简单来说，它的表述是：“任何一个单连通的、闭的三维流形一定同胚于三维球面。” 这句话对非专业人士来说可能晦涩难懂，我们可以用一个通俗的比喻来理解：如果你有一个橡皮做的三维球体，无论你怎么拉伸、扭曲它（只要不撕裂或粘合），它本质上仍然是一个球体。庞加莱猜想试图回答的问题是：在三维空间中，是否存在其他形状，其拓扑性质与球体相同，但在几何上却截然不同？

佩雷尔曼的隐居证明

2002年和2003年，俄罗斯数学家格里戈里·佩雷尔曼（Grigori Perelman）在互联网上发布了三篇预印本，声称证明了庞加莱猜想。他利用理查德·哈密顿发展的里奇流（Ricci flow）方法，解决了这一百年难题。佩雷尔曼的证明不仅确认了庞加莱猜想的正确性，还证明了更广泛的几何化猜想。

令人震惊的是，佩雷尔曼拒绝领取菲尔兹奖（2006年）和克雷数学研究所的百万美元奖金（2010年），并从此消失在公众视野中，继续隐居在圣彼得堡。他的这种淡泊名利的态度，在学术界广为传颂。