根据勾股定理,任意直角三角形的两条直角边长
,
,和斜边长
都是含三个未知数的方程
的一组解,而每一组勾股数(例如3,4,5;5,12,13;等)都是这个方程的正整数解.高于二次的方程
,
,
,…是否也有正整数解呢?法国数学家费马经过研究得出结论:当自然数
时,方程
没有正整数解.这个命题的证明引起了世界各国数学家的关注,最终由英国数学家怀尔斯于1995年完成了证明.困扰了数学家300多年历史的数学难题终于得到解决,在解决这一数学难题的过程中,反映了一代代数学家艰苦探索、不屈不挠的科学精神和聪明慧.这个定理的证明被称为“世纪性的成就”.这个定理指的是( )