하나의 난제, 세 번의 몰입
이야기에서 내 추측까지
난제 이야기는 호기심을 여는 입구이고, 난제 작업실은 그 호기심을 검증 가능한 생각으로 발전시키는 다음 장소입니다.
페르마의 마지막 정리 — 358년의 여백
"놀라운 증명이 있지만 여백이 좁다." 페르마의 메모는 사후 출판되었고 그 증명은 발견되지 않았다. 와일스는 1993년 발표 뒤 드러난 틈을 Richard Taylor와 고쳐 1994년 완성했고, 1995년 두 논문으로 출판했다.
규칙을 익힌 뒤 계산이나 간단한 코드를 곁들이면 더 멀리 갈 수 있어요.
시작 난이도는 문제를 이해하고 작은 사례를 탐험하는 기준입니다. 완전한 증명의 난이도와는 다릅니다.
5분 첫 시도로 내려가기앤드류 와일스 (with 리처드 테일러)
울프 상 + 아벨상 + Wolfskehl 상 (1908년 100,000마르크로 설정, 인플레로 1997년 약 £30,000 ≈ 75,000DM 지급)
이 난제, 그림으로
페르마의 한 줄 — “진정 경이로운 증명이 있으나 여백이 좁다” — 이 358년의 행렬을 만들었다. 부분 결과(n=3, 5, 7)가 쌓이고 모듈러 형식과의 다리가 놓이며 와일즈가 1995년 마침내 매듭을 지었다.
문제의 진술
n ≥ 3에 대해 x^n + y^n = z^n을 만족하는 양의 정수 x, y, z는 존재하지 않는다. (n=2에서는 피타고라스 수가 무한히 많다: 3²+4²=5², 5²+12²=13², …)
이 난제의 이야기
1637년 무렵 피에르 드 페르마는 디오판토스의 《Arithmetica》 여백에 놀라운 증명이 있다고 적었다. 이 메모는 아들 사뮈엘이 1670년 펴낸 판본으로 알려졌고, 증명은 남지 않았다. 정말 증명이 있었는지는 알 수 없지만, 현대의 일반 증명에 필요한 도구가 훨씬 뒤에 생겼다는 점 때문에 대부분은 완전한 증명이 아니었을 것으로 본다.
이 문제는 실패만 낳지 않았다. 오일러·제르맹·쿠머 등은 특정 지수와 새로운 정수론을 발전시켰다. 소피 제르맹은 교육 장벽 속에서 M. LeBlanc이라는 이름으로 공부하고 가우스와 서신을 나눴으며, 많은 지수를 한꺼번에 다루는 전략을 만들었다.
프레이의 타원곡선 아이디어와 리벳의 1986년 결과는 반례가 있다면 특정 비모듈러 타원곡선이 생긴다는 다리를 놓았다. 와일스는 반안정 타원곡선의 모듈러성을 향해 1986년부터 비공개로 집중했다. 1993년 케임브리지 발표 뒤 틈이 발견됐고, Richard Taylor와 함께 새 방법으로 이를 고쳐 1994년 완성했다. 1995년 출판된 두 논문은 여백의 문제뿐 아니라 수론의 더 큰 연결을 열었다.
직접 시도해보기
피타고라스 수(n=2) (3,4,5), (5,12,13), (8,15,17)에서 규칙을 찾아 다섯 개를 더 만들어 보자. 다음에는 작은 정수로 n=3을 시험해 보라. 많은 실패 사례가 “해가 없다”는 증명은 아니라는 점이 바로 358년짜리 논리의 간격이다.
MathVoyage 너머로
불러오는 중…