페르마의 마지막 정리 증명

페르마의 마지막 정리 증명 - 수학 역사상 가장 유명한 난제는 어떻게 해결되었나

페르마의 마지막 정리는 수학사에서 가장 유명한 난제 중 하나입니다. 문제 자체는 매우 간단해 보입니다. 중학교 수준의 지수와 방정식을 알고 있다면 누구나 문장의 의미를 이해할 수 있습니다. 그러나 이 정리를 실제로 증명하는 일은 전혀 간단하지 않았습니다. 17세기 프랑스의 수학자 피에르 드 페르마가 남긴 짧은 메모에서 시작된 이 문제는 약 350년 동안 수많은 수학자들을 괴롭혔고, 결국 20세기 말 앤드루 와일스의 증명으로 해결되었습니다. 이 과정은 단순히 하나의 방정식을 증명한 사건이 아니라, 정수론과 대수기하학, 모듈러 형식, 타원곡선 이론이 결합된 현대 수학의 거대한 성과로 평가됩니다.

페르마의 마지막 정리는 다음과 같은 명제로 표현됩니다. 자연수 $n$이 2보다 클 때, 다음 방정식을 만족하는 양의 정수 $x$, $y$, $z$는 존재하지 않는다는 것입니다.

$$x^n + y^n = z^n$$

이 명제는 피타고라스 정리와 밀접한 관계를 갖고 있습니다. 피타고라스 정리는 직각삼각형의 세 변에 대해 $x^2 + y^2 = z^2$가 성립한다는 내용입니다. 실제로 $3^2 + 4^2 = 5^2$처럼 정수 해가 존재합니다. 하지만 지수가 3 이상으로 올라가면 상황이 완전히 달라집니다.

페르마의 마지막 정리는 $x^3 + y^3 = z^3$, $x^4 + y^4 = z^4$, $x^5 + y^5 = z^5$와 같은 방정식에서는 양의 정수 해가 존재하지 않는다고 말합니다. 표현은 단순하지만, 이 명제를 모든 $n > 2$에 대해 증명하는 것은 오랜 세월 동안 수학계의 핵심 과제로 남아 있었습니다.

페르마의 마지막 정리란 무엇인가

페르마의 마지막 정리를 정확히 이해하려면 먼저 이 정리가 다루는 대상이 무엇인지 구분해야 합니다. 이 정리는 실수나 복소수 전체에 대한 방정식이 아니라, 양의 정수 해의 존재 여부를 다루는 정수론 문제입니다. 즉, 분수나 소수, 음수, 무리수까지 허용하는 문제가 아니라 $1, 2, 3, 4$와 같은 자연수 범위에서 방정식이 성립할 수 있는지를 묻습니다.

정리의 핵심 내용을 정리하면 다음과 같습니다.

• 정리 이름: 페르마의 마지막 정리
• 기본 방정식: $x^n + y^n = z^n$
• 조건: $x$, $y$, $z$는 양의 정수
• 지수 조건: $n$은 2보다 큰 자연수
• 결론: 위 조건을 만족하는 해는 존재하지 않음
• 관련 분야: 정수론, 대수기하학, 타원곡선, 모듈러 형식
• 최종 증명자: 앤드루 와일스
• 증명 완성 시기: 1990년대 중반

피타고라스 방정식 $x^2 + y^2 = z^2$에는 수많은 정수 해가 있습니다. 이를 피타고라스 수라고 합니다. 예를 들어 $3^2 + 4^2 = 5^2$, $5^2 + 12^2 = 13^2$, $8^2 + 15^2 = 17^2$ 등이 있습니다. 하지만 지수가 3 이상이 되면 같은 구조의 정수 해가 존재하지 않는다는 것이 페르마의 주장입니다. 이처럼 지수 하나가 바뀌었을 뿐인데 문제의 성격이 극단적으로 어려워진다는 점이 이 정리의 매력입니다.

