资源描述：
《哥德巴赫猜想成立!(格点数论版)》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、大于4的偶数2b至少可表为两个大于的奇素数之和——“哥德巴赫猜想成立”(格点数论版)已核!张忠（言）江苏省南通市崇川区邮编226002摘要:本文依据同余理论,通过格点二次筛法对联立一元二次不同余方程组的解集:…的分析与验证,发现整数的一个重要规律:在前闭后开区间内至少有一个.依据该规律,本文证明了:大于4的偶数2b至少可表为两个大于的奇素数之和.关键词:素数,整数的多维式,模,不同余,格点筛法,集合的势.0.引言.大于的偶数是否都可表为二个奇素数之和?这是一直困惑着人们的古老数论问题,甚至许多大数学家都认为:人们至今也未能找到真正能
2、解决这些问题的方法和途径.而本文谨用同余理论和筛法,来揭示至少可解决该问题的整数的一个重要规律.1.基本慨念,名词,定义及代(符)号的意义.1.1.若无特别声明,本文中小写字母表整数,大写字母表整数集合.例:…,表的欧拉数,表模的简化剩余集,表素数集合,且＜＜且.1.2.表集合的势,即集合内元素的个数.1.3.为同余符号,为不同余符号.1.4.整数的多维式.若,则可将其记作:…,并称其为的多维式,在不至引起误解时,可省略式中.而由孙子定理与欧拉定理知:012341.5.定义一:定义一元一次不同余方程,＜,为(素数)模之的(一次)筛,
3、简记为,例:为:而该不同余方程的解称称为的缩剩余,为的缩剩余集.作为特例,当时,称为模的简化剩余,为模的简化剩余集.1.6.定义二.若:,…,则定义联立(一次)不同余方程组:,＜,…为(合数)模之筛,并简记为:或….该联立方程的解称为(合数)模之筛的(一次)缩剩余.作为特例:当时,该联立方程的解即模的简化剩余.图一:的格点筛01234012340123401201201201201201010101010101001234567891011121314紧接下图0123401234012340120120120120121010101
4、01010101151617181920212223242526272829紧接上图由图一:可得模的最小正简化剩余系:.1.7.定义三:若,,＜,则定义不同余方程:,为(素)模之(或)的二次筛,并简记为;为的二次缩剩余,为区别与模之其它二次筛的缩剩余,模之筛的缩剩余记为或.因当且时:与分别为模的两个不同剩余类,但模之的二次筛与模之的二次筛相同,故模之的二次筛与模之的二次筛为模之异名同类筛,故知模之二次异名同类筛的二次缩剩余也相同.模之筛系内有且仅有类筛:,,,….例一:图二为求的最小非负二次缩剩余系的格点图解法:模70123-3-2
5、-1N0123456图二.:(注:图二列中含红色格点的整数表示被筛除.下同。)1.8.定义四.若:…,,…则定义不同余方程组:,…为(合数)模之的二次筛:…….的任一确定值称为不同余方程组的(关于模的)一个解类(或特解).从二次不同余方程组的各类解中任取一个值组成的集合为该二次不同余方程组(关于模)的解系,即…的(关于模的)二次缩剩余系.故知:……例二.当,时:,模之的最小非负二次缩剩余系可由图三:获知:;也可将其表为模之的最小绝对值二次缩剩余系:.图三.模5012-2-1012-2-1012-2-1模301-101-101-101
6、-101-1模2010101010101010整数01234567891011121314紧接下图012-2-1012-2-1012-2-101-101-101-101-101-1101010101010101151617181920212223242526272829紧上接图又因:,,,,所以:,,,是模的二次异名同类筛,故:,且:====.1.9.虚筛与实筛.若:＜＜…,而同时被,,…筛除,则称被且仅被实筛,而分别被,…等虚筛;若集合中有一元素被实筛,则称集合被实筛,若集合中无一元素被实筛,则称集合被虚筛.2.引理及定理.引理一
7、.受最大二次筛除的区间,必分别受(…)的实筛.证:设受最大二次筛除的区间内的个数最少,有且仅有个,且其中一个.现反设受()虚筛,则由知,必存在整数:且,故知:则受模之二次筛的区间内有且仅有个,当再受模之的二次筛时,必被实筛,即受筛除的区间必受实筛,内最多仅有个,该结论与原设矛盾,故知引理一成立.定理一.若:,,前闭后开区间,模之筛的二次缩剩余系为:,,则:受模之最大二次筛的内至少有一个,即:.(证明暂略!详情请见文后说明①.)下面仅给出定理一的验证方法及当时的验证结果,以供参考.(1)当时:,,,是模之的二次缩剩余集,,模的二次筛系
8、内有且仅有类两两不同的筛:,,,,则由格点二次筛法可求:m3 01-10m2 0101N 0123,,m301-10m20101N0123m3 01-10m2 0101N 0123m301-10m20101N0123故知:.故由验证知
