140 :名無しのひみつ:2012/09/19(水) 00:24:25.76 ID:GFUuuziE ===予備知識=== ;abc-triple :正の整数 a,b,c について、a + b = c かつ a, b は互いに素である三つ組み (a, b, c) ;rad(n) :正の整数 n の、素因数の積。 :Ex. rad(504) = rad(2^3 * 3^2 * 7) = 2 * 3 * 7 = 42 504の素因数は、2と3と7だからrad(504) = 2*3*7 =42 ===abc予想=== 任意の abc-triple は、c < {rad(abc)}^2 を満たす。 ==== Oesterlé, Masserによる一般化== abc-triple は(有限個の例外を除き一般に)、c < rad(abc)^κ を満たす(κ は1以上の実数)。 (κは1.62991より