1、1“哥德巴赫猜想”讲义（第 15 讲）“哥德巴赫猜想”证明（10）主讲 王若仲第 14 讲我们讲解了核心部分的定理 4，这一讲我们讲核心部分的定理 5。定理 5：对于任何一个比较大的偶数 2m，设奇素数p1，p 2，p 3，p t均为不大于2m 的全体奇素数（ pip j ，ij，i、j=1，2，3，t） ，tN，且 偶数 2m 均不含有奇素数因子 pi，p j，p r，p s，偶数 2m 均含有奇素数因子pe，p u，p v，p w；那么集合 pi，2p i,3pi，4p i，5p i，m ipi pj， 2pj,3pj，4p j，5p j，m jpj p r，2p r,3pr，4p r，5
2、p r，m rprp s，2p s,3ps，4p s，5p s，m s ps p e，2p e,3pe，4p e，5p e，m epep u，2p u,3pu，4p u，5p u，m upup v，2p v,3pv，4p v，5p v，m vpvp w，2p w,3pw，4p w，5p w，m wpw中正整数的总个数与集合（2m-p i） ， （2m-2p i）,（2m-3p i） ， （2m-4p i） ， （2m-5p i） ， （2m-mipi）（2m-p j） ， （2m-2p j）,（2m-3p j） ， （ 2m-4pj） ， （2m-5p j） ， （2m-m jpj）（2m-p
3、 r） ， （2m-2p r） ,（2m-3p r） ， （2m-4p r） ，2（2m-5p r） ， （2m-m rpr）（2m-p s） ， （2m-2p s）,（2m-3p s） ，（2m-4p s） ， （2m-5p s） ， （2m-m sps） p e，2p e,3pe，4p e，5p e，m epep u，2p u,3pu，4p u，5p u，m upup v，2p v,3pv，4p v，5p v，m vpvp w，2p w,3pw，4p w，5p w，m wpw中正整数的总个数相等。其中pi，p j，p r，p s，p e，p u，p v，p w为两两互不相同的奇素数，且均小
4、于2m；m ipi为对应的集合情形下不大于偶数 2m 的最大正整数，m jpj为对应的集合情形下不大于偶数 2m 的最大正整数，m rpr为对应的集合情形下不大于偶数 2m 的最大正整数，m sps为对应的集合情形下不大于偶数 2m 的最大正整数，m epe为对应的集合情形下不大于偶数 2m 的最大正整数，m upu为对应的集合情形下不大于偶数 2m 的最大正整数，m vpv为对应的集合情形下不大于偶数2m 的最大正整数，m wpw为对应的集合情形下不大于偶数 2m 的最大正整数。证明：对于集合（2m-p i） ， （2m-2p i）,（2m-3p i） ， （2m-4p i） ，（2m-5p
5、 i） ， （2m-m ipi），我们令 2m-mipi=hi，因为 mipi为对应的集合情形下不大于偶数 2m 的最大正整数，显然 hip i，则 2m-（m i-1）p i=2m-mipi+pi=pi+hi，2m-（m i-2）p i=2m-mip i+2pi=2pi+hi， （2m-2p i）= 2m-mi-（ mi-2）p i=（m i-2）p i+2m-mipi=（m i-2）p i+hi， （2m-p i）=2m-m i-（m i-1）p 1 =（m i-1）p i+2m-mipi =（ mi-1）p i+hi；那么集合（2m-p i） ， （2m-2p i）,（2m-3p i）
6、，3（2m-4p i） ， （2m-5p i） ， （2m-m ipi）=h i， （p i+hi） ， （2p i+hi） ，（m i-2）p i+hi，（m i-1）p i+hi；那么集合（2m-p i） ，（2m-2p i）,（2m-3p i） ， （2m-4p i） ， （2m-5p i） ， （2m-m ipi）=hi， （p i+hi） ， （2p i+hi） ，（m i-2）p i+hi，（m i-1）p i+hi；我们令 2m-mjpj=hj；2m-m rpr=hr；2m-m sps=hs。同理可得：（2m-pj） ， （2m-2p j）,（2m-3p j） ， （2m-4p
7、j） ， （2m-5p j） ， （2m-m jpj）=hj， （p j+hj） ， （2p j+hj） ，（m j-2）p j+hj，（m j-1）p j+hj，（2m-p r） ， （2m-2p r）,（2m-3p r） ， （2m-4p r） ， （2m-5p r） ， （2m-m rpr）=h r， （p r+hr） ， （2p r+hr） ，（m r-2）p r+hr，（m r-1）p r+hr，（2m-p s） ， （2m-2p s）,（2m-3p s） ， （2m-4p s） ，（2m-5p s） ， （2m-m sps）=h s， （p s+hs） ， （2p s+hs） ，（
8、m s-2）p s+hs，（m s-1）p s+hs。因为前面令 2m-mipi=hi，2m-m jpj=hj，2m-m rpr=hr，2m-msps=hs。那么有 2mh i（modp i） ，2mh j（modp j） ，2mh r（modp r） ，2mh s（modp s） ；所以集合（2m-p i） ， （2m-2pi）,（2m-3p i） ， （2m-4p i） ， （2m-5p i） ， （2m-m ipi）对应同余方程 xih i（modp i） ；集合（2m-p j） ， （2m-2p j）,（2m-3p j） ， （2m-4pj） ， （2m-5p j） ， （2m-m j
9、pj）对应同余方程 xjh j（modp j） ；集合（2m-p r） ， （2m-2p r）,（2m-3p r） ， （2m-4p r） ， （2m-5p r） ， （2m-m rpr）对应同余方程 xrh r（modp r） ；集合（2m-p s） ，（2m-2p s）,（2m-3p s） ， （2m-4p s） ， （2m-5p s） ， （2m-m sps）对应同余方程 xsh s（modp s） 。4由孙子高斯定理可知，同余方程组 xih i（modp i） ，xjh j（modp j） ，x rh r（modp r） ，x sh s（ modps）有无穷多解,且这些解关于模 M=p
10、ipjprps同余，又因为（p epupvpw，p ipjprps）=1，由同余性质定理 1 可知，同余方程组xih i（modp i） ，x jh j（modp j） ，x rh r（ modpr） ，xsh s（modp s）的任一解与 pepupvpw的乘积关于模M=pipjprpspepupvpw同余，又因为偶数 2m 是同余方程xih i（modp i）的解，偶数 2m 也是同余方程 xjh j（modp j）的解，偶数 2m 也是同余方程 xrh r（modp r）的解， 偶数 2m 也是同余方程 xsh s（modp s）的解；那么偶数 2m 也是同余方程组xih i（modp
11、i） ，x jh j（modp j） ，x rh r（ modpr） ，xsh s（modp s）的一个解；而偶数 2m 均含有奇素数因子pe，p u，p v，p w。我们设集合（2m-p i） ， （ 2m-2pi）,（2m-3p i） ，（2m-4p i） ， （2m-5p i） ， （2m-m ipi）（ 2m-pj） ， （2m-2p j）,（2m-3p j） ， （2m-4p j） ， （2m-5p j） ， （2m-m jpj）（2m-p r） ，（2m-2p r）,（2m-3p r） ， （2m-4p r） ， （2m-5p r） ， ， （2m-m rpr）（2m-p s） ，
12、 （2m-2p s）,（2m-3p s） ， （2m-4p s） ， （2m-5p s） ， （2m-m sps） p e，2p e,3pe，4p e，5p e，m epep u，2p u,3pu，4p u，5p u，m upup v，2p v,3pv，4p v，5p v，m vpvp w，2p w,3pw，4p w，5p w，m wpw中的任一奇数均对应同余方程ye（modp ipjprpspepupvpw）的一个解，又因为 偶数 2m 均含有奇5素数因子 pe，p u，p v，p w，那么偶数 2m 也是同余方程ye（modp ipjprpspepupvpw）的一个解，由同余性质定理 2
13、可知，同余方程 ye（modp ipjprpspepupvpw）的所有解关于模M=pipjprpspepupvpw同余，所以在偶数 2m 范围内，同余方程ye（modp ipjprpspepupvpw）的所有解对应的集合为 a， （p ipjprpspepupvpw+e） ， （2p ipjprpspepupvpw+e） ，（3p ipjprpspepupvpw+ e） ，（u-2）p ipjprpspepupvpw+e，（u-1）p ipjprpspepupvpw+e，所以 e 对应pipjprpspepupvpwu， （p ipjprpspepupvpw+ e）对应pipjprpspepu
14、pvpw（u-1） ， （2p ipjprpspepupvpw+e）对应p1p2p3pt（u-2） ， （3p 1p2p3pt+e）对应 p1p2p3pt（u-3） ，（u-1）p ipjprpspepupvpw+e对应 pipjprpspepupvpw。所以集合 pi，2p i,3pi，4p i，5p i，m ipi pj，2p j,3pj，4p j，5p j，m jpj p r，2p r,3pr，4p r，5p r，m rprp s，2p s,3ps，4p s，5p s，m s ps p e，2p e,3pe，4p e，5p e，m epep u，2p u,3pu，4p u，5p u，m
15、upup v，2p v,3pv，4p v，5p v，m vpvp w，2p w,3pw，4p w，5p w，m wpw中正整数的总个数与集合（2m-p i） ， （2m-2p i）,（2m-3p i） ， （2m-4p i） ， （2m-5p i） ， （2m-mipi）（2m-p j） ， （2m-2p j）,（2m-3p j） ， （2m-4p j） ， （2m-5p j） ，6， （2m-m jpj）（2m-p r） ， （2m-2p r）,（2m-3p r） ， （2m-4p r） ，（2m-5p r） ， （2m-m rpr）（2m-p s） ， （2m-2p s）,（2m-3p s
16、） ，（2m-4p s） ， （2m-5p s） ， （2m-m sps） p e，2p e,3pe，4p e，5p e，m epep u，2p u,3pu，4p u，5p u，m upup v，2p v,3pv，4p v，5p v，m vpvp w，2p w,3pw，4p w，5p w，m wpw中正整数的总个数相等。故定理 5 成立。参考文献1戎士奎，十章数论（贵州教育出版社）1994年9月第1版2闵嗣鹤，严士健，初等数论（人民教育出版社）1983年2月第6版3刘玉琏，付沛仁，数学分析（高等教育出版社）1984年3月第1版4王文才，施桂芬，数学小辞典（科学技术文艺出版社）1983 年 2 月第 1 版二一四年四月二十日
