英数学家用反证法证明「费马定理」

【合众国际社纽约６月２７日电】《纽约时报》今天发表社论说，又一位大胆的数学家认为自己证明了“费马最后定理”。
“费马最后定理”表面上十分简单。每一个学过几何的人都知道直角三角形斜边的平方与两直角边平方之间的古老公式，即ａ的二次方＋ｂ的二次方＝ｃ的二次方。但是，１７世纪的法国数学家皮埃尔·德一费马认为这个公式在高次方时无法成立，即不存在正整数ａ、ｂ、ｃ适合ａ的三次方＋ｂ的三次方＝ｃ的三次方这一方程或者次方更高的类似方程。该定理表述简单，但一直无人能够证明。
在普林斯顿大学任教的英国数学家安德鲁
·怀尔斯指出，根据被称作“谷山推测”的相关理论，不可能存在某种椭圆曲线。由于椭圆曲线是由费马方程的解构成的，这些解也就不存在，于是“费马最后定理”必定成立。《纽约时报》说，如果说怀尔斯证明了这个定理，这将是利用反证法解决数学难题的无与伦比的功绩。
《纽约时报》说，即使怀尔斯是正确的，但数学史上最令人费解的迷题仍不会就此水落石出，费马提出的这个定理使自己成为一代又一代为此孜孜以求而不得其解的数学天才中的第一人。