世界数学巨匠（三）—费马_【食书周刊】

业余数学家之王—费马...

数学巨匠（三）—费马

1

人物生平

与之前介绍的两位数学巨匠不同，费马的生活条件优越，他的父亲多米尼克·费马在当地开了一家大皮革商店，拥有相当丰厚的产业，使得费马从小生活在富裕舒适的环境中。

17世纪的法国，男子最讲究的职业是当律师，因此，男子学习法律成为时髦，也使人敬羡。有趣的是，法国为那些有产的而缺少资历的“准律师”尽快成为律师创造了很好的条件。1523年，佛朗期瓦一世组织成立了一个专门鬻卖官爵的机关，公开出售官职。这种官职鬻卖的社会现象一经产生，便应时代的需要而一发不可收拾，且弥留今日。法国的买官特产，使许多中产阶级从中受惠，费马也不例外。费马尚没有大学毕业，便在博蒙·德·洛马涅买好了“律师”和“参议员”的职位。等到费马毕业返回家乡以后，他便很容易地当上了图卢兹议会的议员，时值1631年。费马的官场生涯没有什么突出政绩值得称道，不过费马从不利用职权向人们勒索、从不受贿、为人敦厚、公开廉明，赢得了人们的信任和称赞。

与欧拉不同费马一生身体健康，只是在1652年的瘟疫中险些丧命。1665年元旦一过，费马开始感到身体有变，因此于1月l0日停职。第三天，费马去世。费马被安葬在卡斯特雷斯公墓，后来改葬在图卢兹的家族墓地中。

2

费马其人

费马生性内向，谦抑好静，不善推销自己，不善展示自我。因此他生前极少发表自己的论著，连一部完整的著作也没有出版。他发表的一些文章，也总是隐姓埋名。《数学论集》还是费马去世后由其长子将其笔记、批注及书信整理成书而出版的。我们现在早就认识到时间性对于科学的重要，即使在l7世纪，这个问题也是突出的。费马的数学研究成果不及时发表，得不到传播和发展，并不完全是个人的名誉损失，而是影响了那个时代数学前进的步伐。其中就有这么一个例子，费马在写费马定理时，据说由于空白处不够便没有加之证明，但就是这个定理，困扰世界数学家至20世纪末才被美国数学家解决，实为数学界的一大损失。

对费马来说，真正的事业是学术，尤其是数学。费马通晓法语、意大利语、西班牙语、拉丁语和希腊语，而且还颇有研究。语言方面的博学给费马的数学研究提供了语言工具和便利，使他有能力学习和了解阿拉伯和意大利的代数以及古希腊的数学。正是这些，可能为费马在数学上的造诣莫定了良好基础。在数学上，费马不仅可以在数学王国里自由驰骋，而且还可以站在数学天地之外鸟瞰数学。这也不能绝对归于他的数学天赋，与他的博学多才多少也是有关系的。

3

主要贡献

费马在解析几何、光学，数论、微积分学、概率论等方面都有杰出的贡献，而其成果最为巨大的贡献便是在数论这块领域，这也是当时数学界研究的重要一块，欧拉在这块领域也是一样。

17世纪初，欧洲流传着公元三世纪古希腊数学家丢番图所写的《算术》一书。l621年费马在巴黎买到此书，他利用业余时间对书中的不定方程进行了深入研究。费马将不定方程的研究限制在整数范围内，从而开始了数论这门数学分支。费马在数论领域中的成果是巨大的，其中主要有：

费马大定理：n>2是整数，则方程x^n+y^n=z^n没有满足xyz≠0的整数解。这个是不定方程，它已经由美国数学家证明了(1995年)，证明的过程是相当艰深的！

费马小定理：a^p-a≡0(mod p)，其中p是一个素数，a是正整数，它的证明比较简单。事实上它是Euler定理的一个特殊情况，Euler定理是说：a^φ(n)-1≡0(mod n),a，n都是正整数，φ(n)是Euler函数，表示和n互素的小于n的正整数的个数（它的表达式欧拉已经得出，可以在“Euler公式"这个词条里找到）。

另外还有：

(1)全部素数可分为4n+1和4n+3两种形式。

(2)形如4n+1的素数能够，而且只能够以一种方式表为两个平方数之和。

(3)没有一个形如4n+3的素数，能表示为两个平方数之和。

(4)形如4n+1的素数能够且只能够作为一个直角边为整数的直角三角形的斜边；4n+1的平方是且只能是两个这种直角三角形的斜边；类似地，4n+1的m次方是且只能是m个这种直角三角形的斜边。

(5)边长为有理数的直角三角形的面积不可能是一个平方数。

(6)4n+1形的素数与它的平方都只能以一种方式表达为两个平方数之和；它的3次和4次方都只能以两种表达为两个平方数之和；5次和6次方都只能以3种方式表达为两个平方数之和，以此类推，直至无穷。

4

人物评价

由于费马为人实在太过内向低调，以致同时代的数学家对其了解甚少，费马一生从未受过专门的数学教育，数学研究也不过是业余之爱好。然而，在17世纪的法国还找不到哪位数学家可以与之匹敌：他是解析几何的发明者之一；对于微积分诞生的贡献仅次于牛顿、莱布尼茨，概率论的主要创始人，以及独承17世纪数论天地的人。此外，费马对物理学也有重要贡献。一代数学天才费马堪称是17世纪法国最伟大的数学家之一。