摘 要: | 在研究a2+1型素数有无穷多命题时,通过构造b=(24)ΛZt-1,注(ab记为aΛb),b2+1为素数,则b4+1=Q必为素数,从而找到人类历史上第一个表素数公式之后,又用无限递降的区间套和反证法证明了若q≥31为奇素数,M(q)是梅森素数,则M(M(q))也是梅森素数.但对M(M(13)),M(M(17)),M(M(19))三个梅森数,因有罗宾逊的两篇论文而成例外,通过深入研究梅森合数的素因数分解式性质,验证了罗宾逊的错误,从而可以去掉q≥31的假设,因而无例外地证明了第二个表素数公式.
|