페르마가 남긴 유명한 메모

페르마의 마지막 정리는 페르마가 고대 그리스 수학자 디오판토스의 책을 읽다가 여백에 남긴 메모에서 비롯되었습니다. 페르마는 이 정리에 대해 “놀라운 증명을 발견했지만, 여백이 너무 좁아 적을 수 없다”는 취지의 말을 남겼다고 알려져 있습니다. 이 문장은 수학사에서 가장 유명한 문장 중 하나가 되었습니다. 왜냐하면 페르마가 실제로 완전한 증명을 알고 있었는지, 아니면 특정한 경우에 대한 증명을 일반화했다고 착각했는지 확실히 알 수 없기 때문입니다.

페르마가 남긴 주장 자체는 명료했습니다. 그러나 그가 말한 “놀라운 증명”은 끝내 발견되지 않았습니다. 이후 수학자들은 이 정리를 증명하기 위해 다양한 방법을 시도했습니다. 일부 지수에 대해서는 증명이 성공했지만, 모든 $n > 2$에 대해 일반적으로 증명하는 것은 매우 어려웠습니다. 특히 이 문제는 단순한 계산이나 초등적인 대수 변형만으로 해결될 수 있는 수준을 넘어섰습니다.

페르마의 메모가 중요한 이유는 다음과 같이 정리할 수 있습니다.

• 단순한 방정식 하나가 수학사 최대 난제로 발전함
• 정수론의 발전을 촉진하는 핵심 문제로 작용함
• 여러 세대의 수학자들이 부분 증명을 축적함
• 현대 수학의 추상 이론들이 연결되는 계기가 됨
• 최종 증명 과정에서 타원곡선과 모듈러 형식의 관계가 결정적 역할을 함

결국 페르마의 마지막 정리는 한 수학자의 메모에서 출발했지만, 수학 전체의 구조를 확장시키는 방향으로 발전했습니다. 이 점에서 이 정리는 단순한 퍼즐이 아니라 수학의 역사적 진화를 상징하는 문제라고 할 수 있습니다.

왜 $n = 2$일 때는 가능하고 $n > 2$일 때는 불가능한가

페르마의 마지막 정리를 이해할 때 가장 먼저 떠오르는 질문은 “왜 제곱은 가능한데 세제곱부터는 불가능한가”입니다. $n = 2$일 때는 피타고라스 정리의 형태가 됩니다. 이 경우에는 정수 해가 무수히 많습니다. 대표적으로 $3, 4, 5$는 다음과 같이 성립합니다.

$$3^2 + 4^2 = 5^2$$

계산하면 $9 + 16 = 25$이고, 이는 $5^2 = 25$와 같습니다. 따라서 $n = 2$에서는 정수 해가 존재합니다. 그러나 $n = 3$으로 바꾸면 같은 방식의 예를 찾을 수 없습니다. 아무리 많은 수를 대입해도 $x^3 + y^3 = z^3$을 만족하는 양의 정수 해는 나오지 않습니다. $n = 4$, $n = 5$ 등에서도 마찬가지입니다.

이 차이는 단순히 숫자가 커졌기 때문이 아닙니다. 제곱의 세계와 세제곱 이상의 세계는 정수 구조에서 매우 다른 성질을 가집니다. 제곱수들은 기하적으로 직각삼각형과 자연스럽게 연결되고, 피타고라스 수를 생성하는 공식도 존재합니다. 반면 세제곱 이상의 경우에는 정수 해가 존재한다면 더 깊은 대수적 구조와 충돌하게 됩니다.

비교 관점에서 핵심을 정리하면 다음과 같습니다.

• $n = 2$: 피타고라스 방정식이며 정수 해가 존재함
• $n = 3$: 세제곱 방정식이며 양의 정수 해가 존재하지 않음
• $n = 4$: 페르마가 직접 무한강하법으로 증명한 대표적 사례
• $n > 2$: 모든 경우에 대해 일반적인 증명이 필요함
• 핵심 난점: 특정 지수별 증명이 아니라 모든 지수를 포괄해야 함

