페르마의 마지막 정리는 "n이 3 이상일 때, x^n + y^n = z^n 을 만족하는 양의 정수 x, y, z는 존재하지 않는다"는 정리입니다. 이 정리는 17세기 프랑스의 수학자 피에르 드 페르마가 제기한 이후 350년 동안 수많은 수학자들이 도전했지만 증명되지 못했습니다. 1994년 영국의 수학자 앤드루 와일스가 최종적으로 증명에 성공하며 "수학계의 성배"라고 불렸던 난제를 해결했습니다.
페르마의 마지막 정리, 왜 이렇게 어려웠을까?
페르마의 마지막 정리가 증명하기 어려웠던 이유는 명확합니다. n이 3 이상일 때를 다루는 것이 핵심인데, n=1일 때는 x+y=z로 무수히 많은 해가 존재하고, n=2일 때는 피타고라스의 정리 x²+y²=z²로 역시 무수히 많은 해(예: 3²+4²=5²)가 존재합니다. 하지만 n이 3 이상이 되는 순간, 정수 해가 존재하지 않는다는 것을 보이는 것이 매우 까다로웠습니다. 페르마 자신이 n=4일 때의 증명을 남겼지만, 일반적인 n에 대한 증명은 제시하지 못했습니다.
앤드루 와일스의 증명, 그 핵심 아이디어
앤드루 와일스의 증명은 페르마의 마지막 정리 자체만을 다룬 것이 아니라, 타니야마-시무라 추론이라는 더 광범위한 수학적 명제를 증명하는 과정에서 페르마의 마지막 정리가 자연스럽게 따라오는 방식으로 이루어졌습니다. 이는 페르마의 마지막 정리와 관련된 두 개의 서로 다른 수학적 대상, 즉 타원 곡선과 모듈러 형식 사이의 깊은 연관성을 밝혀낸 것입니다.
-
타원 곡선: ax³ + bx²y + cx y² + d y³ = 1 과 같은 형태의 방정식을 변형한 것으로, 복잡한 대수적 구조를 가집니다. 페르마의 마지막 정리가 참이 아니라면, 특정 형태의 타원 곡선(프라이 곡선)이 존재해야 한다는 것이 와일스의 증명의 출발점이었습니다.
-
모듈러 형식: 매우 대칭적인 성질을 가진 복소 함수로, 정수론과 해석학의 교차점에 있습니다. 타니야마-시무라 추론은 모든 타원 곡선은 모듈러 형식과 짝을 이룬다는 추측이었습니다.
와일스는 페르마의 마지막 정리가 거짓이라고 가정했을 때, 그로부터 유도되는 특정 타원 곡선(프라이 곡선)이 존재해야 함을 보였습니다. 그런데 이 프라이 곡선은 타니야마-시무라 추론에 따르면 모듈러 형식과 짝을 이루어야 합니다. 하지만 와일스는 (그리고 다른 수학자들의 도움으로) 이 프라이 곡선과 짝을 이루는 모듈러 형식이 존재할 수 없다는 것을 증명했습니다.
이 모순, 즉 '프라이 곡선이 존재해야 하는데, 존재할 수 없다'는 결론에 도달함으로써, 페르마의 마지막 정리가 거짓이라는 최초의 가정이 틀렸음이 증명된 것입니다. 따라서 페르마의 마지막 정리는 참이 됩니다.
증명의 복잡성과 의의
앤드루 와일스의 증명은 수백 페이지에 달하며, 현대 대수 기하학, 정수론, 모듈러 형식 이론 등 매우 깊고 복잡한 수학적 도구들을 사용합니다. 일반인이 이해하기에는 매우 어렵지만, 이 증명은 페르마의 마지막 정리 자체를 해결했을 뿐만 아니라, 타원 곡선과 모듈러 형식이라는 서로 다른 수학 분야를 연결하는 강력한 다리를 놓았습니다. 이는 이후 수학 연구에 지대한 영향을 미쳤으며, 암호학 등 응용 분야에서도 중요한 이론적 기반을 제공하고 있습니다.
페르마의 마지막 정리는 단순한 정수론 문제를 넘어, 수학의 아름다움과 인간 지성의 한계를 넓히는 여정을 보여주는 상징적인 사건으로 기억되고 있습니다.