哥德巴赫猜想的Python验证

王德贵 丁大为

哥德巴赫猜想，是世界近代三大数学难题之一。华罗庚是中国最早从事哥德巴赫猜想的数学家。1936—1938年，他赴英留学，师从哈代研究数论，并开始研究哥德巴赫猜想，验证了几乎所有的偶数猜想。1966年，华罗庚的学生陈景润在对筛法做了新的重要改进后，证明了“1+2”，他证明了任何一个充分大的偶数，都可以表示为两个数之和，其中一个是质数，另一个或为质数或为两个质数的乘积，被称为“陈氏定理”，这在当时影响很大，但之后就再也没有什么研究进展了。

一、哥德巴赫猜想内容

哥德巴赫猜想，是数学史上和质数有关的数学猜想，影响了一代又一代数学家。

1742年6月7日，德国数学家哥德巴赫在写给著名数学家欧拉的一封信中，提出了一个大胆的猜想：任何不小于3的奇数，都可以是三个质数之和（如：7=2+2+3。当时1仍属于质数）。

同年，6月30日，欧拉在回信中提出了另一个版本的哥德巴赫猜想：任何偶数，都可以是两个质数之和（如：4=2+2。当时1仍属于质数）。

这就是数学史上著名的“哥德巴赫猜想”。由于1已经不归为质数，所以这两个猜想分别变为：

任何不小于7的奇数，都可以写成三个质数之和的形式;

任何不小于4的偶数，都可以写成两个质数之和的形式。

20世纪，随着计算机技术的发展，数学家们发现哥德巴赫猜想对于更大的数依然成立。但自然数是无限的，无法判断是否存在某一个足够大的偶数，成为哥德巴赫猜想的反例，但数学家们仍在不断的探索中，寻求着各种不同的解决方法。……