페르마의 마지막 정리가 어려운 이유는 개별 사례를 확인하는 문제가 아니기 때문입니다. $n = 3$, $n = 4$, $n = 5$처럼 하나씩 증명하는 방식은 가능할 수 있습니다. 그러나 자연수는 끝없이 많기 때문에 모든 $n > 2$에 대해 한 번에 적용되는 논리가 필요했습니다. 이 일반성이 바로 난제의 핵심입니다.

초기 수학자들의 부분 증명

페르마의 마지막 정리는 한 번에 해결된 문제가 아닙니다. 수백 년 동안 수많은 수학자들이 특정 지수에 대한 증명을 하나씩 쌓아 올렸습니다. 이러한 부분 증명은 최종 증명으로 가는 토대가 되었습니다. 특히 페르마 자신은 $n = 4$인 경우를 증명한 것으로 알려져 있습니다. 그는 무한강하법이라는 방법을 사용했습니다. 무한강하법은 어떤 해가 존재한다고 가정하면 그보다 더 작은 해가 계속 존재해야 한다는 모순을 이끌어내는 방식입니다. 양의 정수는 무한히 작아질 수 없으므로 처음의 가정이 틀렸다는 결론에 도달합니다.

이후 오일러는 $n = 3$인 경우에 대한 증명을 제시했고, 르장드르와 디리클레 등도 특정 지수에 대한 증명에 기여했습니다. 그러나 여전히 모든 지수에 대한 일반 증명은 멀어 보였습니다. 특히 지수가 소수인 경우를 해결하면 전체 문제를 줄일 수 있다는 관점이 등장하면서 연구 방향이 조금씩 정리되었습니다.

초기 연구의 흐름은 다음과 같이 요약할 수 있습니다.

• 페르마: $n = 4$에 대한 증명 제시
• 오일러: $n = 3$의 경우를 다룸
• 르장드르: 특정 소수 지수에 대한 연구 발전
• 디리클레: 정수론적 방법을 활용한 부분 증명
• 쿠머: 이상수 개념을 도입해 정수론의 구조를 확장
• 이후 수학자들: 계산과 이론을 결합해 많은 지수에 대해 검증

이러한 연구는 비록 최종 증명은 아니었지만 매우 중요했습니다. 부분 증명들이 축적되면서 수학자들은 이 문제가 단순한 산술 문제가 아니라 정수론의 근본 구조와 연결되어 있다는 사실을 점점 더 명확히 인식하게 되었습니다. 특히 쿠머의 연구는 대수적 수론의 발전에 큰 영향을 주었고, 페르마의 마지막 정리가 새로운 수학 분야의 탄생을 자극했다는 평가를 받게 했습니다.

와일스의 증명은 왜 특별한가

페르마의 마지막 정리를 최종적으로 증명한 인물은 영국 수학자 앤드루 와일스입니다. 와일스의 증명은 단순히 페르마의 방정식을 직접 계산해서 해결한 것이 아닙니다. 그는 타원곡선과 모듈러 형식 사이의 깊은 관계를 이용했습니다. 이 접근은 고전적인 정수론 문제를 현대 수학의 거대한 이론 체계 안에서 해결한 사례입니다.

와일스가 사용한 핵심 아이디어를 이해하려면 “만약 페르마 방정식의 해가 존재한다면 어떤 이상한 타원곡선을 만들 수 있다”는 흐름을 알아야 합니다. 이 타원곡선은 프레이 곡선이라고 불리는 구조와 관련됩니다. 독일 수학자 게르하르트 프레이는 페르마 방정식의 반례가 존재한다고 가정하면 매우 특이한 타원곡선을 구성할 수 있다고 제안했습니다. 이후 리베는 이 곡선이 모듈러성과 충돌한다는 점을 입증했습니다. 따라서 타원곡선이 모두 모듈러하다는 것을 보일 수 있다면 페르마 방정식의 반례는 존재할 수 없게 됩니다.

