【朗報】ABC予想、証明される

62 ：１３２人目の素数さん：2017/12/16(土) 22:59:38.84 ID:N5U1/1go.net

>>57
abcトリプルとε＞1に対して
【d=rad(abc)とすると
c>d^εを満たす組は高々有限個】
【有限個の例外を除いて
c<rad(abc)^ε が成り立つ】
【εごとに実数K(ε)が定まり
c<K(ε)rad(abc)^ε が例外なく成り立つ】
上の3つは同値

ただし
【c<rad(abc)^2 が例外なく成り立つ】
は別の問題。上3つからの系(コロラリー)にもならない。