xⁿ + yⁿ = zⁿ n ≥ 3 일 때, 정수 해가 존재하지 않는다 페르마의 마지막 정리 Fermat's Last Theorem — 350년간의 수학 미스터리 1637 페르마 추측 1770 n=3 증명 1825 n=5 증명 1839 n=7 증명 1995 와일스 완전 증명!

FERMAT'S LAST THEOREM

페르마의 마지막 정리 — 350년간의 수학 미스터리를 탐험하다
$$x^n + y^n = z^n \quad (n \geq 3 \text{이면 정수 해 없음})$$
ARITHMETICA Diophantus, c.250 AD Cuius rei demonstrationem mirabilem... 개 념 학 습 xⁿ + yⁿ ≠ zⁿ 페르마의 마지막 정리 n ≥ 3일 때, 양의 정수 해는 존재하지 않는다 피타고라스 350년의 도전 귀류법 n = 2 3² + 4² = 5² 정수 해: 무한히 많음 ✅ ▼ n을 올리면? n ≥ 3 xⁿ + yⁿ = zⁿ 정수 해: 단 하나도 없음 ❌ "나는 이에 대한 경이로운 증명을 발견했으나, 여백이 너무 좁아 여기에 적을 수 없다." — 피에르 드 페르마, 1637

01 — 피타고라스에서 시작하자

우리가 잘 아는 피타고라스 정리는 직각삼각형에서 성립합니다:

$$a^2 + b^2 = c^2$$

이 방정식을 만족하는 정수 조합은 무한히 많습니다. 이것을 피타고라스 수(Pythagorean triple)라 합니다.

abca² + b²c²일치?
3459 + 16 = 2525✅
5121325 + 144 = 169169✅
8151764 + 225 = 289289✅
7242549 + 576 = 625625✅

n=2일 때는 정수 해가 무한히 많다! 그럼 지수를 3으로 올리면 어떨까?

n = 2 x² + y² = z² 정수 해: 무한히 많음 ✅ 3,4,5 / 5,12,13 ... n↑ n ≥ 3 xⁿ + yⁿ = zⁿ 정수 해: 없음! ❌ 단 하나도 없다

02 — 페르마의 도전장

1637년, 프랑스 수학자 피에르 드 페르마(Pierre de Fermat)는 고대 그리스 수학책 《산술(Arithmetica)》의 여백에 이런 메모를 남겼습니다:

📜 페르마의 메모 (원문 번역)

"하나의 세제곱수를 두 세제곱수의 합으로, 네제곱수를 두 네제곱수의 합으로, 일반적으로 2보다 큰 거듭제곱수를 같은 거듭제곱수 둘의 합으로 나타내는 것은 불가능하다.

나는 이에 대한 경이로운 증명을 발견했으나, 여백이 너무 좁아 여기에 적을 수 없다."

즉, 페르마의 주장은 다음과 같습니다:

$$x^n + y^n = z^n \quad \text{은 } n \geq 3 \text{일 때 } x, y, z \text{가 모두 양의 정수인 해가 없다}$$

이 한 줄의 메모가 350년간 수학계 최대의 미해결 문제가 됩니다. 수많은 천재 수학자들이 도전했지만, 완전한 증명은 1995년에야 이루어집니다.

03 — 왜 n=3에서 정수 해가 없을까? (직관적 이해)

n=2일 때 3² + 4² = 5²는 정사각형 타일로 확인할 수 있습니다. 9개 + 16개 = 25개, 딱 맞죠!

그런데 n=3이 되면 정육면체(큐브)를 쌓아야 합니다. 두 정육면체의 부피를 더해서 정확히 또 다른 정육면체가 되는 조합이… 없습니다!

3³ = 27 9 × 3층 + 4³ = 64 16 × 4층 = 91 = ?³ 27 + 64 = 91 4³ = 64, 5³ = 125 91은 어떤 정수의 세제곱도 아님! 3³ + 4³ = 91 → 완벽한 정육면체를 만들 수 없다 ❌