와일스 증명의 논리 구조는 다음과 같이 정리할 수 있습니다.

• 1단계: 페르마의 마지막 정리가 거짓이라고 가정함
• 2단계: 그러면 $x^n + y^n = z^n$을 만족하는 양의 정수 해가 존재한다고 볼 수 있음
• 3단계: 그 해를 바탕으로 특수한 타원곡선인 프레이 곡선을 구성할 수 있음
• 4단계: 리베의 정리에 의해 이 곡선은 모듈러가 아니어야 함
• 5단계: 와일스는 특정 범위의 타원곡선이 모듈러임을 증명함
• 6단계: 같은 곡선이 모듈러이면서 동시에 모듈러가 아니어야 하는 모순이 발생함
• 7단계: 따라서 처음의 가정, 즉 페르마 방정식의 해가 존재한다는 가정이 틀림
• 결론: $n > 2$일 때 $x^n + y^n = z^n$을 만족하는 양의 정수 해는 존재하지 않음

이 구조는 귀류법입니다. 즉, 어떤 명제가 거짓이라고 가정한 뒤 논리적 모순을 이끌어내어 원래 명제가 참임을 증명하는 방식입니다. 와일스의 업적은 페르마의 방정식을 직접 “풀었다”기보다, 그 방정식의 반례가 존재하면 현대 수학의 다른 정리들과 충돌한다는 사실을 엄밀하게 보였다는 점에 있습니다.

타원곡선과 모듈러 형식의 역할

페르마의 마지막 정리 증명에서 가장 어려운 부분은 타원곡선과 모듈러 형식입니다. 이 두 개념은 일반 독자에게 낯설 수 있지만, 증명의 큰 흐름을 이해하는 데 반드시 필요합니다. 타원곡선은 대략적으로 다음과 같은 형태의 방정식으로 표현되는 곡선입니다.

$$y^2 = x^3 + ax + b$$

이 곡선은 단순한 그래프가 아니라 정수론과 대수기하학에서 매우 중요한 대상입니다. 타원곡선 위의 점들은 특별한 덧셈 구조를 가지며, 이를 통해 암호학, 수론, 대수기하학 등 다양한 분야와 연결됩니다. 실제로 현대 암호 체계에서도 타원곡선은 중요한 역할을 합니다.

모듈러 형식은 훨씬 더 추상적인 개념입니다. 복소해석과 대수적 구조가 결합된 함수로, 특정한 대칭성과 변환 성질을 갖습니다. 표면적으로 타원곡선과 모듈러 형식은 전혀 다른 대상처럼 보입니다. 하지만 수학자들은 두 대상 사이에 깊은 대응 관계가 있을 것이라고 예측했습니다. 이것이 타니야마-시무라 추측, 또는 모듈러성 정리로 불리던 명제입니다.

핵심 개념을 정리하면 다음과 같습니다.

• 타원곡선: 특정한 3차 방정식으로 나타나는 대수적 곡선
• 프레이 곡선: 페르마 방정식의 반례가 존재한다고 가정할 때 구성되는 특수한 타원곡선
• 모듈러 형식: 높은 수준의 대칭성을 갖는 복소함수적 구조
• 모듈러성: 타원곡선이 특정 모듈러 형식과 대응된다는 성질
• 타니야마-시무라 추측: 모든 적절한 타원곡선은 모듈러일 것이라는 주장
• 와일스의 핵심 성과: 페르마의 마지막 정리에 필요한 범위의 모듈러성을 증명

