Discovery of Irrationals — Reconstruct the Proof of √2's Irrationality
2,500년 전 피타고라스 학파를 충격에 빠뜨렸던 발견 — $\sqrt{2}$가 분수가 아니라는 사실을 — 당신의 손으로 증명해 봅시다. 6단계의 귀류법 보고서를 작성하며 수학사의 가장 유명한 증명을 직접 재현합니다.
A 2,500-year-old proof — rebuilt step by step in your own words.
고대 그리스의 피타고라스 학파는 "만물은 수(정수의 비)"라는 신앙을 가졌습니다. 그러나 한 변이 $1$인 정사각형의 대각선 $\sqrt{2}$는 — 어떤 분수로도 표현할 수 없었습니다. 이를 발견한 히파소스는 비밀을 누설한 죄로 바다에 던져졌다는 전설이 전해집니다. 그 비밀이 바로 지금부터 당신이 재현할 증명입니다.
$\sqrt{2}$가 무리수임을 귀류법으로 증명합니다. 각 단계마다 핵심 논리를 자신의 언어로 정리하고, 마지막에 전체 증명을 한 편의 보고서로 완성합니다.
왜 귀류법인가? 직접 증명("$\sqrt{2}$가 무리수다")보다 반대로 가정해서 모순을 끌어내는 것이 훨씬 쉽기 때문입니다. 이것이 귀류법의 위력.
① $\sqrt{2}$가 유리수라면 두 정수 $p, q$의 비로 표현 가능 → $\sqrt{2} = \dfrac{p}{q}$
② $\gcd(p, q) = 1$ — 즉 기약분수로 표현했다고 가정 (어떤 분수든 약분하면 기약분수가 됨)
① 양변 제곱: $(\sqrt{2})^2 = \left(\dfrac{p}{q}\right)^2$ → $2 = \dfrac{p^2}{q^2}$
② 양변에 $q^2$을 곱하면 정수 방정식 도출
$2q^2$은 $2$의 배수이므로 짝수. 따라서 $p^2$도 짝수.
① 만약 $p$가 홀수라면? $p = 2m+1$로 쓸 수 있고, $p^2 = (2m+1)^2 = 4m^2 + 4m + 1$ → 홀수
② 그런데 $p^2$이 짝수이므로 $p$는 홀수가 아님 → $p$는 짝수
③ 짝수는 $2$의 배수이므로 $p = 2k$ (어떤 정수 $k$)로 표현 가능
① $p = 2k$를 $p^2 = 2q^2$에 대입: $(2k)^2 = 2q^2$ → $4k^2 = 2q^2$
② 양변을 $2$로 나누면: $q^2 = 2k^2$ → $q^2$도 짝수
③ STAGE 3과 같은 논리로 $q$도 짝수
① $p, q$가 모두 짝수 → $\gcd(p, q) \ge 2$
② 그러나 STAGE 1의 가정은 $\gcd(p, q) = 1$
③ 두 결론이 모순! 가정이 거짓이라는 의미.
Your proof reconstruction is ready — like a true mathematician.