이 개념의 출항 질문
세지 않고 질서 찾기8 / 16번째 항구“‘디오판투스 방정식’에서 묻습니다. 모두 세지 않고도 숨어 있는 질서를 어떻게 찾을까?”
경우의 폭발, 나눗셈의 흔적, 소수의 불규칙함 속에서 반복되는 구조를 추적합니다.
이 항로는 이해를 돕는 편집 경로입니다. 직접적인 역사 영향선이나 한 사람의 단독 발명을 뜻하지 않습니다.
한 호흡으로 이해하기
"실수 해는 쉬워도 정수 해는 극도로 어렵다." x²+y²=z² (피타고라스 수)는 무한히 많지만, x³+y³=z³은 자명한 해 외엔 없다(페르마 1637, 와일즈 1995로 증명). 작은 차수 변경이 전혀 다른 세계를 만든다.
한눈에 보기
방정식 | 실수해 | 정수해 | 결정 가능? |
|---|---|---|---|
ax + by = c | 무한 | 무한 (gcd(a,b) | c일 때) | ✓ 유클리드 알고리즘 |
x² + y² = z² (피타고라스) | 무한 | 무한 — (3,4,5), (5,12,13)… | ✓ 모두 매개변수화 |
x³ + y³ = z³ (FLT n=3) | 무한 | 0 (자명한 것 외) | ✓ 오일러 1770 |
xⁿ + yⁿ = zⁿ, n ≥ 3 | 무한 | 0 | ✓ 와일즈 1995 |
일반 다항 방정식의 정수해 | 항상 결정 가능 | 결정 불가능 | ✗ Hilbert 10번 (Matiyasevich 1970) |
디오판투스 방정식은 2300년의 정수론 핵심 — 유클리드부터 와일즈까지. 일반 알고리즘은 존재할 수 없다는 사실이 가장 충격적.
개념
정수해만 찾는 방정식. 페르마의 마지막 정리(x^n+y^n=z^n)도 그중 하나. 1970년 마티야세비치가 일반 디오판투스 방정식 풀이는 결정 불가능임을 증명 — 힐베르트 10번 문제 해결.
핵심 식
정수해 찾기 — 단순해 보여도 결정 불가능
오늘날의 응용
암호학(타원곡선), 부정방정식 SAT, 정수 프로그래밍.
MathVoyage 너머로
큐레이터가 고른 원전과 탐구 과제. OEIS·Project Euler·MathOverflow·arXiv에서는 발견 하나를 수첩으로 가져올 수 있습니다.
- 위키백과
- Wolfram MathWorld
한 사람이 만든 개념이 아닙니다
역할이 다른 사람들을 따라가기
대표 연결은 발명자 명단이 아닙니다. 문제를 열고, 언어를 다듬고, 다른 세계로 옮긴 서로 다른 항구입니다.
수의 렌즈
같은 개념도 수의 세계가 바뀌면 다르게 보입니다
아래 수는 필수 선수 조건이 아니라 이 항로를 비추는 편집 렌즈입니다.
개념의 계보
무엇을 딛고, 무엇을 열었을까?
직접 연결만 표시하며 완전한 학습 순서나 역사 영향선을 뜻하지 않습니다.