[논문 리뷰] Fermat's Four Squares Theorem

Alf van der Poorten|ArXiv.org|2007. 12. 22.

History and Theory of Mathematics참고 문헌 3인용 수 3

한 줄 요약

이 논문은 페르마의 네 제곱수 정리에 대한 직접적이고 내림차순 기반의 증명을 제공하며, 네 개의 서로 다른 유리수 제곱수가 등차수열을 이룰 수 없음을 입증한다. 문제를 디오판틴 방정식의 연립으로 환원하고 무한 내림차순을 적용함으로써, 비자명한 경우를 제외하고는 그러한 수열이 존재하지 않음을 증명한다. 이는 역사적으로 애매한 결과를 명확히 하는 자가 포함된 구체적인 증명을 제공한다.

ABSTRACT

It is easy to find a right-angled triangle with integer sides whose area is 6. There is no such triangle with area 5, but there is one with rational sides (a `\emph{Pythagorean triangle}'). For historical reasons, integers such as 6 or 5 that are (the squarefree part of) the area of some Pythagorean triangle are called `\emph{congruent numbers}'. These numbers actually are interesting for the following reason: Notice the sequence $\frac14$, $6\frac14$, $12\frac14$. It is an arithmetic progression with common difference 6, consisting of squares $(\frac12)^2$, $(\frac52)^2$, $(\frac72)^2$ of rational numbers. Indeed the common difference of three rational squares in AP is a congruent number and every congruent number is the common difference of three rational squares in arithmetic progression. The triangle given by $9^{2}+40^{2}=41^{2}$ has area $180=5\cdot6^{2}$ and the numbers $x-5$, $x$ and $x+5$ all are rational squares if $x=11{97/144}$. Recall one obtains all Pythagorean triangles with relatively prime integer sides by taking $x=4uv$, $y=\pm(4u^{2}-v^{2})$, $z=4u^{2}+v^{2}$ where $u$ and $v$ are integers with $2u$ and $v$ relatively prime. Fermat proved that there is no AP of more than three squares of rationals.

연구 동기 및 목표

• 무한 내림차순을 사용하여 페르마의 네 제곱수 정리를 자가 포함된 초등적인 증명을 제공하기.
• 오랫동안 논란이 되어 온 문헌에서 네 개의 유리수 제곱수가 등차수열을 이룰 수 있는지 여부에 대한 명확한 해소.
• 그러한 수열과 피타고라스 삼중항, 합동수, 타원곡선 간의 관계를 명확히 하기.
• 이전 문헌에서 볼 수 없는 낯설거나 무미건조한 증명에 의존하지 않는 구체적인 내림차순 증명을 제공하기.

제안 방법

• 네 개의 유리수 제곱수가 등차수열을 이루는 것으로 시작하여, 공차가 4의 배수인 정수 제곱수로 스케일링한다.
• 제곱수가 상호소이고 홀수임을 가정함으로써, x² - 4n², x² - 36n², x² - 20n²를 포함하는 디오판틴 방정식을 유도한다.
• 항등식 (x² - 20n²)² + (16n²)² = y²로부터 피타고라스 삼중항을 도출하고, 정수 u와 v를 통해 매개변수화한다.
• 매개변수화식 4uv = 16n² 와 4u² + v² = x² - 20n²을 이용해 u = 4A² 와 v = D² 를 유도한다.
• 16A² + D² 와 4A² + D² 가 모두 완전제곱수여야 하므로, A의 인수분해를 통해 추가적인 내림차순을 유도한다.
• UV = U'V' 의 인수분해를 사용하여 새로운 내림차순 체인을 구축하고, 더 작은 해를 도출함으로써 비자명한 경우의 불가능성을 증명한다.

실험 결과

연구 질문

• RQ1 비자명한 네 개의 서로 다른 유리수 제곱수가 등차수열을 이룰 수 있는가? 만약 불가능하다면 그 이유는 무엇인가?
• RQ2 페르마의 네 제곱수 정리를 증명하는 올바르고 초등적인 내림차순 증명은 무엇인가?
• RQ3 등차수열을 이룬다 해서 네 개의 유리수 제곱수가 피타고라스 삼중항과 합동수와 어떻게 관련이 있는가?
• RQ4 기존의 증명들이 왜 '무미건조한'가 아니면 이해하기 어려운가? 더 자연스러운 내림차순은 어떻게 구성할 수 있는가?
• RQ5 타원곡선 y² = x(x+1)(x+4) 는 이 문제와 관련된 유리점의 구조에서 어떤 역할을 하는가?

주요 결과

• 서로 다른 네 개의 유리수 제곱수가 등차수열을 이룰 수는 없으며, 유일한 경우는 모든 제곱수가 동일한 경우뿐이다.
• 그러한 수열의 존재성은 타원곡선 y² = x(x+1)(x+4) 에서 비자명한 유리점의 존재성과 동치이며, 이 곡선에는 비자명한 유리점이 존재하지 않는다.
• 내림차순 증명은 가상의 해를 더 작은 해로 줄여가며, 무한 내림차순을 통해 불가능성을 증명한다.
• 핵심 항등식 (x² - 20n²)² + (16n²)² = y² 는 피타고라스 삼중항을 이끌어내며, 이는 매개변수화와 내림차순을 가능하게 한다.
• 내림차순 과정은 A 를 정수 a, b, c, d 로 인수분해함으로써, 4a² + d² 와 16a² + d² 가 모두 제곱수여야 한다는 조건을 유도하며, 더 작은 해로 이어진다.
• 비자명한 해는 존재하지 않으며, 유일한 해는 (1,1,1,1) 이며, 이 경우 내림차순이 더 이상 진행되지 않아 정리의 경계 조건이 확인된다.