证明一小步，哥猜前进一大步

重生888@

杨老师玩够了，有闲工夫吗？再次邀请您参与0+0的讨论：不用验证，1000以内偶数哥猜是否成立？这是第一步！

重生888@

杨老师玩够了，有闲工夫吗？再次邀请您参与0+0的讨论：不用验证，1000以内偶数哥猜是否成立？这是第一步！

yangchuanju

………………………………………………………………………………

重生888@

yangchuanju 发表于 2023-11-26 01:28
1800以内的偶数不用验证了，第2步10000以上的偶数如何也不用验证呀？

为什么不用验证成立？您要用0+0理论说明（证明），才进行第二步！

重生888@

第二步是不用验证证明10000以上1+2成立！

yangchuanju

重生888@

请证明对于10000以上的偶数都有素数对存在，即通常说的1+1问题（重生硬说是0+0）。  发表于 2023-11-26 09:22
yangchuanju
1+2问题陈景润早已证明过来，不用再步陈景润的后尘啦！

不证明1+2，怎么证明0+0（必须分步来）！

yangchuanju

素数阶乘数是2,6,30,210,2310,30030,510510,9699690，……
将正整数按模2余数可分成奇数列和偶数列，2列；其中奇数列中含有除2以外的全部素数；
将正整数按模6余数可分成模6余1,2,3,4,5,0，共6列；其中6k+1、6k+5数列中含有除2,3以外的全部素数；
将正整数按模30余数可分成模30余1,2,3,4,5,……0，共30列；其中30k+1、30k+7、30k+11、30k+13、30k+17、30k+19、30k+23、30k+29数列中含有除2,3,5以外的全部素数；
210——48，2310——480，30030——5760，510510——92160，9699690——1658880，……

2,6,30,210,2310,30030,510510,9699690，……以内分别含有1,3,10,46,343,3248,42331,646029，……个素数；
46-3=43个素数分配到8个与30互素的互素数列中，平均有5.375个素数；
46-4=42个素数分配到48个与210互素的互素数列中，有的有一个素数，有的没有素数；
343-4=339个素数分配到48个与210互素的互素数列中，平均有7.0625个素数；
343-5=338个素数分配到480个与2310互素的互素数列中，有的有一个素数，有的没有素数；
3248-5=3243个素数分配到480个与2310互素的互素数列中，平均有6.75625个素数；
3248-6=3242个素数分配到5760个与30030互素的互素数列中，有的有一个素数，有的没有素数；
42331-6=42325个素数分配到5760个与30030互素的互素数列中，平均有7.34809个素数；
42331-7=42324个素数分配到92160个与510510互素的互素数列中，有的有一个素数，有的没有素数；
646029-7=646022个素数分配到92160个与510510互素的互素数列中，平均有7.009787个素数；
646029-8=646021个素数分配到1658880个与9699690互素的互素数列中，有的有一个素数，有的没有素数；

对于偶数32，当用与30互素的互素数对表示时，有32=1+31=13+19=19+13=31+1四种，因为在互素数系统中1+31和31+1只算作1+1一种，故表法数算作3；
对于有最少表法数的偶数212，当用与210互素的互素数对表示时，有15种表法数；
1+211        13+199        19+193        31+181        43+169        61+151        73+139        103+109

8*2=16种表示法，其中1+211和211+1算一种，为15种；内非素数对1+211,43+169四对，素数对12对。

yangchuanju

下面开始耍赖啦——
对于有最少表法数的偶数212,422,632，……，当用与210互素的互素数对表示时，有15种表法数；
在48个互素数列中，各有46-4=42，81-4=77，114-4=110……个素数，虽然不能保证15种表法数涉及的15对互素数列中都有素数，但总不能都没有素数吧？（大概率）

对于有最少表法数的偶数2312,4622,6922，……，当用与2310互素的互素数对表示时，有135种表法数；
在480个互素数列中，各有343-5=338,623-5,890-5……个素数，虽然不能保证135种表法数涉及的135对互素数列中都有素数，但总不能都没有素数吧？（大概率）

对于有最少表法数的偶数30032,60062,90092，……当用与30030互素的互素数对表示时，有1485种表法数；
在5760个互素数列中，各有3248-6=3242,6062-6,8726-6……个素数，虽然不能保证1485种表法数涉及的1485对互素数列中都有素数，但总不能都没有素数吧？（大概率）

对于有最少表法数的偶数510512,1021022，……当用与510510互素的互素数对表示时，有1485*15=22275种表法数；
在92160个互素数列中，各有42331-7=42324，80061-7=80054，……个素数，虽然不能保证22275种表法数涉及的2275对互素数列中都有素数，但总不能都没有素数吧？（大概率）

对于有最少表法数的偶数9699692,19399382，……当用与9699690互素的互素数对表示时，有1485*15*17=378675种表法数；
在1658880个互素数列中，各有647029-8=647021，1234841-8=1234833……个素数，虽然不能保证376575种表法数涉及的376575对互素数列中都有素数，但总不能都没有素数吧？（大概率）

对于有最多表法数的偶数210,420,630，……，当用与210互素的互素数对表示时，有48种表法数；
在48个互素数列中，各有46-4=42，81-4,114-4……个素数，虽然不能保证48种表法数涉及的48对互素数列中都有素数，但总不能都没有素数吧？（大概率）

对于有最多表法数的偶数2310,4620,6930，……当用与2310互素的互素数对表示时，有480种表法数；
在480个互素数列中，各有343-5=338,623-5,890-5……个素数，虽然不能保证480种表法数涉及的480对互素数列中都有素数，但总不能都没有素数吧？（大概率）

对于有最多表法数的偶数30030，当用与30030互素的互素数对表示时，有5760种表法数；
在5760个互素数列中，各有3248-6=3242,6062-6,8726-6……个素数，虽然不能保证5760种表法数涉及的5760对互素数列中都有素数，但总不能都没有素数吧？（大概率）

对于有最多表法数的偶数510512,1021022，……当用与510510互素的互素数对表示时，有5760*16=92160种表法数；
在92160个互素数列中，各有42331-7=42324，80061-7=80054，……个素数，虽然不能保证92160种表法数涉及的92160对互素数列中都有素数，但总不能都没有素数吧？（大概率）

对于有最多表法数的偶数9699692,19399380，……当用与9699690互素的互素数对表示时，有5760*16*18=1658880种表法数；
在1658880个互素数列中，各有647029-8=647021，1234841-8=1234833……个素数，虽然不能保证1658880种表法数涉及的1658880对互素数列中都有素数，但总不能都没有素数吧？（大概率）

yangchuanju

掉进了误差泥潭有一段时间了，现终于明白了——
误差泥潭太大了，好似汪洋大海，无底无边；
现已被网友拉上了岸边，不再探索这些误差啦！

1000以内偶数不用验证必有“0+0”素数对存在，已被吴代业证明；
他的另一个课题：10000以上偶数也可以不用验证就能得出它们必有素数对存在吗？
笔者有意到吴的湿地边上探一探，很可能也要掉进去吆！

对于大于10000的偶数，我是无法找到一定有0+0的素数对存在的方法，请吴先生给出不用验证就能得出大于10000的偶数必有0+0素数对存在的论证！