20/05/16 16:23:12 CvTinTc1.net
>>842
具体的なトリプルを使えば下界はすぐ求まる
(いま、トリプルの集合を
T={ (a,b,c)∈Z^3 | 0＜a＜b, a+b=c, gcd(a,b)=1 } とすると)
個々のトリプルに対しては
K(ε) ＞ c/rad(abc)^(1+ε) = rad(abc)^(q(a,b,c)-1-ε)
を満たす必要がある
つまり全部のトリプルを合わせて考えると
K(ε) ＞ sup_{t∈T} rad(abc)^(q(a,b,c)-1-ε)
右辺のsupが有限値として存在すれば K(ε) が存在できる