xⁿ + yⁿ ≠ zⁿ (n≥3)
xⁿ + yⁿ = zⁿ (n≥3)을 만족하는 양의 정수 해는 존재하지 않는다. 1637년 페르마가 책 여백에 남긴 한 줄의 명제를, 학생이 직접 컴퓨터 전수탐색으로 확인하고 와일스가 1995년에 완성한 증명의 의미를 체험합니다.
🎓 찾아가는 과학교실 · 리틀사이언스클래스가 운영하는 과학 시뮬레이터 — 학생 누구나 무료·무제한 이용
기원전 6세기 피타고라스 정리는 직각삼각형에서 a²+b²=c² 관계를 보였고, (3,4,5)·(5,12,13)·(8,15,17) 등 무한히 많은 정수 해(피타고라스 수)가 존재합니다.
1637년 페르마는 책 여백에 다음을 남겼습니다: "xⁿ + yⁿ = zⁿ에서 n이 2보다 큰 정수일 때, 양의 정수 해는 존재하지 않는다. 이 명제의 놀라운 증명을 발견했지만 여백이 좁아 적을 수 없다." — 이것이 페르마의 마지막 정리입니다.
페르마 사후 350여 년 동안 오일러·소피 제르맹·쿠머 등 거장들이 부분적 결과(특정 n)만 증명했습니다. 1995년 영국 수학자 앤드루 와일스가 "모든 n≥3"에 대한 완전한 증명을 발표했습니다.
와일스의 핵심 전략은 귀류법이었습니다: 만약 페르마 방정식의 해가 존재한다면, 그것은 모순적인 타원곡선(프레이 곡선)을 만들어내는데, 이는 다니야마–시무라 추측(모든 타원곡선은 모듈러 형식과 대응)에 어긋난다 — 따라서 해가 존재할 수 없다.
컴퓨터로 x,y를 1~100, 1~1000까지 전수 탐색해도 "이 범위에서 해가 없다"는 결론만 나옵니다. "모든 양의 정수"에 대해 해가 없음을 보이려면 무한 경우를 한 번에 처리하는 수학적 증명이 필요합니다.
이 단원은 "실험과 관찰만으로는 도달할 수 없는 영역이 수학에 있고, 그것을 가능하게 하는 것이 증명이다"라는 메시지를 전달합니다. 동시에 "거의 성립하는" 사례(예: 6³+8³=728, 9³=729 — 차이 1)들이 "정확히 성립"과 어떻게 본질적으로 다른지를 직관으로 잡게 합니다.
아래 시뮬레이터에서 페르마의 마지막 정리 — 350년의 수학 미스터리 실험을 직접 체험해보세요. 로그인 없이 무료로 이용 가능합니다.
전체 화면으로 보려면 시뮬레이터 새 창 열기
정답: xⁿ+yⁿ=zⁿ은 n=2에서만 정수 해가 있고 n≥3에서는 양의 정수 해가 없다
n=2(피타고라스 정리)에서는 (3,4,5) 등 무한히 많은 해가 있지만, n≥3에서는 양의 정수 해가 없다는 것이 페르마의 마지막 정리입니다.
정답: 앤드루 와일스
와일스는 다니야마–시무라 추측(타원곡선과 모듈러 형식의 대응)을 매개로 페르마의 마지막 정리를 증명했습니다.
정답: 아니오, 유한 범위 검증은 "모든 양의 정수"에 대한 증명이 아니다
수학적 증명은 무한한 모든 경우를 한 번에 처리해야 합니다. 컴퓨터 전수 탐색은 "검사한 범위 내에서" 해가 없음을 보여줄 뿐, "모든 정수에 대한" 증명이 되지 못합니다.
클래스 개설 · 학생 관리 · 자동 평가 · 세특 보고서 — 학교 맞춤 시스템을 제공합니다.
실험수업 신청