　　　np - 221　　

　　　　　　　★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★

　　　　　　　　　　　参考資料　　　A B C　予想　　Wikipedia　「ABC 予想」の検索結果 - Yahoo!検索

　　　　　　　　　　　　　　　　　　　　　A B C　予　想　( 2012 朝日新聞記事 )　　A B C 予想 ( 2020　読売新聞　記　事　)　

　　　　　A B C 予想は１９８５年に　オステルレ（仏）　と　マツサー　（英）により提起された数論の予想である

　　　　　互いに素でありかつ　 $a + b = c$ 　を満たすような 3 つの自然数（この予想に呼び方を合わせると） $a$ , $b$ , $c$ について述べている

　　　　　abc 予想は、この予想から数々の興味深い結果が得られることから有名になった。

　　　　　数論における数多の有名な予想や定理が abc 予想から直ちに導かれる。Goldfeld (1996) は、

　　　　　abc 予想を「ディオファントス解析で最も重要な未解決問題」であるとしている　　　　　

　　　　　　　　　　　a　　 b　　　　　a + b = c　　 d = rad (abc)　　　

　　　　　　　　　　　_{1　　　　　1　　　　　　 1 + 1 = 2 　　　　　1× 2 = 2　　　　　　　　 c = d}

　　　　　　　　　　　1 　　　　2 　　　　　　1 + 2 = 3　　　　　　1 × 2 × 3 = 6　　　　　　　 c ＜ d　　　　　　　　　　　　　　

　　　　　　　　　　　1　　　　　3　　　　　　　1 + 3 = 4　　　　　　1 × 3 × 2 = 6　　　　　　　　 c ＜ d

　　　　　　　　　　　1　　　　　4　　　　　　　1 + 4 = 5　　　　　 1 × 2 × 5 = 10　　　　　　　 c ＜ d

　　　　　　　　　　　1　　　　　5　　　　　　　1 + 5 = 6　　　　　　1 × 5 × 2 × 3 = 30　　　　　c ＜ d

　　　　　　　　　　　1　　　　　6　　　　　　　1 + 6 = 7　　　　　　1 × 3 × 2 × 7 = 42　　　　　c ＜ d

　　　　　　　　　　　1　　　　　7　　　　　　　1 + 7 = 8　　　　　　1 × 7 × 2 = 14　　　　　　　　c ＜ d

　　　　　　　　　　　1　　　　　8　　　　　　　1 + 8 = 9　　　　　　1 × 2× 3 = 6　　　　　　　c ＞ d

　　　　　　　　　　　1　　　　　9　　　　　　　1 + 9 = 10　　　　　1 × 3 × 2 × 5 = 30　　　　c ＜ d

　　　　　　　　　　　1　　　　　10　　　　　　1 + 10 = 11　　　　 1 × 2 × 5 ×11 = 110　　　c ＜ d

　　ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

　　　　　　　　　　　2　　　　　1　　　　　　2 + 1 = 3　　　　　 2 × 3 = 6　　　　　　　　　　　　　c ＜ d
　
　　　　　　　　　　　2　　　　 2　　　　　 2 + 2 = 4　　　　 2　　　　　　　　　　　　　　　　c ＞ d

　　　　　　　　　　　2　　　　　3　　　　　　2 + 3 = 5　　　　　　2 × 3 × 5 = 30　　　　　　　　 c ＜ d

　　　　　　　　　　　2　　　　　4　　　　　　2 + 4 = 6 　　　　　　2 × 3 = 6　　　　　　　　　　　　 c = d

　　　　　　　　　　　2　　　　　5　　　　　　2 + 5 = 7　　　　　　2 × 5 × 7 = 70　　　　　　　　　c ＜ d

　　　　　　　　　　　2　　　　　6　　　　　　2 + 6 = 8　　　　　　2 × 3 = 6　　　　　　　　　　　　　c ＞ d

　　　　　　　　　　　2　　　　　7　　　　　　2 + 7 = 9　　　　　　2 × 7 × ３ = 42　　　　　　　　 c ＜ d

　　　　　　　　　　　2　　　　　8　　　　　　2 + 8 = 10　　　　　　2 × 3 × 5 = 30　　　　　　　　 c ＜ d

　　　　　　　　　　　2　　　　　9　　　　　　2 + 9 = 11　　　　　　2 × 3 × 11 = 66　　　　　　　c ＜ d

