[论文解读] A proof of Goldbach's conjecture that all even numbers greater than four are the sum of two primes

Kent Slinker|arXiv (Cornell University)|Dec 14, 2007

Analytic Number Theory Research参考文献 1被引用 3

一句话总结

本文提出了一种基于镜像素数分布的新型模型，用以证明哥德巴赫猜想，表明每个大于四的偶数均可表示为两个素数之和。通过系统性地移动基于素数的结构，该模型表明在下一个素数加一之前，所有偶数都必然存在哥德巴赫划分，从而在该模型的约束下证明了该猜想。

ABSTRACT

In this paper I introduce a model which allows one to prove Goldbachs hypothesis. The model is produced by studying Goldbach partitions as displayed by an inverted mirror image of all the primes up to some even number equal to the last prime plus three. The bottom half of the model is then moved to the right in steps of two which exhibit the Goldbach partitions for the next even number. As long as the model contains all the primes up to the resulting even number minus three, then Goldbachs hypothesis can be proven if it can be shown that each move must produce a Goldbach partition until one reaches the next prime plus one. I show that this must be the case.

研究动机与目标

• 为哥德巴赫猜想提供一个正式证明，该猜想认为每个大于2的偶数都是两个素数之和。
• 解决数论中长期存在的疑问：哥德巴赫假设对所有大于四的偶数是否成立。
• 开发一种基于素数分布对称性的构造性模型，以系统性地验证哥德巴赫划分。
• 确立该模型的结构动态特性，确保每个按顺序排列的偶数都至少存在一个哥德巴赫划分。

提出的方法

• 构建一个从最后一个素数加三的偶数为止的所有素数的镜像表示。
• 构建一个模型，将素数镜像的下半部分每次向右移动两个单位，以模拟下一个偶数。
• 确保模型保留至新偶数减三的所有素数，以保持潜在素数对的完整性。
• 证明每次移动操作都必须产生至少一个有效的哥德巴赫划分，这是由于镜像素数布局的结构约束。
• 利用模型在逐步移动下的不变性，论证直到达到下一个素数加一，哥德巴赫划分都必然存在。
• 得出结论：如果模型在所有步骤中保持完整性和结构，那么该猜想对所有大于四的偶数均成立。

实验结果

研究问题

• RQ1 基于镜像素数分布的结构化模型能否证明每个大于四的偶数都是两个素数之和？
• RQ2 对基于素数的模型进行系统性移动，是否能保证所有偶数中哥德巴赫划分的存在性？
• RQ3 在何种条件下，该模型能保证每个按顺序排列的偶数都至少存在一个哥德巴赫划分？
• RQ4 将素数集合完整保留至（偶数 - 3）是否足以确保模型中哥德巴赫划分的存在性？
• RQ5 模型在逐步移动下保持结构不变，是否意味着每个偶数都必然存在一对和为该偶数的素数？

主要发现

• 只要包含了所有必要的素数，该模型成功表明在移动过程中每个偶数都必然存在哥德巴赫划分。
• 必须包含至（偶数 - 3）的所有素数，以确保维持必要的结构完整性，从而保留潜在的素数对。
• 将下半部分每次向右移动两个单位，对应于下一个偶数，并保持至少一个有效的哥德巴赫划分。
• 该模型的对称性与完整性确保没有任何偶数被跳过而没有对应的素数对和。
• 当模型达到下一个素数加一，证明即告完成，确认此前所有偶数均已覆盖。
• 该模型的结构动态特性意味着哥德巴赫划分必然且一致存在，从而在该模型框架下证明了该猜想。