|

楼主 |
发表于 2022-11-15 20:31
|
显示全部楼层
梅森数、梅森数的素因子、复合因子都是2kp+1型整数。
假定所研究的梅森数2^p=1=mty,其中m是梅森数的最小素因子,t是第2素因子,y的素合性不知;
令m=2k1*p+1,t=2k2*p+1,y=2k3*p+1,则(t-1)/(m-1)=k2/k1,(y-1)/(m-1)=k3/k1;
ty=(2k2*p+1)*(2k3*p+1)=4k2*k3*p^2+2*(k2+k3)*p+1=2k4+1;(ty-1)/(m-1)=k4/k1。
其中k4=2k2*k3*p+k2*p+k3*p
当k2/k1, k3/k1都是整数时,不妨令k2/k1=n2, k3/k1=n3, 则k2=k1*n2, k3=k1*n3;
k4=2k1*n2*k1*n3*p+k1*n2*p+k1*n3*p, k4/k1=2k1*n2*n3*p+n2*p+n3*p;
即当k2/k1, k3/k1都是整数时,(ty-1)/(m-1)=k4/k1也是整数。
当k2/k1, k3/k1都不是整数时,不妨令k2/k1=n2+a/k1, k3/k1=n3+b/k1, 则k2=k1*n2+a, k3=k1*n3+b;
k4=2*(k1*n2+a)*(k1*n3+b)*p+(k1*n2+a)*p+(k1*n3+b)*p=[2*k1*n2*k1*n3 +2*k1*n2*b +2*k1*n3*a +2*a*b +k1*n2 +k1*n3 +a+b]*p;
k4/k1=[2*k1*n2*n3 +2*n2*b +2*n3*a +n2+n3]*p +[2*a*b*p+a+b]*p/k1;
只有当上式后部分式是整数时,k4/k1才是整数(整除),否则k4/k1不是整数。
式中a、b都小于k1,或许还有一个0,并且与k1互素;p给定后,a,b跟随者被确定,k4/k1也就确定了。
当a=0或b=0时,后部分式等于b/k或a/k1,k4/k1不会是整数。
对于3素因子梅森数,第3因子一定是素数;对于4素因子或更多素因子的梅森数,第3素因子及后部素因子的乘积肯定是合数!
3个分式是否整除,与梅森数的后部因子的素合性有什么关系?
太阳坚持说,在“不整除+不整除+整除”时,如果k1是素数余因子y就是素数;如果k1是合数余因子y就是合数,有什么理论根据?
太阳后来又硬性地加上k1不能是5的倍数,又有何道理?
|
|