素数公式，大公式

太阳

yangchuanju 发表于 2022-11-23 11:46
对于满足2不整除+1整除的梅森数，太阳先生自己找到了一个499，笔者又找到了一个1193，应该还有很多；
尚若 ...

现附加条件是：分母不含5，分子不相等
5也是素数，分母是5，分子不相等，找到反例吗？

太阳

2^1129-1，分母是5，是一个反例

太阳

素数5，有反例存在，其它素数，也会有反例存在，命题应该是错误的

yangchuanju

太阳先生的素数公式被推翻了！
太阳先生近期连发多个博贴，一再宣称，他找到了一个有用的素数公式，
使用他的素数公式，很容易地找到亿位大素数。

“太阳素数公式”简述如下：
令含3个或3个以上素因子的梅森数的最小素因子为m；
令该梅森数的第2素因子为t；
将该梅森数的第3及第3以后的素因子合并成一个因子y；
将该梅森数的第2及第2以后的素因子合并成一个因子ty。
如果(t-1)/(m-1)和(y-1)/(m-1)都不是整数（用带分数表示），但(ty-1)/(m-1)是整数；
把带分数的分数部分单独分离出来，只要两既约真分数的分母是素数，则y因子就是素数；
否则真分数的分母是合数，则y因子就是合数；
附加条件是：两既约真分数的分母不能含素数5，且两个分子不能相等。

太阳先生给出的一个关键例子是2^499-1，它的两个既约真分数分别是2/7和3/7，分母是素数，分子不相等，
y因子应该是素数。是的，2^499-1是一个3素因子梅森数，第3因子是素数。
太阳先生断言，不存在反例。

是的，我抱着不会存在那样的“素数公式"，花费两个星期的时间，深入研究了梅森数分解、梅森数因子之间的关系，
试图找到太阳素数公式的反例，但一直未果；反而给太阳先生找到了一个正面例子2^1193-1，
它的两个既约真分数分别是1/17和8/17，2^1193-1的第3因子也是素数。

功夫不负有心人，今天荣幸地找到了“太阳素数公式”的真正反例，它的两个既约真分数分别是9/11和8/11,
符合太阳先生的所有规定，分母是素数，但y因子是合数，从而彻底推翻了太阳先生研究多日的“素数公式”。

太阳

9/11和8/11，请问p等于多少？验证一下

yangchuanju

太阳 发表于 2022-11-24 21:08
9/11和8/11，请问p等于多少？验证一下

8761是也！

太阳

p＝8761，验证是一个反例

yangchuanju

2^6373-1是22家族的一位媳妇，本姓6；在娘家是一位大美女——尽管父母的基因都是“不”，但闺女确极为纯贞——“整除”。
嫁到婆家后改姓22，（以第2素因子为m，第1素因子合并到第3素因子中为t）变成一个三不整除的“丑老婆”。
在娘家，两个分数都是2/3，但太阳公公不承认她是499的好姊妹，理由是它们的分子相等；嫁到太阳家族后公公更不会看中这位丑媳妇了。

yangchuanju

按照太阳先生设定的在梅森数中寻找具有“不整除+不整除=整除”这种特定性质的梅森数的条件，
要找到几个符合条件的梅森数十分困难，主要是因为梅森数的数值都是异常大的。
须知，在众多的梅森数中，要寻找“3不整除”的梅森数，则比比皆是；
要寻找“3整除”的也不算困难；
但要找到“不整除+不整除=整除”的梅森数则难度是非常大的。

尽管寻找难度非常大，最终还是被攻破了！
如果太阳先生还想在这方面进行探讨，不妨再加大一些难度：
令含4素因子及4素因子以上的梅森数的：
第2素因子为m，第1和第3素因子积为t，第4素因子及以后的素因子合并为y，就像您的那个“丑媳妇”那样，
再将因子t、y合并成一个复合因子ty；
再令(t-1)/(m-1)=b2,  (y-1)/(m-1)=b3,  (tsy-1)/(m-1)=b4,  【留着b1=(m-1)/p待用】；
求满足b2、b3都不是整数，而b3是整数的梅森数，
注意：不要再限定两个分数的分子不得相等，分母不得含素因子2和5等附加条件啦；
不要再设定哪些因子必定是素数的，哪些因子必定是合数等不合理的猜想啦。

相信太阳先生一定能够找到一些满足“不整除+不整除=整除”的梅森数！
【您的那个儿媳妇在娘家（b1=6）是“不整除+不整除=整除”的大美女，嫁到b1=22家族后才变成“3不整除”丑媳妇的】
恭喜成功！

yangchuanju

估一估，2^100000007-1会有什么样的素因子？
100000007是一个最小的9位素数，梅森数2^100000007-1可能是梅森素数，但几率极低；
故这个梅森数很可能是合数。

如果这个梅森数是合数，则它的素因子一定是2*100000007*k+1中的某几个素数，
其中k为1,3,4,5,7,8,9，……；k中没有2,6,10，……4n+2型的正整数。
一般我们把2与k合并到一起，若仍有k表示，则：
梅森数2^100000007-1的素因子一定是100000007k+1中的某几个素数，
其中k为2,6,8,10,14,16,18，……；k中没有4,12,20，……8n+4型的正整数。

用试除法寻找梅森数的素因子，
试除所用到的最大试除数不超过梅森数的平方根，2^5000003.5约等于10的15051500次方，
相应的k不超过10的15051492次方，但后部的大k可能是无用的。
实际上试除中如果找到了一个素因子之后，继续试除时只需要试除到“梅森数除以第1素因子之商”的平方根即可。
同时试除工作不用从头开始，而是从上一个有用的k之后接着进行的；
同时梅森数的第2素因子不会小于第1素因子的2倍，故下一个试除用k加倍即可。
在找到第1个素因子后，反查一下该素因子对应的k，再看一看该k的2倍是不是2,6,8,10,14,16……中的数字；
若不是，则下一个试除用k再加倍即可（4倍数）。

先算出一些较小的100000007k+1的正整数，例如先算1万的，注意只要其中的2,6,8,10,14,16，……即可；
再找出其中的素数，接着从最小素数逐个试除即可。
如果选定的素数已用完，但没有找到给定梅森数的最大素因子，则需加大试除用k，直至找到梅森数的第1个最小的素因子为止；
此时试除工作只完成了第一步。

例：100000007k+1型素数表               
k        100000007k+1        分解式
18        1800000127        1800000127 is prime
50        5000000351        5000000351 is prime
86        8600000603        8600000603 is prime
146        14600001023        14600001023 is prime
168        16800001177        16800001177 is prime
               
3000多万位的梅森数除以第一个试除用素数1800000127，我是不会算，太阳先生会算吗？

再告诉你两个绝招：
一、所有的梅森因子都是模8余1或7的，如果上述素数之中有模8余3和余5的统统去掉，不必试除；
上面的5个素数中第3个素数模8余3，不必用它试除了。
二、所有梅森因子都只能是某一个特定梅森数的因子，如果你收集或下载了全部已知的梅森因子，那怕是部分梅森因子也行，
将你所筛选的待试除用的素数与梅森因子表中的素因子比对一下，如果梅森因子表中有那个素数，也不必再试除。