가상실험에서 직접 수많은 조합을 시도해볼 수 있습니다. 아무리 찾아도 딱 맞는 조합이 없다는 것을 체험할 수 있죠!

04 — 350년의 도전: 핵심 역사

1637
페르마가 《산술》 여백에 추측을 적음. "경이로운 증명을 찾았으나 여백이 좁다"
1770
오일러(Euler)가 n=3인 경우 증명 — 세제곱수의 합으로 세제곱수를 만들 수 없음
1825
디리클레 & 르장드르가 n=5인 경우 증명
1839
라메가 n=7인 경우 증명
1847
쿠머(Kummer)가 '이상적 수(ideal number)' 도입, 다수의 소수 지수에 대해 증명
1908
독일의 볼프스켈 상 설립 — 증명자에게 10만 마르크 현상금
1986
프라이, 세르, 리벳 — '엡실론 추측'을 통해 페르마 정리와 타원곡선/모듈러 형식의 연결 발견
1993
앤드루 와일스(Andrew Wiles)가 증명 발표 — 그러나 오류 발견!
1995
와일스 + 리처드 테일러가 오류를 수정, 완전한 증명 완성! 🎉

05 — 와일스의 증명 전략 (간단 요약)

와일스는 직접 xⁿ + yⁿ = zⁿ을 공격하지 않았습니다. 대신 간접적인 경로를 택했습니다:

페르마의 마지막 정리 xⁿ + yⁿ = zⁿ 해 없음 동치 프라이 곡선 y² = x(x-aⁿ)(x+bⁿ) 이 곡선은 존재 불가 타니야마-시무라 추측 모든 타원곡선은 모듈러이다 와일스가 증명! 프라이 곡선 존재 불가 → 페르마 정리 증명 완료! 💡 핵심 논리 (귀류법) 1. 만약 xⁿ+yⁿ=zⁿ의 정수 해가 있다면 2. 그 해로 '프라이 곡선'을 만들 수 있음 3. 프라이 곡선은 모듈러가 아님 (리벳 증명) 4. 그런데 모든 타원곡선은 모듈러 (와일스 증명) 5. 모순! → 해가 존재하지 않는다 ✅

즉, 와일스는 "해가 있다고 가정하면 모순이 발생한다"는 귀류법을 사용했습니다. 이것이 350년 미스터리의 해결 열쇠였습니다!

06 — 왜 이것이 중요한가?

페르마의 마지막 정리 증명은 단순히 "방정식에 해가 없다"를 보인 것이 아닙니다:

🔸 타원곡선론, 모듈러 형식, 갈루아 표현 등 현대 수학의 핵심 분야를 연결

🔸 수론(정수론)과 기하학의 깊은 연결을 밝힘

🔸 와일스의 증명 논문은 129쪽 — 페르마의 "여백이 좁다"는 핑계와 대비

🔸 "쉬운 문제처럼 보이는 것"이 가장 깊은 수학을 요구할 수 있음을 보여줌

⚙ EXPERIMENT LAB

하나씩 따라가면서 페르마 정리를 직접 체험합니다. 각 단계에서 직접 숫자를 넣고 확인해보세요!

🧪 실제 실험: 직접 만져보는 페르마 정리

수학은 머리로만 하는 게 아닙니다! 집에서 구할 수 있는 재료로 페르마의 마지막 정리를 직접 체험해봅시다.

실험 1: 정사각형 타일 실험 (n=2 확인)

📦 준비물

📝
모눈종이 (그래프 용지)일반 노트에 격자를 그려도 OK
✂️
가위격자를 자를 용도
🖍️
색연필 3색빨강, 파랑, 초록 등
📏
자격자 그리기용

🔬 실험 과정

