费马大定理/皮埃尔·德·费马
< 费马大定理
皮埃尔·德·费马 (1601–1665) - 法国法官。
尽管他的法官工作非常繁忙，但费马仍然找到了时间以最有利的方式致力于数学的研究。尽管他不是受过训练的专业数学家，但费马在函数研究和数论方面做出了重要贡献。费马与那个时代的各种数学家保持着密切的通信，但他的天性内敛，以及对公布自己发现的明显不愿，导致他的天才在他去世很久之后才被发现，当时他的儿子决定收集他父亲的论文并将其公开。费马在研究亚历山大城的丢番图 (公元212年至298年) 的《算术》时，构思了这个著名的谜题。丢番图的书汇集了许多关于数学家们几个世纪以来面临的问题的完整解决方案的优雅证明；在阅读关于勾股三元组的部分时，人们推测费马可能产生了将 2 的幂扩展到一般 n 的想法。费马在书中写了一个关于他著名定理的说明，然后补充道
Cuius rei demonstrationem mirabilem sane detexi hanc marginis exiguitas non caperet.
- [我发现了一个真正奇妙的证明，但这里没有足够的空间容纳它。]
费马习惯在他的书上做注释：许多定理都写在空白处，一般没有证明。这些定理的证明在某些情况下很简单，而在另一些情况下则需要艰苦的工作。这个最后定理之所以得名，是因为它是费马定理中最后一个被证明的定理，而不是因为它是最后一个被提出的定理。更准确地说，它的名字是不正确的：直到 1994 年被证明，它严格来说是一个猜想，而不是一个定理。然而，大多数数学家都使用这个名字：事实上，他们认为它是正确的，尽管无法证明它，因为费马的大多数断言已经被证明是正确的。不用说，这些事实不足以将一个猜想变成一个定理，但大多数数学家在这个特定情况下，没有过多地关注这个问题。