이 관계가 중요한 이유는 프레이 곡선 때문입니다. 페르마 방정식의 반례가 있다면 프레이 곡선이 만들어집니다. 그런데 리베의 정리에 따르면 이 곡선은 모듈러가 아니어야 합니다. 반면 와일스의 결과에 따르면 해당 곡선은 모듈러여야 합니다. 하나의 대상이 동시에 모듈러이면서 모듈러가 아닐 수는 없습니다. 따라서 페르마 방정식의 반례는 존재할 수 없습니다.

증명의 핵심은 직접 계산이 아니라 구조적 모순이다

페르마의 마지막 정리 증명을 처음 접하는 사람들은 대개 $x^n + y^n = z^n$이라는 식 자체를 변형해서 답을 찾으려 합니다. 하지만 와일스의 증명은 그런 방식과 다릅니다. 방정식의 해가 존재한다고 가정한 뒤, 그 해가 만들어내는 수학적 구조 전체를 분석합니다. 그리고 그 구조가 이미 알려진 이론과 모순된다는 것을 보입니다.

이 점에서 와일스의 증명은 매우 현대적인 성격을 갖습니다. 고전적인 문제를 해결하기 위해 전혀 다른 분야의 이론을 끌어왔기 때문입니다. 단순한 정수 방정식이 타원곡선, 모듈러 형식, 갈루아 표현, 변형 이론과 연결됩니다. 따라서 페르마의 마지막 정리 증명은 “간단한 문제에 대한 복잡한 답”의 대표적 사례입니다.

증명의 성격을 다시 정리하면 다음과 같습니다.

• 직접 대입으로 해가 없음을 확인한 것이 아님
• 모든 자연수 지수를 하나씩 계산한 것도 아님
• 반례가 존재한다고 가정하고 논리적 모순을 도출함
• 타원곡선과 모듈러 형식의 대응 관계를 이용함
• 현대 정수론의 깊은 이론이 결합된 증명임
• 일반 독자가 모든 세부 수식을 이해하기는 어렵지만, 전체 논리 구조는 귀류법으로 설명 가능함

이러한 방식은 현대 수학에서 자주 나타납니다. 어떤 문제를 직접 공격하기보다, 그 문제가 포함된 더 큰 구조를 이해하고 그 구조의 성질을 이용해 결론을 도출합니다. 페르마의 마지막 정리 역시 고립된 방정식 문제가 아니라 더 넓은 수학적 세계 안에서 해결되었습니다.

와일스 증명 과정의 우여곡절

와일스의 증명은 한 번에 완벽하게 발표된 것이 아닙니다. 그는 오랜 기간 비밀리에 이 문제를 연구했습니다. 어린 시절부터 페르마의 마지막 정리에 매료되었던 와일스는 성인이 되어 수학자가 된 뒤에도 이 문제를 마음속에 품고 있었습니다. 타니야마-시무라 추측과 페르마의 마지막 정리 사이의 연결이 명확해지자, 그는 이 문제를 해결할 실마리가 생겼다고 판단했습니다.

와일스는 수년 동안 거의 혼자 연구를 진행했고, 마침내 증명을 발표했습니다. 그러나 발표 이후 전문가 검토 과정에서 증명의 일부에 결함이 발견되었습니다. 이 결함은 단순한 오타나 계산 실수가 아니라 핵심 논리 중 하나와 관련된 문제였습니다. 한때 증명이 무너질 수도 있는 상황이었습니다. 하지만 와일스는 리처드 테일러와 함께 문제를 다시 검토했고, 결국 결함을 보완하는 데 성공했습니다. 이렇게 완성된 증명이 최종적으로 인정받았습니다.

와일스의 증명 과정은 다음과 같이 요약할 수 있습니다.

• 어린 시절 페르마의 마지막 정리에 관심을 가짐
• 수학자가 된 뒤 타원곡선과 모듈러 형식을 연구함
• 페르마의 마지막 정리와 모듈러성 추측의 연결을 바탕으로 증명에 착수함
• 장기간 비밀리에 연구를 진행함
• 증명 발표 후 일부 결함이 발견됨
• 리처드 테일러와 함께 결함을 보완함
• 최종 증명이 수학계에서 인정됨

