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

“哥德巴赫猜想”讲义 （第17讲） “哥德巴赫猜想”证明（12） 主讲 王若仲 第16讲我们讲解了核心部分的推论1和推论2，这一讲我们讲核心部分的推论3和推论4。 推论3：对于任何一个比较大的偶数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}中奇数的总个数与集合{p1，3p1,5p1，7p1，9p1，…，（2m1-1）p1}∩{p2，3p2,5p2，7p2，9p2，…，（2m2-1）p2}∩{p3，3p3,5p3，7p3，9p3，…，（2m3-1）p3}∩…∩{pr，3pr,5pr，7pr，9pr，…，（2mr-1）pr}∩{（2m-pr+1），（2m-3pr+1）,（2m-5pr+1），（2m-7pr+1），（2m-9pr+1），…，[2m-（2mr+1-1）pr+1]}∩{（2m-pr+2），（2m-3pr+2）, （2m-5pr+2），（2m-7pr+2），（2m-9pr+2），…，[2m-（2mr+2-1）pr+2]}∩{（2m-pr+3），（2m-3pr+3）,（2m-5pr+3），（2m-7pr+3），（2m-9pr+3），…，[2m-（2mr+3-1）pr+3]}∩…∩{（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的最大奇数。 证明：由定理3可知，集合{p1，2p1,3p1，4p1，5p1，…，m1p1}∩{p2，2p2,3p2，4p2，5p2，…，m2p2}∩{p3，2p3,3p3，4p3，5p3，…，m3p3}∩…∩{pt，2pt,3pt，4pt，5pt，…，mtpt}中正整数的总个数与集合{p1，2p1,3p1，4p1，5p1，…，m1p1}∩{p2，2p2,3p2，4p2，5p2，…，m2p2}∩{p3，2p3,3p3，4p3，5p3，…，m3p3}∩…∩{pr，2pr,3pr，4pr，5pr，…，mrpr}∩{（2m-pr+1），（2m-2pr+1）,（2m-3pr+1），（2m-4pr+1），（2m-5pr+1），…，（2m-mr+1pr+1）}∩{（2m-pr+2），（2m-2pr+2）,（2m-3pr+2），（2m-4pr+2），（2m-5pr+2），…，（2m-mr+2pr+2）}∩{（2m-pr+3），（2m-2pr+3）,（2m-3pr+3），（2m-4pr+3），（2m-5pr+3），…，（2m-mr+3pr+3）}∩…∩{（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 }，令集合{p1，2p1,3p1，4p1，5p1，…，m1p1}∩{p2，2p2,3p2，4p2，5p2，…，m2p2}∩{p3，2p3,3p3，4p3，5p3，…，m3p3}∩…∩{pr，2pr,3pr，4pr，5pr，…，mrpr}∩{（2m-pr+1），（2m-2pr+1）,（2m-3pr+1），（2m-4pr+1），（2m-5pr+1），…，（2m-mr+1pr+1）}∩{（2m-pr+2），（2m-2pr+2）, （2m-3pr+2），（2m-4pr+2），（2m-5pr+2），…，（2m-mr+2pr+2）}∩{（2m-pr+3），（2m-2pr+3）, （2m-3pr