🔢 mathematics

Seven squares from three numbers

この論文は、7 つの式がすべて平方数となるような相異なる非零有理数の組が無限に存在することを証明する一方で、そのような性質を持つ正整数の組は存在しないことを示しています。

原著者： Andrej Dujella, Matija Kazalicki, Vinko Petričević

公開日 2026-04-13

📖 1 分で読めます🧠 じっくり読む

原著者： Andrej Dujella, Matija Kazalicki, Vinko Petričević

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

🍳 魔法の料理：7 つの「完璧な正方形」を作るレシピ

まず、この研究の舞台は**「数字の料理」です。
私たちが普段使う数字（有理数：分数や小数を含む）を材料に、以下の7 つの料理**を作ろうとします。

A + 1
B + 1
C + 1
A × B + 1
A × C + 1
B × C + 1
A × B × C + 1

この 7 つの料理がすべて**「完璧な正方形」**（1, 4, 9, 16, 25... のように、整数×整数で表せる数）になるような、**3 つの数字（A, B, C）**を見つけるのが目標です。

これを**「エキゾチックな 3 つの数字」**と呼んでいます。

🧱 レゴブロックのルール：「ディオファントス・タプル」

この研究は、数学の歴史にある有名なパズル「ディオファントス・タプル」の延長線上にあります。
昔から知られているルールはこうです：

「2 つの数字を選んで掛け合わせ、1 を足すと、必ず『完璧な正方形』になるような数字の集まりを作ろう」

例えば、昔の天才フェルマーが見つけた**「1, 3, 8, 120」という 4 つの数字のグループは、どんな 2 つを選んでも（1×3+1=4, 3×8+1=25 など）、すべて正方形になります。これは「レゴブロックがピタリとハマる」**ような状態です。

今回の研究は、このルールに**「さらに 1 つ、新しい条件」**を加えました。

「3 つの数字（A, B, C）を選んだとき、**『3 つ全部を掛け合わせて 1 を足す（A×B×C+1）』**という料理も、必ず『完璧な正方形』になるようにしたい！」

つまり、「2 つの組み合わせ」だけでなく、「3 つの組み合わせ」まで含めて、全部が魔法（正方形）になるような 3 つの数字を探そうという話です。

🌊 発見 1：分数の世界では「無限」に作れる！

論文の定理 1は、**「分数（有理数）を使えば、この魔法の 3 組は無限に作れる！」**と証明しています。

【イメージ】
分数の世界は、**「無限に広がる海」のようなものです。
ここでは、ある特定の「魔法の式（楕円曲線という複雑な地図）」に従って数字を選べば、次から次へと新しい 3 組の数字が見つかります。
著者たちは、この「魔法の地図」を解き明かし、「ここに行けば、新しいレシピが見つかるよ！」**と示しました。
実際、彼らは「724255280/736742449」のような、とても複雑で大きな分数の組み合わせを見つけています。

🚫 発見 2：整数の世界では「存在しない」

一方、定理 2は、**「正の整数（1, 2, 3...）だけで作ろうとすると、この魔法の 3 組は絶対に存在しない！」**と証明しています。

【イメージ】
整数の世界は、**「硬いレンガ」や「きっちりした箱」**のようなものです。
ここでは、数字の隙間が狭すぎて、7 つの条件をすべて満たすような「完璧な組み合わせ」が作れないのです。

【証明のロジック（簡単な説明）】
著者たちは、もし整数でこの魔法の 3 組が存在すると仮定して矛盾を導き出しました。

3 つの数字を並べると、ある特定の「魔法の値（M）」が計算できる。
この値 M は、ある整数の**「ちょうど間」**に挟まってしまう。
- 例：「5 と 6 の間にある整数」なんて存在しませんよね？
しかし、計算上は「5 と 6 の間に整数 M が存在する」という矛盾した結論が出てくる。
したがって、**「最初から整数でこの 3 組は存在しなかった」**という結論になります。

これは、**「整数という硬い箱では、7 つの魔法を同時に発動させるにはスペースが足りない」**と表現できます。

🎓 まとめ：何がすごいのか？

この論文のすごい点は、**「分数なら無限にあるのに、整数だと一つもない」**という、一見矛盾しそうな現象を、数学的に完全に解き明かしたことです。

分数の世界（海）： 魔法のレシピは無限にある！🌊✨
整数の世界（箱）： 魔法のレシピは存在しない！📦🚫

また、この証明の過程で、**「Cantab Pi AI」**という人工知能が協力したことも注目に値します。AI が数学の証明を助ける時代が来たことを示す、とても興味深いエピソードです。

つまり、この論文は**「数字の不思議な性質」を、「無限の海」と「硬い箱」**という対比で描き出し、数学の美しさと厳しさを同時に伝えた作品なのです。

以下は、提示された論文「SEVEN SQUARES FROM THREE NUMBERS（3 つの数から 7 つの平方数へ）」の技術的な要約です。

論文の概要

タイトル: SEVEN SQUARES FROM THREE NUMBERS
著者: Andrej Dujella, Matija Kazalicki, Vinko Petričević
主題: 有理数および整数の集合における「エキゾチックなディオファントス三つ組（exotic Diophantine triples）」の存在性と非存在性の証明。