　　　　　　　　　　　2　　　　　１0　　　　　2 + 10 = 12　　　　　2 × 5 × 3 = 30　　　　　　　　c ＜ d　
　　ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

　　　　　　　　　　　3　　　　　1　　　　　　3 + 1 = 4　　　　　　3 × 2 = 6　　　　　　　　　　　　c ＜ d

　　　　　　　　　　　3　　　　　2　　　　　　3 + 2 = 5　　　　　　3 × 2 × 5 = 30　　　　　　　　c ＜ d

　　　　　　　　　　　3　　　　　3　　　　　　3 + 3 = 6　　　　　　3 × 2 = 6　　　　　　　　　　　c = d

　　　　　　　　　　　3　　　　　4　　　　　　3 + 4 = 7　　　　　　3 × 2 × 7 = 42　　　　　　　　c ＜ d

　　　　　　　　　　　3　　　　　5　　　　　　3 + 5 = 8　　　　　　3 × 5 × 2 = 30　　　　　　　　c ＜ d

　　　　　　　　　　　3　　　　　6　　　　　　3 + 6 = 9　　　　　　3 × 2 = 6　　　　　　　　　　　c ＞ d

　　　　　　　　　　　3　　　　　7　　　　　　3 + 7 = 10　　　　　3 ×7 × 5 × 2 = 210　　　　　c ＜ d

　　　　　　　　　　　3　　　　　8　　　　　　3 + 8 = 11　　　　　3 × 2 × 11 = 66　　　　　　　c ＜ d

　　　　　　　　　　　3　　　　　9　　　　　　3 + 9 = 12　　　　　3 × 2 = 6　　　　　　　　　　　c ＞ d

　　　　　　　　　　　3　　　　10 　　　　　 3 + 10 =13　　　　　3 × 5 ×2× 13 = 390　　　　c ＜ d

　　ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

　　　　　

　　　　　　★　　　_{A B C　予想　の　不等式}

　　　　　　　　　c ＜ K ( ε ) × rad ( a b c ) ^{1 + ε} 　　ε＞ 0　　　　K ( ε ) ≧ 1

　　　　　　　　　　　　不等式　の　　制約　定義

　　　　　　　　●　　　a b c　は互いに素なる正の整数であること

　　　　　　　　●　　　a b c　の組み合わせのことを　a b c　トリプル　という

　　　　　　　　●　　　a b c　トリプルのそれぞれの異なる素因数をかけあわせたものを　rad ( abc )　という

　　　　　　　　●　　　 a b c　トリプルのクオリテイ を　q ( abc ) = log c / log ( rad ( abc )　と定義する

　　　　　　　　●　　　ε＞ 0

　　　　　　　　●　　　K ( ε ) ≧ 1　　　K ( ε ) 　は ε 　によつて　決まる

　　　　　　　　●　　　

　　ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

　　　　　★　　　abc 予想の不等式で　ε　と　K ( ε)　の　関係を逆算的に計算してグラフを書いてみました

　　　　　　　　　　　　　求め方　　　c ＞ d　となる　いくつかの　a b c　トリプル　を選び　abc 予想の不等式　が

　　　　　　　　　　　　　　　　　　　　　成り立つように　逆算　する

　　　　　　　　　　　　　　　　　c ＜ K ( ε ) × rad ( a b c ) ^{1 + ε}　　　

　　　　　　　　a b c　トリプル　　▼　　　　1 + 8 = 9　　　　　　1 × 2× 3 = 6　　　　　　　c ＞ d

　　　　　　　　　　　　ε　≒　0　の　とき　　　　　　　9 / 6 ¹ = 1 . 5 ＜　K ( ε )

　　　　　　　　　　　　ε　＝　0.5　の　とき　　　　　　　9 / 6 ^1.5 ≒ 9 / 14.7 = 　0 .6　＜　K ( ε )

　　　　　　　　　　　　ε　＝　1　の　とき　　　　　　　9 / 6 ² = 9 / 36 = 　0 .25　＜　K ( ε )

　　　　　　　　　　　　ε　＝　1.5　の　とき　　　　　　 9 / 6 ^2.5 = 9 / 88.2 = 　0 .1　＜　K ( ε )

　　　　　　　　　　　　ε　＝　2　の　とき　　　　　　　9 / 6 ³ = 9 / 216 = 　0 .04　＜　K ( ε )

　　　　　　　　　　　　ε　＝　2.5　の　とき　　　　　　9 / 6 ^3.5 = 9 / 529 = 　0 .017　＜　K ( ε )

　　　　　　　　　　　　ε　＝　3　の　とき 　　　　　　　9 / 6 ⁴ = 9 / 36 × 36 = 9 / 1296 ≒　0 .007　＜　K ( ε )

　　　　　　　a b c　トリプル　　▼　　　　3 + 6 = 9　　　　　　1 × 2× 3 = 6　　　　　　　c ＞ d

　　　　　　　　　　　　ε　≒　0　の　とき　　　　　　　9 / 6 ¹ = 1 . 5 ＜　K ( ε )

　　　　　　　　　　　　ε　＝　0.5　の　とき　　　　　　　9 / 6 ^1.5 ≒ 9 / 14.7 = 　0 .6　＜　K ( ε )

　　　　　　　　　　　　ε　＝　1　の　とき　　　　　　　9 / 6 ² = 9 / 36 = 　0 .25　＜　K ( ε )

　　　　　　　　　　　　ε　＝　1.5　の　とき　　　　　　 9 / 6 ^2.5 = 9 / 88.2 = 　0 .1　＜　K ( ε )

　　　　　　　　　　　　ε　＝　2　の　とき　　　　　　　9 / 6 ³ = 9 / 216 = 　0 .04　＜　K ( ε )

　　　　　　　　　　　　ε　＝　2.5　の　とき　　　　　　9 / 6 ^3.5 = 9 / 529 = 　0 .017　＜　K ( ε )

　　　　　　　　　　　　ε　＝　3　の　とき 　　　　　　　9 / 6 ⁴ = 9 / 36 × 36 = 9 / 1296 ≒　0 .007　＜　K ( ε )

　　　　　　　a b c　トリプル　　▼　　　　2 + 9 = 12　　　　　　1 × 2× 3 = 6　　　　　　　c ＞ d

　　　　　　　　　　　　ε　≒　0　の　とき　　　　　　　12 / 6 ¹ = 2 . 0 ＜　K ( ε )

　　　　　　　　　　　　ε　＝　0.5　の　とき　　　　　　　9 / 6 ^1.5 ≒ 9 / 14.7 = 　0 .6　＜　K ( ε )

　　　　　　　　　　　　ε　＝　1　の　とき　　　　　　　9 / 6 ² = 9 / 36 = 　0 .25　＜　K ( ε )

　　　　　　　　　　　　ε　＝　1.5　の　とき　　　　　　 9 / 6 ^2.5 = 9 / 88.2 = 　0 .1　＜　K ( ε )

　　　　　　　　　　　　ε　＝　2　の　とき　　　　　　　9 / 6 ³ = 9 / 216 = 　0 .04　＜　K ( ε )

　　　　　　　　　　　　ε　＝　2.5　の　とき　　　　　　9 / 6 ^3.5 = 9 / 529 = 　0 .017　＜　K ( ε )

　　　　　　　　　　　　ε　＝　3　の　とき 　　　　　　　9 / 6 ⁴ = 9 / 36 × 36 = 9 / 1296 ≒　0 .007　＜　K ( ε )

　　　　　　

根基

$0$ でない整数 $N$ の根基 $\mathrm{rad}(N)$ を $N$ の素因数の積として定義します。すなわち、

r a d (N) := \prod_{p ∣ N} p

$\displaystyle \mathrm{rad}(N) := \prod_{p \mid N}p$

です( $p$ は素数を表す)。ただし、 $\mathrm{rad}(\pm 1) = 1$ とします。定義から根基は必ず無平方(square-free)です。

$ABC$ トリプル

自然数の三つ組 $(a, b, c)$ (ただし、 $a < b < c$ )がABCトリプルであるとは、 $a, b, c$ が互いに素であって

a + b = c

$a+b=c$

が成り立つときに言います(上記関係式から $(a, b, c)$ はどの二つをとっても互いに素であることがわかります)。ここで、次の問題を考えます：

ABCトリプル

(a, b, c)

$(a, b, c)$ に対して

c < r a d (a b c)

$c < \mathrm{rad}(abc)$ ―（＊）が成り立つか？

テキトーにABCトリプルを選ぶと結構成り立ちます。例えば、 $(8, 17, 25)$ に対しては

25 < r a d (8 \cdot 17 \cdot 25) = 170

$25 < \mathrm{rad}(8\cdot 17\cdot 25) = 170$

です。しかしながら、反例も見つかります。 $(1, 8, 9)$ に対しては

9 > r a d (1 \cdot 8 \cdot 9) = 6

$\displaystyle 9 > \mathrm{rad}(1\cdot 8\cdot 9) = 6$

です。しかも、無数に反例があることが分かります：

例

n

$n$ を自然数とする。このとき、ABCトリプル

(1, 3^{2^{n}} - 1, 3^{2^{n}})

$(1, 3^{2^n}-1, 3^{2^n})$ は不等式（＊）を満たさない。

証明. $\mathrm{ord}_2(3^{2^n}-1) \geq n+2$ が容易に確かめられるので(cf. 指数持ち上げ補題 - INTEGERS)、

r a d (1 \cdot (3^{2^{n}} - 1) \cdot 3^{2^{n}}) \leq \frac{3^{2^{n}} - 1}{2^{n + 1}} \cdot 3 < 3^{2^{n}}

$\displaystyle \mathrm{rad}(1\cdot (3^{2^n}-1)\cdot 3^{2^n}) \leq \frac{3^{2^n}-1}{2^{n+1}}\cdot 3 < 3^{2^n}$

と評価できる。Q.E.D.

ABC予想の主張

任意に正の数 $\varepsilon > 0$ をとったとき、（＊）の代わりに

ABCトリプル

(a, b, c)

$(a, b, c)$ に対して

c < r a d (a b c)^{1 + ε}

$c < \mathrm{rad}(abc)^{1+\varepsilon}$ ―

(ε)

$(\varepsilon)$ が成り立つか？

を考えると反例が有限個になるであろうという予想がABC予想です。

ABC予想 (Masser and Oesterle)

ε > 0

$\varepsilon > 0$ を任意にとる。このとき、

c < r a d (a b c)^{1 + ε}

$\displaystyle c < \mathrm{rad}(abc)^{1+\varepsilon}$

が有限個の例外を除くABCトリプル

(a, b, c)

$(a, b, c)$ に対して成立する。

ABC予想は次のような形に言い換えられます：

ABC予想の同値形①

ε > 0

$\varepsilon > 0$ を任意にとる。このとき、

ε

$\varepsilon$ のみに依存する正定数

C_{ε}

$C_{\varepsilon}$ が存在して、

c < C_{ε} r a d (a b c)^{1 + ε}

$\displaystyle c < C_{\varepsilon}\mathrm{rad}(abc)^{1+\varepsilon}$

が全てのABCトリプル

(a, b, c)

$(a, b, c)$ に対して成立する。

応用上はこちらの方が取り扱いやすかったりします。

同値であることの証明. ABC予想 $\Longrightarrow$ 同値形①は有限個の例外から $C_{\varepsilon}$ を定めればよいので明らか。逆を示す。 $\varepsilon > 0$ を任意にとったとき、 $\varepsilon > \varepsilon' > 0$ を満たす $\varepsilon'$ を取る。 $E$ を $(\varepsilon)$ を満たさないようなABCトリプル全体のなす集合とする。 $E$ が有限集合であることを示せばよい。 $E$ の元 $(a, b, c)$ を取ったとき、 $\mathrm{rad}(abc)^{1+\varepsilon}\leq c$ が成り立つので、 $\mathrm{rad}(abc)^{(1+\varepsilon) (1+\varepsilon')} \leq c^{(1+\varepsilon')}$ が得られる。一方、 $\varepsilon'$ に対する同値形①より $c < C_{\varepsilon'}\mathrm{rad}(abc)^{1+\varepsilon'}$ が成り立つので、 $c^{1+\varepsilon} < C_{\varepsilon'}^{1+\varepsilon}\mathrm{rad}(abc)^{(1+\varepsilon)(1+\varepsilon')}$ が得られる。合わせると、 $c^{1+\varepsilon} < C_{\varepsilon'}^{1+\varepsilon}c^{1+\varepsilon'}$ となって、 $c^{\varepsilon -\varepsilon'} < C_{\varepsilon'}^{1+\varepsilon}$ なる評価が成り立つことがわかる。これを満たすような $c$ は高々有限個しか存在しないため、 $E$ も有限集合であることが従う。 Q.E.D.

また、対称形で表現されることもあります。これらが同値であることは明らかでしょう。

定義整数の三つ組

(a, b, c)

$(a, b, c)$ が対称ABCトリプルであるとは、

a, b, c

$a, b, c$ が互いに素であって

a + b + c = 0

$a+b+c=0$

が成り立つときに言う(この記事のみの言葉遣いであることに注意)。

ABC予想の同値形②

ε > 0

$\varepsilon > 0$ を任意にとる。このとき、

max {| a |, | b |, | c |} < r a d (a b c)^{1 + ε}

$\displaystyle \max\{|a|, |b|, |c|\} < \mathrm{rad}(abc)^{1+\varepsilon}$

が有限個の例外を除く対称ABCトリプル

(a, b, c)

$(a, b, c)$ に対して成立する。

ABC予想の同値形③

ε > 0

$\varepsilon > 0$ を任意にとる。このとき、

ε

$\varepsilon$ のみに依存する正定数

C_{ε}^{'}

$C'_{\varepsilon}$ が存在して、

max {| a |, | b |, | c |} < C_{ε}^{'} r a d (a b c)^{1 + ε}

$\displaystyle \max\{|a|, |b|, |c|\} < C'_{\varepsilon}\mathrm{rad}(abc)^{1+\varepsilon}$

が全ての対称ABCトリプル

(a, b, c)

$(a, b, c)$ に対して成立する

ABCトリプルのクオリティ

ABCトリプル $(a, b, c)$ のクオリティを

q (a, b, c) := \frac{\log c}{\log (r a d (a b c))}

$\displaystyle q(a, b, c) := \frac{\log c}{\log (\mathrm{rad}(abc))}$

と定義します。このとき、ABC予想は次のように言い換えられます：

ABC予想の同値形④ 任意の正の数

ε > 0

$\varepsilon > 0$ に対して、

q (a, b, c) \geq 1 + ε

$q(a, b, c) \geq 1+\varepsilon$ を満たすようなABCトリプルは有限個しか存在しない。

今までにサーチされたABCトリプルの中でのクオリティの大きさのベスト３は次のようになっています：

$2+6436341=6435343$
$q(2, 3^{10}\cdot 109, 23^5)≒1.6299$

$121+48234375=48234496$
$q(11^2, 3^2\cdot 5^6\cdot 7^3, 2^{21}\cdot 23) ≒ 1.6260$

$24833+5020969537415167=502096953744000$
$q(19\cdot 1307, 7\cdot 29^2\cdot 31^8, 2^8\cdot 3^{22}\cdot 5^4) ≒ 1.6235$

このような数値的な証拠から、例えば次のような強い予想もなされています：

予想任意のABCトリプル

(a, b, c)

$(a, b, c)$ に対して不等式

c < r a d (a b c)^{2}

$c < \mathrm{rad}(abc)^2$

が成り立つ。

Fermatの最終定理の導出

ABC予想を仮定すると様々な問題を解決できることが知られていますが、「Fermatの最終定理が有限個の例外を除いて成立する」といったことも証明できます。なお、前節最後に述べた予想を仮定すると、Fermatの最終定理を次のように導出することができます：

$n$ を $3$ 以上の整数とする。自然数の組 $(a, b, c)$ であって、 $a^n+b^n=c^n$ を満たすようなものが存在したと仮定する。このとき、 $(a^n, b^n, c^n)$ はABCトリプルであると仮定しても一般性を失わない。すると、前節最後に述べた予想が正しければ

c^{n} < r a d (a^{n} b^{n} c^{n})^{2} = r a d (a b c)^{2} \leq (a b c)^{2} \leq c^{6}

$c^n < \mathrm{rad}(a^nb^nc^n)^2 =\mathrm{rad}(abc)^2 \leq (abc)^2 \leq c^6$

と評価でき、 $n \leq 5$ が従う。ところが、 $n=3, 4, 5$ の場合のFermatの最終定理は別個に証明されている事実である。

Weblio英和対訳辞書での「Inter-universal Teichmüller theory」の英訳

Inter-universal Teichmüller theory

根基

$ABC$ トリプル

ABC予想の主張

ABCトリプルのクオリティ

Fermatの最終定理の導出

Weblio英和対訳辞書での「Inter-universal Teichmüller theory」の英訳

Inter-universal Teichmüller theory

根基

ABC ABC ABC トリプル

ABC予想の主張

ABCトリプルのクオリティ

Fermatの最終定理の導出

　　　Weblio英和対訳辞書での「Inter-universal Teichmüller theory」の英訳

　　　Inter-universal Teichmüller theory

$ABC$ トリプル