费马的页边注
1637年,费马在《算术》页边写道:x^n+y^n=z^n 对 n>2 没有正整数解。声称有个"绝妙证明"但因页边太窄写不下。
x^n+y^n=z^n has no integer solutions for n>2.350年后的证明
1994年,安德鲁·怀尔斯完成证明,1995年发表。使用了椭圆曲线、模形式和伽罗瓦表示等最前沿工具,证明长达100多页。
Proved by Andrew Wiles in 1994.意义
证明了谷山-志村-韦伊猜想(对半稳定椭圆曲线),建立了椭圆曲线与模形式之间的深刻联系。