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

“哥德巴赫猜想”讲义 （第16讲） “哥德巴赫猜想”证明（11） 主讲 王若仲 第15讲我们讲解了核心部分的定理5，目前产止，前面我们已经学习了定理1，定理2，定理3，定理4，定理5。我们的目的是什么呢？我们的目的就是要利用前面的5个定理来获得后面的5个推论。所以这一讲我们讲核心部分的推论1和推论2。 推论1：对于任何一个比较大的偶数2m，设奇素数p1，p2，p3，…，pt均为不大于√2m的全体奇素数（pi＜ pj ，i＜j，i、j=1，2，3，…，t），t∈N，且偶数2m均不含有奇素数因子p1，p2，p3，…，pt；那么集合{p1，3p1,5p1，7p1，9p1，…，（2m1-1）p1}∩{p2，3p2,5p2，7p2，9p2，…，（2m2-1）p2}∩{p3，3p3,5p3，7p3，9p3，…，（2m3-1）p3}∩…∩{pt，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，…，m1p1}∩{p2，2p2,3p2，4p2，5p2，…，m2p2}∩{p3，2p3,3p3，4p3，5p3，…，m3p3}∩…∩{pt，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，…，m1p1}∩{p2，2p2,3p2，4p2，5p2，…，m2p2}∩{p3，2p3,3p3，4p3，5p3，…，m3p3}∩…∩{pt，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）p1}∩{p2，3p2,5p2，7p2，9p2，…，（2m2-1）p2