이 과정은 수학 증명이 단순한 개인의 직관만으로 완성되지 않는다는 사실도 보여줍니다. 아무리 뛰어난 수학자라 해도 증명은 공동체의 검토를 거쳐야 합니다. 오류가 발견되면 수정되어야 하며, 논리적 완결성이 확보되어야 비로소 정리로 인정됩니다. 페르마의 마지막 정리 증명은 이 점에서도 수학의 엄밀성을 잘 보여주는 사례입니다.

페르마의 마지막 정리가 중요한 이유

페르마의 마지막 정리가 중요한 이유는 단순히 오래된 문제가 해결되었기 때문만은 아닙니다. 이 정리는 수학의 여러 분야를 연결했고, 그 과정에서 새로운 이론과 방법론이 발전했습니다. 특히 와일스의 증명은 타원곡선과 모듈러 형식의 관계를 정교하게 다루면서 현대 정수론의 방향을 크게 바꾸었습니다.

이 정리의 의의를 정리하면 다음과 같습니다.

• 수학사에서 가장 오래 지속된 난제 중 하나가 해결됨
• 고전 정수론과 현대 대수기하학의 연결을 보여줌
• 타니야마-시무라 추측의 핵심 범위가 증명됨
• 타원곡선 연구의 중요성이 크게 부각됨
• 수학적 증명에서 분야 간 융합의 가치를 입증함
• 단순한 명제가 얼마나 깊은 이론으로 확장될 수 있는지 보여줌

또한 페르마의 마지막 정리는 대중적으로도 큰 의미를 갖습니다. 보통 고급 수학의 정리는 일반인이 명제 자체를 이해하기 어렵습니다. 하지만 페르마의 마지막 정리는 식이 매우 단순합니다. 누구나 문제의 형태를 이해할 수 있지만, 아무나 증명할 수는 없습니다. 이 간극이 바로 페르마의 마지막 정리를 특별하게 만듭니다. 단순한 질문이 심오한 답을 요구하는 구조는 수학의 본질을 잘 보여줍니다.

페르마가 정말 증명을 알고 있었을까

많은 사람들이 궁금해하는 질문은 페르마가 실제로 완전한 증명을 알고 있었는가입니다. 결론부터 말하면 확실하게 알 수 없습니다. 다만 오늘날 일반적인 견해는 페르마가 모든 경우에 대한 완전한 증명을 갖고 있었을 가능성은 낮다는 쪽에 가깝습니다. 와일스의 증명에는 20세기 현대 수학의 고도로 발달한 이론이 사용되었기 때문입니다. 페르마가 살던 17세기에는 타원곡선의 모듈러성, 갈루아 표현, 현대 대수기하학 같은 도구가 존재하지 않았습니다.

물론 페르마가 특정한 지수, 특히 $n = 4$의 경우에는 증명을 알고 있었던 것으로 보입니다. 그는 무한강하법을 능숙하게 사용했습니다. 그러나 모든 $n > 2$에 대한 일반 증명을 당시의 수학만으로 완성했는지는 매우 의심스럽습니다. 가능성 있는 해석은 페르마가 특정 사례의 증명을 일반화할 수 있다고 생각했거나, 자신이 발견한 방법이 모든 경우에 적용된다고 착각했을 수 있다는 것입니다.

이 문제에 대한 관점은 다음과 같이 정리할 수 있습니다.

• 페르마가 $n = 4$의 경우를 증명했을 가능성은 높음
• 모든 $n > 2$에 대한 완전 증명을 알고 있었는지는 불확실함
• 현대 증명에 필요한 이론은 페르마 시대에 존재하지 않았음
• 페르마의 메모는 수학사적 상징성이 매우 큼
• 그의 주장은 결과적으로 참이었지만, 증명의 방식은 현대 수학으로 완성됨