1. 問題設定

本論文は、互いに異なる 0 以外の有理数 $\{a, b, c\}$ について、以下の 7 つの式がすべて完全平方数となる条件を研究しています。

$a + 1$
$b + 1$
$c + 1$
$ab + 1$
$ac + 1$
$bc + 1$
$abc + 1$

このような三つ組を**「エキゾチックなディオファントス三つ組」**と呼びます。
これは、集合 $\{1, a, b, c\}$ が有理数ディオファントス四つ組（任意の 2 要素の積に 1 を加えると平方数になる）であり、かつ追加の条件 $abc + 1$ も平方数となる場合に相当します。

従来のディオファントス $m$ -tuple の研究（整数の場合の最大サイズは 4 であることが証明済み、有理数の場合は最大サイズが未解決など）を踏まえ、このより強力な条件（7 つの平方数）を満たす集合の存在が問われています。

2. 手法とアプローチ

有理数の場合（定理 1 の証明）

著者らは、数値探索から得られた例を分析し、以下の「正則性（regularity）」の概念を導入して代数的な構造を明らかにしました。

正則性の定義: 三つ組 $(a, b, c)$ が正則であるとは、多項式 $r_3(a, b, c) = (a + b - c)^2 - 4(ab + 1) = 0$ を満たすことを指します。
鍵となる観察: 多くの発見された例において、 $\{1, a, b, c\}$ が正則なディオファントス四つ組であり、かつ $\{1, ab, c\}$ も正則な三つ組となっていました。
代数的定式化:
- $a = r^2 - 1$ , $b = s^2 - 1$ と置くことで、条件を方程式系に変換します。
- 特に、 $r_3(1, ab, c) = 0$ および $r_4(1, a, b, c) = 0$ の条件を同時に満たす場合、$abc+1$ が自動的に平方数になることが示されました。
楕円曲線への帰着:
- 上記の条件から導かれる方程式を解析した結果、あるケース（ $rs = \pm 1$ ）では有理点の数が有限であることが判明しました。
- しかし、もう一つのケース（ $c = \dots$ の代入）では、楕円曲線 $E_2: y^2 = x^3 - 111x + 450$ が現れます。
- この楕円曲線 $E_2$ の有理点群（Mordell-Weil 群）は、無限位数の点を含んでおり、ランクが正であることが確認されました。
- この楕円曲線上の無限個の有理点から、無数の異なるエキゾチックな三つ組を生成できることを示しました。

整数の場合（定理 2 の証明）

正の整数の範囲では、そのような三つ組は存在しないことを証明しました。

背理法: 存在すると仮定し、 $3 \le a < b < c$ と順序付けます（ $a+1$ が平方数であるため $a \ge 3$ ）。
不等式の導出:
- 既知のディオファントス四つ組の性質（$c > 4ab$）を利用します。
- $ab+1=r^2, \dots, abc+1=u^2$ などの平方数を定義し、整数 $M := 2r(zu - st)$ を構成します。
- 恒等式 $(zu)^2 - (st)^2 = c(a-1)(b-1)$ を用いて $M$ を評価します。
矛盾の導出:
- $M$ の上下界を精密に評価することで、 $(a-1)(b-1) < M < (a-1)(b-1) + 1/2$ という不等式が導かれます。
- $M$ は整数である必要がありますが、この不等式は整数が存在しない範囲（2 つの連続する整数の間に厳密に存在する）を要求するため、矛盾が生じます。
- したがって、正の整数による解は存在しません。

3. 主要な結果（定理）

定理 1: 無限に多くのエキゾチックな有理数ディオファントス三つ組が存在する。
- 具体的には、楕円曲線 $E_2$ の有理点を用いてパラメータ化された無限族が構成されました。
定理 2: 正の整数によるエキゾチックなディオファントス三つ組は存在しない。

4. 貢献と意義

ディオファントス問題の拡張: 従来のディオファントス $m$ -tuple の研究（積に 1 を加える条件）に、さらに「各要素自身に 1 を加える条件」と「3 つの積に 1 を加える条件」を組み合わせた、より制約の強い問題設定を提示し、その解の存在性を完全に解明しました。
有理数と整数の対比: 有理数では無限に解が存在するのに対し、整数では解が存在しないという、数論における典型的な「有理数と整数の隔たり」を鮮明に示す結果となりました。
楕円曲線理論の応用: 問題の解の存在を、特定の楕円曲線の有理点の構造（ランク）に帰着させることで、無限族の存在を証明しました。これはディオファントス方程式の解を研究する際の強力な手法の一例です。
整数非存在証明の新規性: 整数の場合の非存在証明は、精巧な不等式評価とディオファントス四つ組の既知の性質を組み合わせたものであり、この分野における重要な進展です。

5. 結論

本論文は、7 つの平方数条件を満たす数三つ組について、有理数では無限に存在し、正の整数では全く存在しないという完全な分類を行いました。特に有理数の無限族の構成には楕円曲線の理論が、整数の非存在証明には精密な数値評価が用いられ、ディオファントス解析の手法の豊かさを示しています。