恒表对偶素数公式
所谓“对偶素数”，即n、y为自然数,（n+y）,（n-y）都是素数的名称。是作者采取“公式法”证明哥德巴赫猜想时发现的一种素数类型。因为（n+y）+（n-y）=2n，所以只要找到对偶素数公式，能够证明每个2n都必然可以表成一式（n+y）+（n-y）,则哥德巴赫猜想成立。提要运用、推广素数判定定理即可证明恒表对偶素数公式。关键词恒表对偶素数公式引理素数列前r项之积，加上或减去1个大于pr的素数y，和与差都不被除开y外的大于pr、小于或等于和或差的平方根的素数整除时，即为“对偶素数”。定义pr!=素数列前r项之积，r分别取值除开1外的前r项自然数;p表素数，y表大于pr的素数;px表pr!缺项素因子、大于pr小于和或差平方根的素数;“i”为素因子自由改变号。引理可以表述为：对偶素数公式p=pr!+yp-2y=pr!-ypx
#8740;p、p-2yp、p-2y必表对偶素数。证明已知pr|pr!pr
#8740;y=
pr
#8740;p。同理y
#8740;p。已知px
#8740;p。=
不大于p的平方根的素数都
#8740;p。假设有一个素数大于px且|p,已知px大于y小于和或差平方根的素数=
同时必有一个pr或px|p，这与已证pr
#8740;p、已知px
#8740;p矛盾=
假设不能成立。综上=
p必是素数。同理可证p-2y必是素数。例如p=2x3x5+7=37p-2y=2x3x5-7=23p=2x3x5+11=41p-2y=2x2x5-11=19p=2x3x5x7+11=221p-2y=2x3x5x7-11=199p=2x3x5x7+13=223p-2y=2x3x5-13=197推论一任意改变pr!的因数的指数，定理依然成立。例如p=2x2x3+5=17p-2y=2x2x3-5=7p=2x2x3x5+13=73p-2y=2x2x3x5-13=47p=2x3x3+5=23p-2y=2x3x3-5=13p=2x3x5x5+7=157p-2y=2x3x5x5-7=143推论二pr!的因素除开2不缺项外，和或差不被缺项素数整除时，定理依然成立。例如p=2x5+7=17p-2y=2x5-7=3p=2x2x2x3+13=37p-2y=2x2x2x3-13=11p=2x2x2x3+17=41p-2y=2x2x2x3-17=7pr≤自然数n,n!(分解合数项质因数)=pr!；统一引理与推论的表计=
：对偶素数定理自然数前n项、或n内若干项（除开2的指数不为0外，各项或其素因子的指数可以任意改变）之积，加上1个大于n的素数（或者一个大于n，不被小于等于n的素数整除的自然数），和或差都不被缺项素因子、大于n小于或等于和或差平方根的素数整除时，必是对偶素数，其值集是对偶素数集。恒表对偶素数公式p=n!+y=pr!i+ypr!i-y=p-2y=n!-2y=pr!i-2ypx
#8740;p、p-2y,p、p-2y必表对偶素数，其值集即是全部对偶素数。证明：p、p-2y必为对偶素数的证明同引理。公式表示了引理及其推论的三类素数，任意一个素数的构成必是其一=
p、p-2y值集是对偶素数集。讨论：能够证明每个不小于6的2n都必然可以表成一式p+(p-2y)？因为作者已经革新计算原理、方法，从而导出根据“筛法”计算素数数目的上下限、近似值公式，同理导出2n可以表成的两素数和式数的上下限、近似值公式，从而证明了哥德巴赫猜想；在此解答，文不对题，所以不予议论。写此文，运用基础常识外，即使参考了文献，也无济于事。非作者贪别人之功，而违规不列出参考文献。说明：不整除号异变成了“
#8740;”。修改问题1、有些算式中有相同的数的乘积，最好积前再“=”一次，把它们改写成乘方，其它数不变。2、把px、py、pr等角码数字x、y、r打规范。乘号x改正确。我打不成，没法修改。赞