418年前的今天,1601年8月17日,法国“业余数学家之王”费马出生。
费马为后世所熟知的是他提出的“费马大定理”,这一定理,是他于1637年提出的,一直困扰了数学界300多年,直到1995年,才由英国数学家怀尔斯证明。
整个证明过程极为艰难,几乎是穷了几代数学家的努力,这里面还包括天才数学家欧拉、哥德巴赫、高斯等人,而最后怀尔斯公布的证明过程,有整整130页之多(显然,从追求数学公式的简洁和美的角度来说,这个证明实在是有一点点......笨)。
事实上,费马在提出这一定理的时候,他明确说自己可以证明,并且很美妙:
“关于此,我确信已发现了一种美妙的证法 ,可惜这里空白的地方太小,写不下。”
所以他就没有写,联系到后来几个世纪数学家们的努力,费马可能是史上最欠打的数学家。
这里力荐西蒙·辛格的 《费马大定理》一书,科普性和趣味性都非常强,豆瓣9.2分!