디오판토스 방정식

디오판토스 방정식은 정수로 된 해만을 허용하는 부정 다항 방정식이다. 디오판토스 문제는 미지의 변수와 변수의 수 보다 적은 방정식을 제시하고, 주어진 모든 방정식을 만족하는 정수해들을 찾도록 한다. 보다 기술적인 용어로서 설명하면, 디오판토스 문제는 부정 다항식으로 표현되는 대수 곡선이나, 대수 면, 또는 보다 일반적인 대수다양체에 대하여 정수로 표현될 수 있는 모든 격자 점을 나타내라는 것과 같다.

이러한 방정식을 디오판토스 방정식이라 부르는 것은 헬레니즘 시기인 3세기 무렵 알렉산드리아의 수학자였던 디오판토스가 이런 유형의 부정 다항 방정식을 만들고 연구하여 정리하였기 때문이다. 디오판토스는 자신이 연구한 문제들을 정리하여 《아리스메티카》를 저술하였다. 디오판토스는 수학 기호를 대수학에 도입한 최초의 수학자들 가운데 한 명이기도 하다.

개별적인 디오판토스 방정식은 오래 전부터 퍼즐이나 문제의 형태로 알려져 왔다. 그러나, 디오판토스 방정식의 일반형인 2차형식은 20세기가 되어서야 정리되었다. 디오판토스 방정식을 연구하는 분야는 오늘날 "디오판토스 해석학"이라고 불린다.

디오판토스 방정식의 예

다음의 예제에서 모든 문자는 정수이며, $x, y, z$는 미지수, 나머지 문자는 상수이다.

• $ax + by = c$: 선형 디오판토스 방정식

• $x^n + y^n = z^n$: $n=2$일 때에는 무한히 많은 해가 존재하며, 이 해를 피타고라스 수라고 한다. $n>2$인 경우에는 페르마의 마지막 정리에 따라 정수해가 존재하지 않는다.

• $x^2 - ny^2 = 1$: 이 방정식은 영국의 수학자 존 펠의 이름을 따 펠의 방정식이라 불린다. 이와 같은 형태의 방정식은 7세기 인도의 수학자 브라흐마굽타와 17세기 프랑스의 수학자 피에르 드 페르마에 의해서도 연구된 바 있다.

• $\frac{4}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ : 에르되시-스트라우스 추측은 n이 2이상의 정수일 때 이 방정식을 만족하는 정수해 x, y, z가 언제나 존재할 것이라 추측한다. 이 방정식을 일반적인 디오판토스 방정식의 형태로 나타내면 4xyz = n(xy + yz + xz) 이 된다.

디오판토스 해석학

전형적인 질문

디오판토스 해석학은 디오판토스 방정식에 대해 다음과 같은 질문을 제시한다.

1. 해가 있는가?
2. 자명한 해를 제외한 다른 해가 있는가?
3. 해의 개수가 무한한가? 아니면 유한한가?
4. 모든 해를 구할 수 있는가?
5. 모든 해 가운데 하나를 이용하여 검산할 수 있는가?

수학자들은 이러한 질문들로 짜인 퍼즐이나 방정식을 두고 많은 문제를 풀어왔다. 개중에 어떤 것은 해답을 얻기까지 많은 시간이 걸리기도 하는데, 페르마의 마지막 정리의 경우 해결하는데 300년이 넘는 시간이 걸렸다.

전형적인 예제

• 문제

A와 B가 0 ~ 9의 아라비아 숫자라고 할 때, 아버지는 AB 세이고 아들은 BA 세이다. 아들의 나이에 두배를 하면 아버지의 나이보다 한 살 더 많다. 아버지와 아들의 나이는 몇 세인가?

풀이와 답

풀이 아버지와 아들의 나이를 십진기수법으로 나타내면, 아버지의 나이는 10A + B 이고 아들의 나이는 10B + A 가 된다. 아들의 나이에 두배를 하면 아버지의 나이보다 한 살 많으므로, $2 ( 10 B + A ) = 10 A + B + 1$ 이고, 간단히 정리하면 $19B - 8A = 1$ 이 된다. A 와 B 가 모두 0 에서 9 사이의 정수이므로 다음의 표를 통하여 A = 7, B = 3 임을 알 수 있다. A 0 1 2 3 4 5 6 7 8 9 B $\frac{1}{19}$ $\frac{9}{19}$ $\frac{17}{19}$ $\frac{25}{19}$ $\frac{33}{19}$ $\frac{41}{19}$ $\frac{49}{19}$ $3$ $\frac{65}{19}$ $\frac{82}{19}$ 답 아버지는 73 세, 아들 37세

페르마의 연구

1637년 피에르 드 페르마는 디오판토스의 저서 《아르스메티카》의 여백에 "n이 2보다 더 큰 정수일 때, $x^n + y^n = z^n$를 만족하는 정수 x, y, z 은 존재하지 않는다"라고 적었다. 페르마의 마지막 정리로 불리게 된 이 문제는 1994년이 되어서야 영국의 수학자 앤드루 와일스에 의해 증명되었다.

1657년 페르마는 $61 x^2 + 1 = y^2$의 해를 구하였는데, 사실 이 문제는 그 보다 천년전 인도의 브라흐마굽타에 의해 해결된 바 있다. 18세기 들어 오일러도 동일한 방정식의 해를 구하였다.

힐베르트의 열번째 문제

힐베르트의 문제들 문서를 참고하십시오.

1900년 다비드 힐베르트는 20세기에 해결하여야 할 23개의 수학 문제를 제시하였다. 힐베르트의 문제들로 불리는 이 문제들 가운데 제 10항목은 "임의로 주어진 디오판토스 방정식이 정수해를 갖는지 여부를 판별할 수 있는 알고리즘을 제시하라"는 것이었다. 1970년 마티야세비치 정리에 따라 그러한 알고리듬을 만들 수 없다는 것이 증명되었다.

선형 디오판토스 방정식

베주 항등식 문서를 참고하십시오.

$a x + b y = c$와 같은 형식의 방정식을 선형 디오판토스 방정식이라고 한다. 특히 c 가 a 와 b 의 최대공약수일 때 이를 베주 항등식이라고 한다. 베주 항등식의 해는 무한히 많으며, 확장된 유클리드 알고리즘으로 구할 수 있다.

바깥 고리

• 디오판토스 방정식. MathWorld.
• 디오판토스 방정식. PlanetMath.