《哥德巴赫猜想》首先是由哥德巴赫提出来的，通过世界数学联合会命名为《哥德巴赫猜想》。
《哥德巴赫猜想》是大于2的偶数是两个素数之和。
根据上述结论，必须要证明的有3个内容
▪大于等于6的偶数是两个素数之和；
▪两个素数之和是偶数；
这两项是下限（小于无穷大时的素数）
▪趋近于无穷大时的素数是什么？
这项是上限（因为命题没有明确规定所以必须证明上限）
必须证明这3项，才算证明《哥德巴赫猜想》。
哥德巴赫猜想还有
▪一项附加，三个素数之和是奇数。
这项是在哥德巴赫给欧拉信件中提到的。
▪大于等于6的偶数是两个素数之和；
因为素数分为可除尽素数和循环素数
要证明大于等于6的偶数是两个素数之和，先要有偶数通项公式，
把偶数商位和写成函数
对应数的商位和相等并等于9，
中间项的商位等于5
除了中间项外还有(E-2)项
移项得
这就是偶数通项公式
大于等于6的偶数是两个素数之和
上式分成两式
上式就是两个最小的循环素数3的和。
把把3的公式换成循环素数通项公式：
这就是偶数可以写成两个循环素数的和。
是素数公式吗？
把素数商位和写成函数
对应数的和相等并等于9
共有（p-1）项
移项处理
推理出来的素数公式，和偶数分出来的素数公式一致。
两个素数的和是偶数
这就是两个素数之和是偶数。
3个素数之和是奇数
可除尽素数公式
p=2/10Sp+1
可除尽素数只有2和5
2+2=4用公式证明
（2/10Sp+1）+（2/10Sp+1）=4
S2=[1/2]=5
把S2=5代入可除尽素数公式
（2/10×5+1）+（2/10×5+1）=4
5+5=10用公式证明
S5=2+8+4+6=2×10
[1/5]=2; [2/5]=4; [3/5]=6; [4/5]=8.
把S5=2×10代入可除尽素数公式
（2/10×2×10+1）+（2/10×2×10+1）=（4+1）+（4+1）=10
素数对应数的商位和相等并等于9的来源
7是1节循环素数，对应数的商位和相等并等于9
17是1节循环素数，对应数的商位和相等并等于9
,19是1节循环素数，对应数的商位和相等并等于9
41是多节循环素数（8节），对应数的商位和相等并等于9
凡是素数都是这样。
偶数对应数的商位和相等并等于9，中间项的商位等于5
4是偶数
[1/4]=2; 为了避免重复，每次只取小数点后第一位（下同） [2/4]=5(中间项）；[3/4]=7
2+7=9,中间项的商位[2/4]=5
8是偶数
[1/8]=1为了避免重复，每次只取小数点后第一位（下同）
[2/8]=2; [3/8]=3; [4/8]=5(中间项）；[5/8]=6; [6/8]=7; [7/8]=8
1+8=2+7=3+6=9,中间项的商位[4/8]=5
凡是偶数都是这样。
