数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
楼主: qhdwwh

简略证明哥德巴赫猜想成立

  [复制链接]
 楼主| 发表于 2018-6-24 15:21 | 显示全部楼层
                                                    筛函数数学表达式
       由WHS筛法原理可以推导出如下筛函数数学表达式:
            S2(X)jp=1.5N/(lnX1*lnX2)--------不能被6整除的偶数,
            S2(X)jp=3N/(lnX1*lnX2)--------能被6整除的偶数,
       式中:S2(X)jp--------------待验证区间[X1,(X1+X2-N)]全部偶数的素数对计算平均值,
                N------------------WHS筛的规模[A,X1](大数区间含自然数的数量N=X1-A),
                X1-----------------大偶数值(待验证大偶数区间的起始数值),
                X2-----------------较小数区间数值。
                     且 X1-X2>N,   X2≥N
       例:  验证区间[X1,(X1+X2)] 偶数哥猜成立 ,式中X1=10^23 ,N=10000  X2=1200000
        S2(X)jp=1.5N/(lnX1*lnX2)=1.5*10000/(ln10^23*ln1200000)=20.23--------不能被6整除的偶数,
        S2(X)jp=3N/(lnX1*lnX2)=3*10000/(ln10^23*ln1200000)=40.46  --------能被6整除的偶数,

      上面的计算结果说明[10^23,(10^23+1200000-10000)]区间内全部偶数哥猜验证均成立。
即区间[(10^23-10000),10^23]的全部素数和区间[5,1200000]全部素数组合,能够验证至少595000个连续大偶数(偶数≥10^23以上)哥猜成立。
      对任意偶数哥猜验证,当X1,X2确定 ,只要确定一个合适的N值,就可以验证哥猜成立。
 楼主| 发表于 2018-6-29 08:22 | 显示全部楼层
      我2018.6.7发表的帖子验证了比99999998172001大的60万个连续偶数哥猜成立。实际可以验证的范围更大,这只要适当调整N值即可。
      例1,如将N=4000,就可以验证比99999998172001大1000万的60万个连续偶数哥猜成立。
      此时,  S2(X)jp=1.5N/(lnX1*lnX2)=1.5*4000/(ln10^15*ln10000000)=10.78
                 筛出实际值S2(X)jps=11.83
      例,2,如将N=5328,就可以验证比99999998172001大1亿的60万个连续偶数哥猜成立。
       此时S2(X)jp=1.5N/(lnX1*lnX2)=1.5*5328/(ln10^15*ln100000000)=12.56
                 筛出实际值S2(X)jps=13.54

下面分别给出验证的局部:
例1,2018.6.23c5png,          2018.6.23c7png
例2,2018.6.23bpng,          2018.6.23b2png

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
发表于 2018-6-29 08:51 | 显示全部楼层
本帖最后由 lkPark 于 2018-6-29 09:24 编辑
qhdwwh 发表于 2018-6-29 08:22
我2018.6.7发表的帖子验证了比99999998172001大的60万个连续偶数哥猜成立。实际可以验证的范围更大, ...


哥猜没被你证明成立,你却用素数定理搞了个哥猜解计算式就反向证明了哥猜成立?这逻辑何在?N是连续的,你自认为这就是哥猜成立的前提,你有病吗?按照现代数论来讲你的式子只能表示N內上的素数个数当中的等比例素数个数的二分之一,该值仍然只是表示了N内上的素数个数的部分素数个数,请问这部分素数个数和2N对应的哥猜解的部分素数的个数是同一回事吗?素数个数能决定其修饰的素数的量吗?蠢绿?
发表于 2018-6-30 12:48 | 显示全部楼层
所有使用计算机统计的数值得出的结果,只能作为证明的一个参考。但不能代替从数学逻辑关系去证明哥德巴赫猜想的证明。
从数学逻辑关系去证明哥德巴赫猜想的证明,是唯一的数学证明方法。
发表于 2018-6-30 16:27 | 显示全部楼层
zengyong 发表于 2018-6-30 04:48
所有使用计算机统计的数值得出的结果,只能作为证明的一个参考。但不能代替从数学逻辑关系去证明哥德巴赫猜 ...

您是明白人,

从数学逻辑关系去证明哥德巴赫猜 ...

说的好啊.
发表于 2018-7-3 16:08 | 显示全部楼层
zengyong 发表于 2018-6-30 04:48
所有使用计算机统计的数值得出的结果,只能作为证明的一个参考。但不能代替从数学逻辑关系去证明哥德巴赫猜 ...


所有使用计算机统计的数值得出的结果,只能作为证明的一个参考

您说的太漂亮了。这里有的网友还再一直计算偶数表为两素数和的对数,
我感觉对自己证明是阻碍,浪费自己的时间,影响积极思考证明的思路。
 楼主| 发表于 2018-7-6 07:57 | 显示全部楼层
       验证一个区间偶数哥猜成立
