哥德巴赫猜想成立!(格点数论版).doc_第1页
哥德巴赫猜想成立!(格点数论版).doc_第2页
哥德巴赫猜想成立!(格点数论版).doc_第3页
哥德巴赫猜想成立!(格点数论版).doc_第4页
哥德巴赫猜想成立!(格点数论版).doc_第5页
已阅读5页,还剩3页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

大于4的偶数2b至少可表为两个大于的奇素数之和 “哥德巴赫猜想成立”( 格点数论版)已核! 张 忠(言)江苏省南通市崇川区 邮编226002 摘要: 本文依据同余理论, 通过格点二次筛法对联立一元二次不同余方程组的解集: 的分析与验证, 发现整数的一个重要规律: 在前闭后开区间内至少有一个. 依据该规律, 本文证明了: 大于4的偶数2b至少可表为两个大于的奇素数之和.关键词: 素数, 整数的多维式, 模, 不同余, 格点筛法, 集合的势. 0. 引言. 大于的偶数是否都可表为二个奇素数之和? 这是一直困惑着人们的古老数论问题, 甚至许多大数学家都认为: 人们至今也未能找到真正能解决这些问题的方法和途径. 而本文谨用同余理论和筛法, 来揭示至少可解决该问题的整数的一个重要规律.1. 基本慨念, 名词, 定义及代(符)号的意义.1.1. 若无特别声明, 本文中小写字母表整数, 大写字母表整数集合. 例: , 表的欧拉数, 表模的简化剩余集,表素数集合, 且 且. 1.2. 表集合的势, 即集合内元素的个数. 1.3. 为同余符号, 为不同余符号.1.4. 整数的多维式. 若 , 则可将其记作: , 并称其为的多维式,在不至引起误解时,可省略式中. 而由孙子定理与欧拉定理知: 012341.5. 定义一: 定义一元一次不同余方程, 为(素数)模之的(一次)筛, 简记为, 例: 为: 而该不同余方程的解称称为的缩剩余, 为的缩剩余集. 作为特例, 当时, 称为模的简化剩余,为模的简化剩余集.1.6. 定义二. 若: , , 则定义联立(一次)不同余方程组: , 为(合数)模之筛, 并简记为: 或. 该联立方程的解称为(合数)模之筛的(一次)缩剩余. 作为特例: 当时, 该联立方程的解即模的简化剩余.图一: 的格点筛01234012340123401201201201201201010101010101001234567891011121314紧接下图012340123401234012012012012012101010101010101151617181920212223242526272829紧 接上图 由图一: 可得模的最小正简化剩余系: .1.7. 定义三: 若, 则定义不同余方程: ,为(素)模之(或)的二次筛, 并简记为; 为的二次缩剩余, 为区别与模之其它二次筛的缩剩余, 模之筛的缩剩余记为或. 因当且时: 与分别为模的两个不同剩余类, 但模之的二次筛与模之的二次筛相同, 故模之的二次筛与模之的二次筛为模之异名同类筛, 故知模之二次异名同类筛的二次缩剩余也相同. 模之筛系内有且仅有类筛: ,.例一: 图二为求的最小非负二次缩剩余系的格点图解法:模70123-3-2-1N0123456图二. : (注: 图二列中含红色格点的整数表示被 筛除. 下同。)1.8. 定义四. 若: , , 则定义不同余方程组: , 为(合数)模之的二次筛: .的任一确定值称为不同余方程组的(关于模的)一个解类(或特解). 从二次不同余方程组的各类解中任取一个值组成的集合为该二次不同余方程组 (关于模)的解系, 即的(关于模的)二次缩剩余系. 故知: 例二. 当, 时: , 模之的最小非负二次缩剩余系可由图三:获知:; 也可将其表为模之的最小绝对值二次缩剩余系: . 图三. 模 5012-2-1012-2-1012-2-1 模 301-101-101-101-101-1 模 2010101010101010 整 数01234567891011121314紧接 下图012-2-1012-2-1012-2-101-101-101-101-101-1101010101010101151617181920212223242526272829紧 上接图又因:, 所以: , 是模的二次异名同类筛, 故:, 且:=.1.9. 虚筛与实筛. 若: , 而同时被,筛除, 则称被且仅被实筛, 而分别被,等虚筛; 若集合中有一元素被实筛, 则称集合被实筛, 若集合中无一元素被实筛, 则称集合被虚筛.2. 引理及定理.引理一. 受最大二次筛除的区间, 必分别受 () 的实筛.证: 设受最大二次筛除的区间内的个数最少, 有且仅有个, 且其中一个. 现反设受()虚筛, 则由知, 必存在整数: 且 , 故知: 则受模之二次筛的区间内有且仅有个,当再受模之的二次筛时, 必被实筛, 即受筛除的区间必受实筛, 内最多仅有个, 该结论与原设矛盾, 故知引理一成立.定理一. 若: , , 前闭后开区间, 模之筛的二次缩剩余系为:, , 则: 受模之最大二次筛的内至少有一个, 即: . (证明暂略! 详情请见文后说明.)下面仅给出定理一的验证方法及当时的验证结果,以供参考.(1) 当时: , , , 是模之的二次缩剩余集, ,模的二次筛系内有且仅有类两两不同的筛: ,则由格点二次筛法可求: m 301-10m 20101N0123 , , m 301-10m 20101N0123m 301-10m 20101N0123m 301-10m 20101N0123 故知: . 故由验证知当定理时一成立.(2) 当时: , , 筛系内有且仅有类筛, 则由格点二次筛法可求:, , , , , , , , , .故由验证知当时: ,定理一成立!(3) 当n=4时: , , , 二次筛系内有且仅有类筛. 由由验证知在集系中势最小的集合有且仅有下列四类: ; ; .故由验证知当时: .定理一成立!(4) 当时: , , ,二次筛系内有且仅有类筛.由验证知在集系中势最小的集合有且仅有三类: , .故由验证知当时: .定理一成立.(5)当时: , , , 二次筛系内有且仅有类筛.由验证知在集系中势最小的集合有且仅有下列六类: (如若有误, 敬请指正!), , , , .故由验证知当时: . 定理一成立.由上面验证知,当时: .定理一都成立. 3.命题证明.命题一. 大于的偶数至少可表为两个大于的奇素数之和. ( 即哥猜成立.)分析: 若对于预先确定的整数, 至少存在一个, 使: 且, 则由素数判别法可知, 至少可表为两奇素数之和.证: 因素数的个数无限, 故对任意预先确定的整数, 都可先由: 确定 , 随之可确定: , . 现令: , 即: , ,由定理一知, 在半开闭区间内至少有一个,使:, 即: , (1)因, 故, 且由令知:, 即. 故: ,(2)故由(1),(2)知: 半开闭区间内至少有一个, 使:, 且: ,故由素数判别法知:必是和为的大于的至少有的两奇素数. 故命题一成立.验证一. 求其和为预先确定的偶数的大于的至少有的两奇素数的集合.解: 先由 , 确定 , 继而确定: , , , 由定理一知, 在内至少有一个, 使: 为一对大于的素数.图四. m70123-3-2-10123-3-2-10123-3-2-1012m5012-2-1012-2-1012-2-1012-2-1012-2m301-101-101-101-101-101-101-101-1m2010101010101010101010101 N01234567891011121314151617181920212223由图四可知: , 故: 和为的大于的两奇素数至少有 ():, , ; 即: .经查: 故由验证知命题一成立.又因: ,故: ,与为模的二次同类筛, 所以:, 故知: 和为的大于的两奇素数至少有 ():, , ; 即经查: 和为的大于的两奇素数至少有: , ():, , ; 即.经查: 更为重要的是另有定理(暂略)可证: 当已知时, 必存在与相对应的集合, 使:经查: 经查: 同理, 当已知时, 必存在与相对应的集合,使: (未完待续.)参考文献:1. 华罗庚. 数论导引. 科学出版社出版, 1957年第一版.2. 熊全淹. 初等数论. 湖北人民出版社出版, 1982年第一版.3. 闵嗣鹤, 严士健. 初等数论. 人民教育出版社出版, 1982年9月第二版.说明: 由于目前几乎所有的数学家们都一致认为: 用初等的方法是不可能证明哥氏猜想等数论难题的, 所以为避免该文遭遇本人前一篇论文: “在个连续

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论