设为首页收藏本站
开启辅助访问 切换到窄版

数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
数学中国»论坛 › 数学中国论坛 › 基础数学 › 哥猜等难题和猜想 › 再看《谈谈哥德巴赫猜想》，发表于2018年
返回列表 发新帖
查看: 2233|回复: 3

再看《谈谈哥德巴赫猜想》，发表于2018年

[复制链接]
发表于 2024-5-2 07:40 | 显示全部楼层 |阅读模式
谈谈哥德巴赫猜想

作者：崔坤 单位：即墨市瑞达包装辅料厂，emile:cwkzq@126.com

摘要：

定理A:每一个大于等于6的偶数都可以表示成两个奇素数之和。

简言：N=P1+P2

定理B: 每一个大于等于9的奇数都可以表示成三个奇素数之和。

简言：Q=P1+P2+P3

关键词：

哥德尔定理、波特兰-切比雪夫定理、表示法个数公式、表示法个数偶数公式

中图分类号：0156.1 MR(2000) 主题分类号：11N05

文献标识码:A

1.引言：

（一） 在1742年给欧拉的信中哥德巴赫提出了以下猜想：

任一大于2的偶数都可写成两个质数之和。

（二） 给出证明的思路是：每一个的问题是哥猜的核心问题，作者就是围绕这个问题给出了一种新的方法，运用双记法给出的证明。现代数学约定3是最小奇素数。

理论基础：

1、建立一个完整的闭合系统，即上下互逆等差数列。2、运用哥德尔定理否定表示法个数为零的协调性不存在。

3、运用波特兰-切比雪夫定理给出表示法个数为零的偶数不存在。

4、运用通项的定义给出每一个的回答。

定理A:每一个大于等于6的偶数都可以表示成两个奇素数之和。

简言：N=P1+P2

2.证明：

符号的约定

约定：表示法个数表格是一个图表。

约定：表示法个数公式是由表示法个数表格中的各项元素关系推导而来的方程式。

约定：r2(N)表示表示法个数表格中表法数个数的符号。

约定：C(N)表示表示法个数表格中奇合数对个数的符号。

约定： π(N-3)表示不超过（N-3)的素数的个数。

约定：W(N)表示表示法个数表格中奇合数与素数成对个数的符号。

约定：M(N)表示表示法个数表格中素数与奇合数成对个数的符号。

为了找到每一个的问题，根据偶数N=2n+4是关于自然数n的函数，首先，构造表示法个数表格，表示法个数表格所对应偶数N的等差数列通项是an=2n+4。

表示法个数表格中的上筛A：

是首项为3，公差为2，末项是奇数（2n+1）的递增等差数列。

表示法个数表格中的下筛B：

是首项为奇数（2n+1），公差为-2，末项是3的递减等差数列。

通过A、B上下2筛获得：

表示法个数表格如下,共有6列:

第一列:偶数N= an=2n+4

第二列:表示法个数r2(N)

第三列:奇合数对的个数C(N)

第四列:奇数对的实例，

第五列：奇数对的个数n，

第六列：不超过N-3的奇素数个数 π(N-3)-1

双记法：表示法个数表格如图:
分析表示法个数表格通项an=2n+4：

an=2n+4 中共有n个不相同的奇数，共有n个不相同的奇数对。

表示法个数表格中的奇数对分类与N相关的有四种：

[1]（奇素数，奇素数），简称：1+1，令有r2(N)个

[2]（奇合数，奇合数），简称：C+C,令有C(N)个

[3]（奇素数，奇合数），简称：1+C,令有M(N)个

[4]（奇合数，奇素数），简称：C+1,令有W(N)个

根据其对称性则有：M(N)=W(N)

设an=2n+4中共有π(N-3)-1个不相同的奇素数，则：

r2(N)+C(N)+W(N)+M(N)=n. . .〈1〉

M(N)= π(N-3)-1- r2(N). . .〈2〉

M(N)=W(N) . . .〈3〉

有上述〈1〉、〈2〉、〈3〉式得：r2(N)=C(N)+2π(N-3)-2-n

其中，r2(N)、C(N)均为自然数， π(N-3)、n均为非零自然数。

将公式：r2(N)= π(N-3)-1-M(N)称为表示法个数公式。

研究后发现表示法个数表格中有个定理：

通项an=2n+4中的奇素数没有与奇合数全部成对,

即π(N-3)-1≠M(N).

证明：

若π(N-3)-1＝M(N)，那么r2(N)= π(N-3)-1-M(N)=0

也就是说此时表格通项an中的奇素数与奇合数全部成对.

那么这种情况下有且只有如下2种情况：

第一种：每个奇素数恰好与奇合数成对，即M(N)=π(N-3)-1.

这种情况是一种协调性的。表示法个数通项表格如下：

如果上筛A中的每个奇素数恰好与下筛B中的奇合数成对，

那么这个自然数的形式系统就是协调性的。

根据哥德尔定理：任何包含了自然数的形式系统，如果它是协调的，那么它的协调性不可能在系统之内得到证明。

故：上筛A中的每个奇素数恰好与下筛B中的奇合数成对的协调性是不可能在这个系统之内得到证明。

即π(N-3)-1- M(N)≠0, r2(N)≠0，从而r2(N)≥1

第二种情况：存在某个大偶数中的奇数X（X＞3）之后没有奇素数，所有的奇素数全部与奇合数成对

M(N)=π(N-3)-1。

单记法给出X：

若在表示法个数表格中X+2到2n+1都是奇合数，那么r2(N)=0

单记法表格如下：
根据加法原理：则X+X+2=2n+4，即X=n+1

所以据此推得大结论K：(n+1)与(2n+3)之间没有奇素数存在。 恰恰相反，

根据伯特兰-切比雪夫定理：

若m为大于1的整数，则存在素数p，符合m＜p ＜2m

那么根据伯特兰-切比雪夫定理则有：

有素数P符合下式：

（n+1）<P<2（n+1）<2n＋3

即：(n+1)与(2n+3)之间有奇素数存在。

由此可知大结论K错误。

从而π(N-3)-1≠M(N)，即r2(N)≠0.

由于r2(N)是自然数，那么r2(N)≥1.

由于an为表格的通项，那么根据通项的定义可知：

每一个大于等于6的偶数都至少有一个表示法个数。

即每一个大于等于6的偶数都可以表示成两个奇素数之和。

故命题简言：N=P1+P2，其中偶数N≥6，P1、P2是奇素数。

2018.10.07日于即墨
https://tieba.baidu.com/p/5905459667

本帖子中包含更多资源

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

x
回复

使用道具 举报

 楼主| 发表于 2024-5-2 07:42 | 显示全部楼层
两个伟大的定理：哥德尔定理、波特兰-切比雪夫定理
回复 支持 反对

使用道具 举报

 楼主| 发表于 2024-5-2 16:28 | 显示全部楼层

两个伟大的定理：哥德尔定理、波特兰-切比雪夫定理
回复 支持 反对

使用道具 举报

发表于 2025-7-13 15:08 | 显示全部楼层

在数学论坛，包装和推销靠不住的东西————除cuikun-186外；因为，这样说得过去！————是愚蠢行为！

论坛上没有称得上靠得住的————除崔坤的哥猜证明外；因为，这样，行得通！————哥猜证明，却有些靠得住的二百五；鲁思顺是二百五中的突出代表，，，
回复 支持 反对

使用道具 举报

返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies E
您需要登录后才可以回帖 登录 | 注册

本版积分规则

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

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

GMT+8, 2025-7-15 13:55 , Processed in 0.102487 second(s), 16 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代码输入: