|
对于ABC猜想的描述,有几种,看似不同,其实都一样。下面摘自维基百科,关于ABC猜想的几种定义:
对于任何ε >0, 只存在有限个互质正整数的三元组(a,b,c), c=a+b, 使得c > rad(abc)1+ε, 这儿,rad(abc) 表示a, b 和 c 的全体不同素因子的积.
其等价表示有:
(2) 对于任何ε >0, 存在常数Cε >0, 使得对于互质正整数的三元组(a, b, c), c = a + b, 有:c < Cε. rad (a b c)1+ε.
(3) 用到三元组的品质(quality), 定义为:q(a, b, c)=log©/log(rad (a bc)),例如:log(4,127,131)= log(131)/log(rad(4.127.131))= log(131)/log(2.127.131) =0.46820…
log(3,125,128)=log(128)/log(rad(3.125.128))=log(128)/log(30)=1.426565…
一般的互质正整数的三元组,通常是rad(a b c) > c, 因此q(a, b, c) <1, q>1的情况较少出现.
对于任何ε >0, 只存在有限个互质正整数的三元组(a, b, c), c=a + b, 使得q(a, b, c) >1+ε.
注意ABC猜想中的ε 不能去掉,不然命题不成立。例如:an=32n-1, bn=1, cn=32n. 这三个正整数互质,且有an+ bn= cn, 但an可被2n+2整除,因此有rad (an bn cn)≤3.2.an/2n+2=3an/2n+1; 因此cn>an≥2n+1/3.rad(an bn cn), 当n 趋向无限大时,2n+1/3也趋向无限大. 因此,不存在常数Cε,使得c < Cε. rad (a b c),对所有适合条件的三元组都成立.
注明一下:(1)上面的1+ε都是指数,只因在此不能放在括号的右上方。
(2)我文中对ABC猜想的定义,属于前述第一种(未标序号的)。这里的提法还是我投稿伦敦数学学会杂志时,它的一位著名的数论编辑回复我的提交时,这么描述的。后来,我就按这位编辑所述,改写了我原先的提法,成现在这样,也更易于理解。
|
|