20/04/23 16:13:35 Ayy0wuIh.net
>>276
ABC予想は、例えば下記の”q(a, b, c) > 1 + ε”のεの取り方で、
q(a, b, c) > 1.6とかq(a, b, c) > 2 とか
まあ、いろいろあるみたい
望月IUTが、何を証明するのか、実はよく知らないんだ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ABC予想
(抜粋)
定式化
c > rad(abc) が成り立つ例も無限に存在する[注 1][注 2]ため、rad(abc) を少しだけ大きくすることで例を有限個にできないかどうかを考える。すなわち、abc予想は任意の ε > 0 に対して、次を満たすような自然数の組 (a, b, c) は高々有限個しか存在しないであろうと述べている：
{\displaystyle c>\operatorname {rad} (abc)^{1+\varepsilon }.}{\displaystyle c>\operatorname {rad} (abc)^{1+\varepsilon }.}
これと同値な他の定式化（Oesterle?Masser の abc予想）として次のものがある。
三つ目の定式化は「質」(quality) と呼ばれる概念を導入して表現する。abc-triple (a, b, c) に対して、質 q(a, b, c) を次のように定義する：
このときabc予想は、任意の ε > 0 に対して、abc-triple (a, b, c) であって q(a, b, c) > 1 + ε を満たすものは高々有限個しか存在しないということを主張している。
現在、q(a, b, c) > 1.6 を満たす abc-triple は後述の通り3組しか知られていない。q(a, b, c) を 2 まで大きくすれば、そうした abc-triple は存在しないという予想もある。すなわち「全ての abc-triple (a, b, c) に対して、c < rad(abc)2 を満たすであろう」という主張だが、こちらも肯定も否定もされていない。