反证法，大于2的偶数等于2个素数和。欢迎评论

zx4560

命题大于2的偶数等于俩个素数之和
抽象，模拟同步算术基本逻辑，推理判断和假设矛盾
【整数理论】2N=P1＋P2

哥德巴赫猜想，命题大于2的偶数等于俩个素数之和
那么自然数，素数，
命题可以我们就可以判断属于【整数理论】


数(prime number)又称素数，有无限个。一个大于1的自然数，除了1和它本身外，不能被其他自然数整除，换句话说就是该数除了1和它本身以外不再有其他的因数;否则称为合数。
根据算术基本定理，每一个比1大的整数，要么本身是一个质数，要么可以写成一系列质数的乘积;而且如果不考虑这些质数在乘积中的顺序，那么写出来的形式是唯一的。最小的质数是2
设：（自然数N）N>1
偶数=2N
奇数=2N－1
∵2N÷2=N(满足整数解）
∴自然数N>1（偶数里面没有素数）
要么哥德巴赫猜想正确、2N=P1＋P2
要么哥德巴赫猜想不成立 、2N≠P1＋P2
成立的条件是什么、不成立的条件是什么
假设：2N≠P1＋P2

当N≠P（P等于任意素数）
N=偶数
N=奇数
（偶数：N)－1=S1
(奇数：N）－2=S2
2N－S1(N=偶数）=L1
2N－S2(N=奇数）=L1
L1（要么是素数、要么是复合数）
假设：L1素数
2N－L1=（要么是素数、要么是复合数）
2N－L1=（假设等于A1×B1×C1）
2N－S1=L1(假设：L1=复合数)=A1×B1×C1(模拟.算术基本逻辑.）
如果L1=素数。
那么2N－L1=S1(假设：S1=复合数)=A1×B1×C1
抽取素数、A1.B1.C1

2N－A1=L2(整数分解）=An2
2N－B1=H2(整数分解）=Bn2
2N－C1=M2(整数分解）=C2
L2、H2、M2、（要么是素数、要么是复合数）
假设；L2、H2、M2、是复合数、
抽取素数：A2、B2、C2、

2N－A2=L3(整数分解）=An3
2N－B2=H3(整数分解）=Bn3
2N－C2=M3(整数分解）=Cn3

L3、H3、M3、（要么是素数、要么是复合数）
假设；L3、H3、M3、是复合数
抽取素数：A3、B3、C3、
2N－A3=L4(整数分解）=An4
2N－B3=H4(整数分解）=Bn4
2N－C3=M4(整数分解）=Cn4
L4、H4、M4、（要么是素数、要么是复合数）
假设；L4、H4、M4、是复合数
抽取素数：A4、B4、C4、
2N－A4=L5(整数分解）=An5
2N－B4=H5(整数分解）=Bn5
2N－C4=M5(整数分解）=Cn5
L5、H5、M5（要么是素数、要么是复合数）
假设；L5、H5、M5、是复合数
抽取素数：A5、B5、C5、
...............................模拟算术逻辑（WY1式）
（一）、要么、算术逻辑有限循环（素数循环）
素数循环代表2N用这个算术逻辑判断都是复合数（2N≠P1＋P2）
模拟：都是复合数，算术有限循环假设（算术逻辑）
2N－A=Bb（抽取素数：B）
2N－B=Cc（抽取素数：C）
2N－C=Aa（抽取素数：A）
（二）、要么、算术逻辑无限不循环（无限增加不相同素数）
不循环代表2N用这个算术逻辑判断都是复合数（2N≠P1＋P2）
不循环无穷的素数代表（无限增加不相同素数)
任意2N有限值
2N－P（无限不相同素数2<P<2N）
有限和无限矛盾、反之由上面逻辑（2N=P1＋P2）
假设（2N≠P1＋P2）
抽取（一）有限算术逻辑循环、（2N≠P1＋P2）
再进行模拟算术判断
设（2N≠P1＋P2）
这里E2、F2、G2、可以是素数或者是复合数
2N－2A2=2E2÷2(E2因式分解）=Sn2
② 2N－2B2=2F2÷2(F2因式分解）=Wn2
2N－2C2=2G2÷2(G2因式分解）=Rn2
假设；E2、F2、G2、是复合数
抽取素数：S2、W2、R2

2N－S2=E3(E2整数分解）=Sn3
① 2N－W2=F3(F2整数分解）=Wn3
2N－R2=G3(G2整数分解）=Rn3
E3、F3、G3、（要么是素数、要么是复合数）
假设；E3、F3、G3、是复合数
抽取素数：S3、W3、R3
2N－2S3=2E4÷2(E4因式分解）=Sn4
② 2N－2W3=2F4÷2(F4因式分解）=Wn4
2N－2R3=2G4÷2(G4因式分解）=Rn4
这里E4、F4、G4、可以是素数或者复合数
抽取素数：S4、W4、R4、

2N－S4=E5(E5整数分解）=Sn5
① 2N－W4=F5(F5整数分解）=Wn5
2N－R4=G5(G2整数分解）=Rn5
E5、F5、G5、（要么是素数、要么是复合数）
假设；E5、F5、G5、是复合数
抽取素数：S5、W5、R5、
2N－2S5=2E6÷2(E6因式分解）=Sn6
② 2N－2W5=2F6÷2(F6因式分解）=Wn6
2N－2R5=2G6÷2(G6因式分解）=Rn6
这里E6、F6、G6、可以是素数或者是复合数
抽取素因数S6、W6、R6、
..............................模拟算术计算逻辑（WY2式）
（三）、要么、有限算术逻辑循环（素数循环）
有限算术循环逻辑，代表2N用这个算术逻辑判断都是复合数
（2N≠P1＋P2）
（四）、要么、无限算术不循环(无限增加不相同素数)2N用这个算术逻辑判断都是复合数（2N≠P1＋P2）
不循环无穷的素数代表（无限递增)
2N－P（无限不相同素数、P<2N）
有限与无限矛盾由上面逻辑（2N≠P1＋P2）不成立
反之（2N=P1＋P2）
假设（2N≠P1＋P2）只能选择（一）、（三）有限循环假设（素数循环）
将两个算术逻辑假设问题合并成一个问题，推理判断。
要么、（WY2）全部素数与（WY1）全部相同
要么、（WY2）所得到素数与（WY1）存在递增不相同素数

设： （WY2式）（素数循环）所有素数、与（WY1式）素数全部相同
设：（WY1）复合数算术循环逻辑S项列
A→B→C→D→E→F→G→H→A
抽象：模拟，S列项算术循环模拟：
（1）2N－A=Bb
（2）2N－B=Cc
（3）2N－C=Dd
（4）2N－D=Ee
（5）2N－E=Ff
（6）2N－F=Gg
（7）2N－G=Hh
（8）2N－H=Aa
（1）2N－A=Bb..........
2N不等于两个素数和(2N≠P1＋P2）
（WY2）复合数算术循环逻辑参照（WY1）
（2N－A=Bb）（ 2N－2A=2Bd）
2N－A=Bb和 2N－2A=2Bd
A=Bb－2Bd
A=Bd(Bb－d－2)
2N－Bd(Bb－d－2)=Bb
2N－Bb＋2Bd=Bb
N=2Bb－2Bd
B不是2N的素因数
2N÷B<不满足整数解>
假设：等式成立（有分数解）
整数理论和假设矛盾
反之
（WY2）②A(8)→推导(1)得不到B的素数
（ 2N－2A=2Bd）不成立
循环模拟A→B→C→D→E→F→G→H→A
抽象假设：(WY2)和(WY1)素数循环模拟成立
模拟（WY1式）有限算术循环假设
（1）2N－A=Bb
（2）2N－B=Cc
（3）2N－C=Dd
（4）2N－D=Ee
（5）2N－E=Ff
（6）2N－F=Gg
（7）2N－G=Hh
（8）2N－H=Aa
（1）2N－A=Bb..........
任意一式，2N－2E=2Bm
2N－Ee=D
2N－C=（2N－Ee）d
C=2N－（2N－Ee）d
2N－B=[2N－（2N－Ee）d]c
B=2N－[2N－（2N－Ee）d]c
代入
2N－2B=2Em
2N－2[2N－（2N－Ee）d]c=2Em
那么这里只存在关系式2N与E的关系式
2N－2[2N－（2N－Ee）d]c=2Em
N－[2N－（2N－Ee）d]c=2Em
c≥2
[2N－（2N－Ee）d]c【必定产生(2N)C】
那么N－(2N)C
N(1－2CNC－1)

N【K】－E【S】=2Em
这里就产生N与E存在素因数关系
而N的素因数不包含E
如果等式成立K或S存在分数解
假设存在分数和命题整数论之间存在矛盾。
反之假设（2N≠P1＋P2）只能选择（一）、（三）有限循环假设（素数循环）存在一式有限循环假设不成立
那么（一）、（三）里面两式存在一式为无穷假设（无限递增不相同素数）
2N是有限值与无限不相同素数存在矛盾
反之由上面算术逻辑（2N≠P1＋P2）不成立
那么由上面算术逻辑（2N=P1＋P2）

参照文献：
欧几里德素数无限大，改写版
抽象,，模拟基本算术逻辑，推理判断和假设矛盾。
素数个数无限个<整数理论>
抽象假设：
设：素数个数有限个
从小到大依次排列为P1、P2、 P3、、、、、Pn
模拟基本算术逻辑：由小到大依次相乘
P1×P2×P3×......×.Pn=N
那么，N＋1
是素数或者不是素数
N＋1>Pn
推理判断：
如果N＋1为合数，
设：W=P1、P2、 P3、、、、、Pn（任意素数）
（N＋1）÷W
N÷W（满足整数解）
1÷W（不满足整数解）
命题条件是整数理论(素数定义）
而，1÷W（不满足整数解），属于分数。
不属于整数理论
所以N＋1合数或者素数
N＋1分解得到的素因数肯定不在假设P1、P2、 P3、、、、、Pn、里面
假设的有限个素数之外还存在着其他素数。所以原先的假设不成立。也就是说，素数有无穷多个
注：这遍文章属于欧几里德学术理论，

已经3个多月了，想问一下我的文章有没有结果
专家回复
首先，感谢您对本栏目的关注！谢谢作者询问！本栏目物理、数学、天文等几门专业稿件的评审，比较费时间。作者提及的那篇稿件，仍在专家评审中。如果作者对这篇稿件另有意图（例如撤稿他投，或作重要修改等），可以来信通知，栏目可以设法配合。

《科学智慧火花》编辑组
一遍数学理论文章中科院数学系3个月，审不出一个结果