实例:一个需要筛选的集合:   [999999997920002,999999998172001],
作为筛选标准的“筛孔”(即一系列素数的集合):{P∣[2,31622776]} 集合中有1951957个素数(“筛孔”),
筛出给定的需要筛选的集合中的全部素数:即区间[999999997920002,999999998172001]筛出的全部素数为7443个。
说明一下,虽然筛选的集合有252000个数,但每个素数只筛一次,经1951957个素数,每个素数只筛一次后,所有素数的代码均排列在数轴上,每个素数经简单计算即可得出。

将区间 [999999997920002,999999998172001]的7443个素数组合,可以筛出1999999996092004的161个素数对(筛出实际值S2(X)jps)。见2018.3.30发帖 图2018.3.30jpg。
根据筛函数数学式得 S2(X)jp=1.5N/(lnX1*lnX2)=1.5*126000/(ln10^15*ln10^15)=158.4
可见本例:筛出实际值S2(X)jps≈计算平均值S2(X)jp
通过上面几个帖子和本帖,明显可见,只要找到10的15次方内的全部素数,就可以验证区间 [10^15,(2*10^15-252000)]的全部偶数哥猜均成立。
上面的验证都是用WHS筛法完成的,即全部的素数,偶数的素数对等完全用我原创的WHS筛法(位置筛法)筛出。限于我用的计算机和软件,我只能验证到2*10^15-252000大的偶数。

用同样的方法,我们可以验证区间 [10^23,(2*10^23-252000)]的全部偶数哥猜均成立。
由此,取N=10000
根据筛函数数学式得 S2(X)jp=1.5N/(lnX1*lnX2)=1.5*10000/(ln10^23*ln1260000)=20.16
如取N=126000,根据筛函数数学式得 S2(X)jp=1.5N/(lnX1*lnX2)=1.5*126000/(ln10^23*ln10^23)=67.4
计算结果说明,验证区间 [10^23,(2*10^23-252000)]的全部偶数哥猜均成立。
实际情况如何,只有通过验证。如果中科院数学所能提供数据,我相信验证一定会成功。

同样,其它任何偶数哥猜验证也均成立。
发表于 2018-7-16 23:37 | 显示全部楼层
lkPark 发表于 2018-6-29 08:51
哥猜没被你证明成立,你却用素数定理搞了个哥猜解计算式就反向证明了哥猜成立?这逻辑何在?N是连续的 ...


此贴也只能在有限可验证范围內讨论1/㏑N式。在无限域它不成立与素数分布相关。
 楼主| 发表于 2018-7-25 10:15 | 显示全部楼层
1.偶数哥德巴赫分拆数的下限数学表达式,是以最简洁的数学式,阐明一个数学规律。
证明了偶数哥德巴赫猜想成立。
2.奇数哥德巴赫猜想数学解析式 G3(x)=G2(x-3)+G2(x-5)+......+G2(x-pi)=∑G2(x-pi)         i=2......i  ,
证明了奇数哥德巴赫猜想成立。
3.筛函数数学表达式S2(X)jp=1.5N/(lnX1*lnX2),------不能被6整除的偶数,
                 S2(X)jp=3N/(lnX1*lnX2),------能被6整除的偶数,
验证偶数哥德巴赫猜想成立的数学表达式。
该数学式表明,只要适当选择筛函数的自变量N,X1,X2就可以验证一个区间的偶数哥德巴赫猜想成立。且对每一个筛函数组合,虽然偶数素数对组合不同,但验证一个区间的偶数哥德巴赫猜想成立是等效的。比如要验证10亿附近偶数哥猜成立,可以选择X2=9亿,X1=1亿;X2=8亿,X1=2亿;X2=5亿,X1=5亿;等等。因为验证哥猜成立,只要找到一个以上素数对即可,所以验证非常简单,快捷,准确。不用大的N值,就可以验证非常大的偶数哥猜成立。比如验证10^23大的偶数,WHS筛的规模N=10000就可以了。
4.图解计算------验证一个区间偶数哥猜成立的-代码运算及复原素数对,
图解计算是WHS筛的应用之一,可以验证一个区间偶数哥猜成立,给出每个要验证偶数的素数对数,和素数对的数值。素数对显示直观,容易理解,数据量大。
5.WHS筛法:
筛出自然数子区间的素数,
筛出偶数的哥德巴赫分拆数,
验证一个,几个,或一个自然数区间内偶数哥猜成立,
用WHS筛法筛出孪生素数,四连素数,和筛出大偶数完全由孪生素数构成的素数对等。

我用了十二年以上的时间,主要做了以上五项工作。我认为对于数论问题,证明是非常重要的,但验证也同样重要。验证是对哥猜研究的细化,对偶数哥德巴赫分拆数规律研究的细化,即一个个地看偶数哥德巴赫分拆数没有规律,但从总体上看,偶数哥德巴赫分拆数有规律可询,可以找到偶数哥德巴赫分拆数的下限,由此可以判定偶数哥德巴赫猜想成立。
您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

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

GMT+8, 2025-7-16 21:22 , Processed in 0.081295 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: