“哥德巴赫猜想”讲义(第16讲).doc

“哥德巴赫猜想”讲义（第16讲）“哥德巴赫猜想”证明（11）主讲 王若仲第15讲我们讲解了核心部分的定理5，目前产止，前面我们已经学习了定理1，定理2，定理3，定理4，定理5。我们的目的是什么呢？我们的目的就是要利用前面的5个定理来获得后面的5个推论。所以这一讲我们讲核心部分的推论1和推论2。推论1：对于任何一个比较大的偶数2m，设奇素数p1，p2，p3，pt均为不大于2m的全体奇素数（pi pj ，ij，i、j=1，2，3，t），tN，且偶数2m均不含有奇素数因子p1，p2，p3，pt；那么集合p1，3p1,5p1，7p1，9p1，（2m1-1）p1p2，3p2,5p2，7p2，9p2，（2m2-1）p2p3，3p3,5p3，7p3，9p3，（2m3-1）p3pt，3pt,5pt，7pt，9pt，（2mt-1）pt中奇数的总个数与集合（2m-p1），（2m-3p1）,（2m-5p1），（2m-7p1），（2m-9p1），2m-（2m1-1）p1（2m-p2），（2m-3p2）,（2m-5p2），（2m-7p2），（2m-9p2），2m-（2m2-1）p2（2m-p3），（2m-3p3）,（2m-5p3），（2m-7p3），（2m-9p3），2m-（2m3-1）p3（2m-pt），（2m-3pt）,（2m-5pt），（2m-7pt），（2m-9pt），2m-（2mt-1）pt中奇数的总个数相等。其中（2m1-1）p1为对应的集合情形下不大于偶数2m的最大奇数，（2m2-1）p2为对应的集合情形下不大于偶数2m的最大奇数，（2m3-1）p3为对应的集合情形下不大于偶数2m的最大奇数，（2mt-1）pt为对应的集合情形下不大于偶数2m的最大奇数。证明：由定理1可知，集合p1，2p1,3p1，4p1，5p1，m1p1p2，2p2,3p2，4p2，5p2，m2p2p3，2p3,3p3，4p3，5p3，m3p3pt，2pt,3pt，4pt，5pt，mtpt中正整数的总个数与集合（2m-p1），（2m-2p1）, （2m-3p1），（2m-4p1），（2m-5p1），（2m-m1p1）（2m-p2），（2m-2p2）, （2m-3p2），（2m-4p2），（2m-5p2），（2m-m2p2）（2m-p3），（2m-2p3）,（2m-3p3），（2m-4p3），（2m-5p3），（2m-m3p3）（2m-pt），（2m-2pt）,（2m-3pt），（2m-4pt），（2m-5pt），（2m-mtpt）中正整数的总个数相等。其中m1p1为对应的集合情形下不大于偶数2m的最大正整数，m2p2为对应的集合情形下不大于偶数2m的最大正整数，m3p3为对应的集合情形下不大于偶数2m的最大正整数，mtpt为对应的集合情形下不大于偶数2m的最大正整数。我们不妨令集合p1，2p1,3p1，4p1，5p1，m1p1p2，2p2,3p2，4p2，5p2，m2p2p3，2p3,3p3，4p3，5p3，m3p3pt，2pt,3pt，4pt，5pt，mtpt=a1，a2，a3，a4，a5，a6，ar ，令集合（2m-p1），（2m-2p1）,（2m-3p1），（2m-4p1），（2m-5p1），（2m-m1p1）（2m-p2），（2m-2p2）,（2m-3p2），（2m-4p2），（2m-5p2），（2m-m2p2）（2m-p3），（2m-2p3）,（2m-3p3），（2m-4p3），（2m-5p3），（2m-m3p3）（2m-pt），（2m-2pt）,（2m-3pt），（2m-4pt），（2m-5pt），（2m-mtpt）=b1，b2，b3，b4，b5，b6，br ，又因为集合a1，a2，a3，a4，a5，a6，ar 和集合b1，b2，b3，b4，b5，b6，br 均为等差数列，我们把集合a1，a2，a3，a4，a5，a6，ar 和集合b1，b2，b3，b4，b5，b6，br 中的奇数按从小到大的顺序分别进行编号，说明集合a1，a2，a3，a4，a5，a6，ar 中奇数项元素的总个数与集合b1，b2，b3，b4，b5，b6，br 中奇数项元素的总个数相等，所以集合p1，3p1,5p1，7p1，9p1，（2m1-1）p1p2，3p2,5p2，7p2，9p2，（2m2-1）p2p3，3p3,5p3，7p3，9p3，（2m3-1）p3pt，3pt,5pt，7pt，9pt，（2mt-1）pt中奇数的总个数与集合（2m-p1），（2m-3p1）,（2m-5p1），（2m-7p1），（2m-9p1），2m-（2m1-1）p1（2m-p2），（2m-3p2）,（2m-5p2），（2m-7p2），（2m-9p2），2m-（2m2-1）p2（2m-p3），（2m-3p3）,（2m-5p3），（2m-7p3），（2m-9p3），2m-（2m3-1）p3（2m-pt），（2m-3pt）,（2m-5pt），（2m-7pt），（2m-9pt），2m-（2mt-1）pt中奇数的总个数相等。故推论1成立。推论2：对于任何一个比较大的偶数2m，设奇素数p1，p2，p3，pt均为不大于2m的全体奇素数（pi pj ，ij，i、j=1，2，3，t），tN，且偶数2m均不含有奇素数因子p1，p2，p3，pt；那么集合 pi，3pi,5pi，7pi，9pi，（2mi-1）pi pj，3pj,5pj，7pj，9pj，（2mj-1）pj pr，3pr,5pr，7pr，9pr，（2mr-1）prps，3ps,5ps，7ps，9ps，（2ms-1）ps 中正整数的总个数与集合（2m-pi），（2m-3pi）,（2m-5pi），（2m-7pi），（2m-9pi），2m-（2mi-1）pi（2m-pj），（2m-3pj）,（2m-5pj），（2m-7pj），（2m-9pj），2m-（2mj-1）pj （2m-pr），（2m-3pr）,（2m-5pr），（2m-7pr），（2m-9pr），2m-（2mr-1）pr （2m-ps），（2m-3ps）,（2m-5ps），（2m-7ps），（2m-9ps），2m-（2ms-1）ps 中正整数的总个数相等。其中pi，pj，pr，ps为两两互不相同的奇素数，且均小于2m ；（2mi-1）pi为对应的集合情形下不大于偶数2m的最大正整数，2mj-1）pj为对应的集合情形下不大于偶数2m的最大正整数，（2mr-1）pr为对应的集合情形下不大于偶数2m的最大正整数，（2ms-1）ps为对应的集合情形下不大于偶数2m的最大正整数。证明：由定理2可知，集合 pi，2pi,3pi，4pi，5pi，mipi pj，2pj,3pj，4pj，5pj，mjpj pr，2pr,3pr，4pr，5pr，mrprps，2ps,3ps，4ps，5ps，ms ps 中正整数的总个数与集合（2m-pi），（2m-2pi）,（2m-3pi），（2m-4pi），（2m-5pi），（2m-mipi）（2m-pj），（2m-2pj）,（2m-3pj），（2m-4pj），（2m-5pj），（2m-mjpj）（2m-pr），（2m-2pr）,（2m-3pr），（2m-4pr），（2m-5pr），（2m-mrpr）（2m-ps），（2m-2ps）,（2m-3ps），（2m-4ps），（2m-5ps），（2m-msps）中正整数的总个数相等。其中mipi为对应的集合情形下不大于偶数2m的最大正整数，mjpj为对应的集合情形下不大于偶数2m的最大正整数，mrpr为对应的集合情形下不大于偶数2m的最大正整数，msps为对应的集合情形下不大于偶数2m的最大正整数。我们不妨令集合 pi，2pi,3pi，4pi，5pi，mipi pj，2pj,3pj，4pj，5pj，mjpj pr，2pr,3pr，4pr，5pr，mrprps，2ps,3ps，4ps，5ps，msps =a1，a2，a3，a4，a5，a6，au，令集合（2m-pi），（2m-2pi）,（2m-3pi），（2m-4pi），（2m-5pi），（2m-mipi）（2m-pj），（2m-2pj）,（2m-3pj），（2m-4pj），（2m-5pj），（2m-mjpj）（2m-pr），（2m-2pr）,（2m-3pr），（2m-4pr），（2m-5pr），（2m-mrpr）（2m-ps），（2m-2ps）,（2m-3ps），（2m-4ps），（2m-5ps），（2m-msps）=b1，b2，b3，b4，b5，b6，bu，又因为集合a1，a2，a3，a4，a5，a6，au和集合b1，b2，b3，b4，b5，b6，bu 均为等差数列，我们把集合a1，a2，a3，a4，a5，a6，ar 和集合b1，b2，b3，b4，b5，b6，br 中的奇数按从小到大的顺序分别进行编号，说明集合a1，a2，a3，a4，a5，a6，au中奇数项元素的总个数与集合b1，b2，b3，b4，b5，b6，bu中奇数项元素的总个数相等，所以集合 pi，3pi,5pi，7pi，9pi，（2mi-1）pi pj，3pj,5pj，7pj，9pj，（2mj-1）pj pr，3pr,5pr，7pr，9pr，（2mr-1）prps，3ps,5ps，7ps，9ps，（2ms-1）ps 中正整数的总个数与集合（2m-pi），（2m-3pi）,（2m-5pi），（2m-7pi），（2m-9pi），2m-（2mi-1）pi（2m-pj），（2m-3pj）,（2m-5pj），（2m-7pj），（2m-9pj），2m-（2mj-1）pj （2m-pr），（2m-3pr）,（2m-5pr），（2m-7pr），（2m-9pr），2m-（2mr-1）pr （2m