数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 3141|回复: 20

哥猜的证明

[复制链接]
发表于 2019-10-10 13:47 | 显示全部楼层 |阅读模式
本帖最后由 费尔马1 于 2019-10-10 13:56 编辑

哥德巴赫猜想的证明
一、n生素数定理
A、B是两个相邻的素数,
A,B之差是2,称A与B是一对孪生素数;
A,B之差是4,称A与B是一对4生素数;
A,B之差是n(n为偶数),称A与B是一对n生素数;
n生素数定理: n生素数有无限多对。
证明:假设素数有限个,素数p最大,
则2*3*5*7*……*p±1就是一对孪生素数;
3*5*7*11……*p±2就是一对4生素数;
2*5*7*11……*p±3就是一对6生素数;
3*5*7*11……*p±4就是一对8生素数;
…………………………………………
5*7*11*13……*p±12就是一对24生素数;
…………………………………………
2*3*5*7*……*p±(n/2)就是一对n生素数;
其中,n/2的所有素因子不在2 3 5 7……p之中。
而实际上,素数无限多(已证),即不存在最大素数p,因此,n生素数永远存在。
二、“1-1”定理
由n生素数定理去证明“1-1”定理:
证明:∵相邻两个素数的差能表示任意偶数,而且每个偶数都对应无限多个素数的差对,
∴不相邻的两个素数的差更能表示任意偶数,而且每个偶数都对应无限多个素数的差对,
综合以上两种情况,有结论:不相邻的(或是相邻的)两个素数的差能表示任意偶数,而且每个偶数都对应无限多个素数的差对,
称这个结论为“1-1”定理。
三、哥猜的证明:设2n是大于等于6的一个任意偶数,那么有对折数列:
上行          1                    2              3               4               5  ……… (n-2 )(n-1) n
下行    (2n-1)(2n-2)(2n-3)(2n-4)(2n-5)……(n+2)  (n+1)  n
上下差d: 2n-2 ,   2n-4,   2n-6…………………………………    4              2        0
在d的所有值中,去掉上下偶数的差,再去掉含1的差对,剩下的奇数差对称为“可能素对”,当n取3~(n-1)时,n每增加1,则对折数列上下之差d就增加一个新的“可能素对”(3,2n-6),在2n的所有“可能素对”中,若从(5,2n-5)至(n,n)所有的d值,在偶数小于等于2(n-1)对应的对折数列中,均已经出现过是素数对,而在2n的对折数列中,这些d值恰恰又都不是素数对,那么,新的“可能素对”(3,2n-6)就一定是素数对,不然,就与“1-1”定理矛盾。
故,哥德巴赫猜想成立。
 楼主| 发表于 2019-10-10 15:15 | 显示全部楼层
本帖最后由 费尔马1 于 2019-10-10 17:32 编辑

一般地,与素数有关的命题采用反证法证明很管用,既快又准,简单明了,把其中的某个关键的条件假设到最不利命题成立的极限状态,必定会逼出一个最有利命题成立的结果。不过,假设与结果,要有确凿的论据(如定理、引理、公理……)支撑,这样一来,让别人挑刺都没的挑。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-10-11 07:17 | 显示全部楼层
请老师们审核!谢谢
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-10-14 10:21 | 显示全部楼层
哥德巴赫猜想证明的提纲:
乘法、除法(整除、倍数、余数)的法则→程氏集合两分法(素数的生成过程)→n生素数定理(当然,差是0的两个素数的差对更是无限多的,p-p=0,p为素数,素数无限多)→“1-1”定理(不相邻的相邻的两个素数的差可以为任意偶数,包括偶数0,并且每个偶数都对应无限多个素数的差对)→“1+1”的证明(对折数列、反证法)。
老师们看看是不是这个道理啊?
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-10-22 12:40 | 显示全部楼层
x^2017+y^2019=z^2021
x=2^2041210*(a^2019-b^2019)^1019594*(a^2019+b^2019)^5099994
y=2^2039188*ab(a^2019-b^2019)^1018584*(a^2019+b^2019)^5094942
z=2^2037170*(a^2019-b^2019)^1017576*(a^2019+b^2019)^5089900


x^2017+y^2019=z^2021
x=2^(4080399k-1530402)
y=2^(4076357k-1528886)
z=2^(4072323k-1527373)
k为正整数

A^2017+B^2019=C^2021+D^2023

A^2015+B^2017+C^2019+D^2021=E^2023

A^999953+B^999959+C^999961+D^999979=E^999983
如果加上系数就有点难度了,解下面的不定方程:
2015A^999953+2017B^999959+2019C^999961+2021D^999979=2023E^999983
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-10-22 12:40 | 显示全部楼层
x^2017+y^2019=z^2021
x=2^2041210*(a^2019-b^2019)^1019594*(a^2019+b^2019)^5099994
y=2^2039188*ab(a^2019-b^2019)^1018584*(a^2019+b^2019)^5094942
z=2^2037170*(a^2019-b^2019)^1017576*(a^2019+b^2019)^5089900


x^2017+y^2019=z^2021
x=2^(4080399k-1530402)
y=2^(4076357k-1528886)
z=2^(4072323k-1527373)
k为正整数

A^2017+B^2019=C^2021+D^2023

A^2015+B^2017+C^2019+D^2021=E^2023

A^999953+B^999959+C^999961+D^999979=E^999983
如果加上系数就有点难度了,解下面的不定方程:
2015A^999953+2017B^999959+2019C^999961+2021D^999979=2023E^999983
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2024-3-29 21:16 , Processed in 0.076172 second(s), 16 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表