|
|
偏移
|
1,1
|
|
|
评论
|
只有两个已知术语。
如果p在A001220号，则p-1在序列中。如果k在序列中并且k+1是复合的，那么k+1的任何素因子都在A001220号（参见第五条评论以获取证据）。在这种情况下，k+1可以称为“维埃弗里奇伪素数”。
上面第二条评论第二部分的证明：设q是（k+1）的任何奇素因子。由于2和q^2是互质，因此从欧拉的方向定理（也称为欧拉定理或费马-尤勒定理）可以得出2^（phi（q^2））==1（mod q ^2）。写phi（q^2）=q^2-q=q（q-1），得到2^（q（q-1））==1（mod q^2）。取同余两边的q根，得到2^（q-1）==1（mod q^2）。Q.E.D.公司-费利克斯·弗罗利奇（Felix Fröhlich）2015年6月8日
如果存在（3），则对应于A001220号（3） -1，即a（3）+1必须是素数。这可以用以下方式表示：假设a（3）+1是复合的。然后，前面注释中的定理暗示，对于某些x，y>=0和x，y不是都为0，a（3）+1的形式为1093^x*3511^y。如果x或y是整数k>1，则p=1093或p=3511满足2^（p-1）==1（mod p^（2k））。对PARI的快速检查表明，对于任何k>1，1093和3511都不满足此同余。这使得x=y=1也可以排除，因为3837523不在2015年5月67日.Q.E.D.公司-费利克斯·弗罗利奇（Felix Fröhlich）2015年6月8日
|
|
|
链接
|
L.C.华盛顿，关于费马最后定理J.reine angew。数学。，第289期（1977年1月），115-117。
|
|
|
数学
|
fQ[n_]：=功率模块[2，n，（n+1）^2]==1；选择[Range@3600，fQ](*罗伯特·威尔逊v2015年6月17日*）
|
|
|
黄体脂酮素
|
（PARI）isok（n）=升力（Mod（2，（n+1）^2）^n）==1\\米歇尔·马库斯2014年4月12日
（PARI）测试（lim）=my（t=1）；对于（i=0，log（lim）\log（1093），my（n=t）；而（n<=lim，如果（Mod（2，n^2）^（n-1）==1&&n>1，打印（n-1；n*=3511）；t*=1093）
test（1.2e17）\\测试到Wieferich素数的当前搜索边界；查尔斯·格里特豪斯四世2014年4月12日
|
|
|
交叉参考
|
|
|
|
关键词
|
坚硬的,更多,非n,布雷夫
|
|
|
作者
|
|
|
|
状态
|
经核准的
|