따라서 페르마의 마지막 정리는 “페르마가 증명한 정리”라기보다 “페르마가 주장했고, 와일스가 최종적으로 증명한 정리”라고 설명하는 편이 정확합니다. 이 차이를 이해하면 정리의 역사적 의미를 더 균형 있게 볼 수 있습니다.

일반 독자를 위한 증명 흐름 요약

페르마의 마지막 정리의 완전한 증명은 전문 수학 논문 수준의 내용입니다. 따라서 일반 독자가 모든 세부 사항을 따라가는 것은 쉽지 않습니다. 그러나 큰 흐름은 비교적 명확하게 정리할 수 있습니다. 핵심은 “반례가 존재한다고 가정하면 불가능한 타원곡선이 생긴다”는 것입니다.

증명 흐름을 쉽게 정리하면 다음과 같습니다.

• 먼저 $x^n + y^n = z^n$을 만족하는 양의 정수 해가 있다고 가정함
• 이 가정이 참이라면 프레이 곡선이라는 특수한 타원곡선을 만들 수 있음
• 이 곡선은 수학적 성질상 모듈러가 아니어야 함
• 그런데 와일스의 증명에 따르면 해당 유형의 타원곡선은 모듈러여야 함
• 하나의 곡선이 동시에 모듈러이면서 모듈러가 아닐 수는 없음
• 따라서 처음의 가정이 잘못됨
• 결국 $n > 2$에서 양의 정수 해는 존재하지 않음

이 요약만으로도 페르마의 마지막 정리 증명의 기본 논리는 이해할 수 있습니다. 물론 실제 논문에서는 각 단계가 매우 정교하게 전개됩니다. 특히 모듈러성 증명에는 갈루아 표현, 헤케 대수, 변형 이론 등 고급 수학 개념이 등장합니다. 그러나 블로그 글에서 중요한 것은 모든 기술적 세부를 암기하는 것이 아니라, 이 정리가 어떤 논리 구조로 해결되었는지를 파악하는 것입니다.

결론

페르마의 마지막 정리는 단순한 방정식에서 출발했지만, 그 증명은 수학의 가장 깊은 영역으로 이어졌습니다. $x^n + y^n = z^n$이라는 식은 누구나 이해할 수 있을 만큼 간단하지만, $n > 2$에서 양의 정수 해가 존재하지 않는다는 사실을 엄밀하게 증명하기까지는 약 350년이 걸렸습니다. 이 긴 시간 동안 수학자들은 특정 지수에 대한 부분 증명을 쌓았고, 대수적 수론과 타원곡선 이론을 발전시켰으며, 마침내 와일스의 증명을 통해 난제는 해결되었습니다.

이 정리의 핵심은 단순 계산이 아니라 구조적 모순입니다. 페르마 방정식의 반례가 존재한다고 가정하면 프레이 곡선이라는 특수한 타원곡선이 만들어지고, 이 곡선은 모듈러가 아니어야 합니다. 그러나 와일스가 증명한 모듈러성 결과에 따르면 그 곡선은 모듈러여야 합니다. 이 모순으로 인해 반례는 존재할 수 없고, 따라서 페르마의 마지막 정리는 참이 됩니다.

페르마의 마지막 정리가 오늘날까지도 많은 사람들에게 회자되는 이유는 문제의 단순함과 증명의 심오함이 극명하게 대비되기 때문입니다. 쉬운 질문이 반드시 쉬운 답을 갖는 것은 아닙니다. 때로는 한 줄짜리 명제를 증명하기 위해 수백 년의 시간이 필요하고, 여러 분야의 수학이 결합되어야 합니다. 페르마의 마지막 정리는 바로 그런 수학의 본질을 보여주는 대표적인 사례입니다. 단순한 호기심에서 시작된 문제가 인류 지성의 장기 프로젝트가 되었고, 결국 현대 수학의 힘으로 완성된 것입니다.