Step 1. 모눈종이에 3×3 = 9칸 정사각형을 빨간색으로 색칠하세요.
Step 2. 같은 종이에 4×4 = 16칸 정사각형을 파란색으로 색칠하세요.
Step 3. 빨간 칸(9개) + 파란 칸(16개) = 25개. 이것으로 5×5 정사각형을 만들 수 있을까요?
Step 4. 직접 잘라서 5×5 = 25칸의 초록색 정사각형 위에 겹쳐보세요. → 딱 맞습니다! 이것이 3² + 4² = 5² (피타고라스 수)입니다.
3×3 = 9 + 4×4 = 16 = 5×5 = 25 ✅ 9 + 16 = 25 → 딱 맞음!

실험 2: 설탕 큐브 실험 (n=3 불가능 확인)

📦 준비물

🧊
각설탕 약 100개또는 레고 블록, 주사위 등 동일 크기 정육면체
📝
기록 노트결과를 적을 용도
🧮
계산기(또는 스마트폰)세제곱 계산용

🔬 실험 과정

Step 1. 각설탕으로 2×2×2 = 8개의 정육면체를 만드세요 (2³).
Step 2. 또 하나의 3×3×3 = 27개 정육면체를 만드세요 (3³).
Step 3. 두 개를 합치면 8 + 27 = 35개. 이 35개로 완벽한 정육면체를 만들 수 있나요? → 3³ = 27 (너무 작음), 4³ = 64 (너무 큼). 어떤 정수의 세제곱도 35가 아닙니다!
Step 4. 다른 조합도 시도해보세요. 1³+2³=9?   1³+3³=28?   2³+4³=72?   ... 모두 실패!
xyx³ + y³가장 가까운 z³차이정확히 일치?
121 + 8 = 92³ = 81❌
238 + 27 = 353³ = 278❌
3427 + 64 = 914³ = 6427❌
68216 + 512 = 7289³ = 7291 ← 아깝다!❌
1091000 + 729 = 172912³ = 17281 ← 또 아깝다!❌

🤔 흥미로운 관찰

6³ + 8³ = 728이고 9³ = 729… 딱 1 차이! 하지만 "거의"는 정수론에서 "전혀"와 같습니다. 10³ + 9³ = 1729는 라마누잔 수로 유명한데, 이것은 1³ + 12³ = 1729 = 10³ + 9³으로 두 세제곱의 합으로 나타내는 방법이 두 가지인 가장 작은 수입니다. (하지만 그 자체가 세제곱수는 아닙니다!)

실험 3: 계산기 전수조사 (모든 조합 시도)

📦 준비물

📱
스마트폰 계산기또는 엑셀/구글 시트
📊
기록표아래 표를 인쇄하거나 노트에 그리기

🔬 실험 과정

미션: x=1~10, y=1~10에 대해 x³ + y³를 모두 계산하고, 그 결과가 정수의 세제곱인지 확인하세요.

가상실험의 자유 탐구 모드에서 더 넓은 범위를 컴퓨터로 자동 검증할 수 있습니다.

📝 평가 및 보고서

학습 내용과 실험 결과를 정리하세요. 모든 항목을 작성한 후 제출하기를 누르세요.

👤 학생 정보

1. 학습 결과 정리

n=2일 때와 n≥3일 때의 차이를 포함하여 설명

n=3일 때 x³+y³=z³을 만족하는 정수를 찾으려 했을 때 어떤 결과가 나왔는지 서술

6³+8³=728, 9³=729처럼 "아깝게" 빗나가는 사례를 찾고, 왜 "거의"가 "정확히"와 다른지 설명

"만약 ~라면 모순이 생기므로 ~일 수 없다"의 논리를 자신만의 예시로

2. 건의사항 (2가지)

3. 계산 문제

4. 만족도 조사

★★★★★
★★★★★
★★★★★
★★★★★

🎯 개념 확인 퀴즈

개념학습과 가상실험을 바탕으로 풀어보세요!