已知梅森数的各个因子(包括素因子和复合因子)必须是指数p的2,6,8;10,14,16;18,22,24;……倍再加1;
(m-1)/p=2k1*p+1, k1=1,3,4;5,7,8;9,11,12;……
(t-1)/(m-1)=2k2*p/(2k1*p)=k2/k1, k1=3,4;5,7,8;9,11,12;……
(y-1)/p=2k3*p+1, (ty-1)/p=2k4*p/p,……
(t-1)/(m-1)=2k2*p/(2k1*p)=k2/k1, (y-1)/(m-1)=k3/k1, (ty-1)/(m-1)=k4/k1,……
对于其它素因子及复合因子,因子减1除以最小素因子减1的商都等于某一个kn除以k1;
当k1等于1时,必然有(t-1)/(m-1), (y-1)/(m-1), (ty-1)/(m-1)及其它因子减1除以最小素因子m减1,都是整数。
kn>……>k3>k2>k1,均是大于号,不可能相等;kn/k1,……,k3/k1,k2/k1等于多少,无特定关系。
(比值不确定,但对于一个特定的梅森数,这些比值都是确定的大于1的正数。)
当k1等于3,4,5,7,8……时只对于个别梅森数能够部分整除或全部整除。
经查对上面的三整除的19个梅森数中,只有p=233,461,557,577等少数几个的k1=3外,其余的梅森数的k1都等于1;
p=233,461,557的第3,4,5素因子能不能整除,未检验,结果不详。
|