[論文レビュー] Fermat's Four Squares Theorem

Alf van der Poorten|ArXiv.org|Dec 22, 2007

History and Theory of Mathematics参考文献 3被引用数 3

ひとこと要約

この論文は、フェルマーの四平方定理を直接的で降下法に基づく証明により提示し、4つの異なる有理数の平方が等差数列をなすことは不可能であることを示している。問題をディオファントス方程式の系に還元し、無限降下法を適用することで、自明な場合を除きこのような数列が存在しないことが立証され、歴史的に曇りがかった結果を明確に解きほぐす、自己完結的で構成的である証明がなされている。

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つの有理数の平方が等差数列をなす可能性に関する曖昧さを解消すること。
• このような数列とピタゴラス数、合同数、楕円曲線との関係を明確にすること。
• 過去の文献に依存せず、より自然な降下法に基づく構成的証明を提示すること。

提案手法

• 4つの有理数の平方が等差数列をなすと仮定し、4で割り切れる公差を持つ整数の平方にスケーリングする。
• 平方が互いに素で奇数であると仮定し、x² - 4n²、x² - 36n²、x² - 20n² を含むディオファントス方程式を導出する。
• 恒等式 (x² - 20n²)² + (16n²)² = y² からピタゴラス数を導出し、整数 u と v を用いたパラメータ表示を得る。
• パラメータ表示 4uv = 16n² および 4u² + v² = x² - 20n² を用いて、u = 4A² および v = D²（A, D は整数）を導出する。
• 16A² + D² と 4A² + D² がともに完全平方であることを示し、A の因数分解を用いてさらなる降下を実行する。
• UV = U'V' の因数分解を用いて新たな降下列を構築し、より小さい解を得ることで、非自明な場合の不可能性を証明する。

実験結果

リサーチクエスチョン

• RQ1 非自明な4つの異なる有理数の平方が等差数列をなすことは可能か？もし不可能ならば、その理由は何か？
• RQ2 フェルマーの四平方定理を証明する正しい初等的で降下法に基づく証明は何か？
• RQ3 4つの有理数の平方が等差数列をなす場合、ピタゴラス数や合同数とどのように関係するか？
• RQ4 なぜ過去の証明は「息のない」や理解しにくいものに見えるのか？より自然な降下法はどのように構築できるか？
• RQ5 楕円曲線 y² = x(x+1)(x+4) は、この問題に関連する有理点構造において果たす役割は何か？

主な発見

• 4つの異なる有理数の平方が等差数列をなすことは、すべての平方が等しい自明な場合を除き存在しない。
• このような数列の存在は、楕円曲線 y² = x(x+1)(x+4) 上に非自明な有理点が存在することと同倣であるが、この曲線上には非自明な有理点が存在しない。
• 降下法により、仮想的な解がより小さい解に還元され、無限降下法により不可能性が証明される。
• 鍵となる恒等式 (x² - 20n²)² + (16n²)² = y² はピタゴラス数を導き、パラメータ表示と降下を可能にする。
• 降下プロセスは、A を整数 a, b, c, d に因数分解し、4a² + d² と 16a² + d² がともに平方数であることを用いることで、より小さい解を得る。
• 自明な解 (1,1,1,1) のみが解であり、この場合降下が継続できないため、定理の境界条件が確認される。