1、概述
Python语言[1,2]是一门面向对象的解释型高级程序设计语言,其不仅开源,而且支持命令式编程,包含丰富且易理解的标准库和扩展库,可以快速生成程序的原型,帮助开发者高效地完成任务。同时,Python语言语法简单、结构简单、可读性高,能够使编程人员专注于解决问题而不是搞明白语言本身,从而提高开发效率。
哥德巴赫猜想作为数学界中的掌上明珠,迄今为止没有学者可以证明猜想的正确性。利用Python语言对该猜想进行验证,同时给出算法步骤和具体程序。结果表明,该程序可以提高验证效率,同时便于读者更好理解这一猜想。
2、哥德巴赫猜想
2.1猜想描述
德国数学家哥德巴赫在1742年给欧拉的信中提出了这一猜想:“任何一个大于2的整数都可以写成3个素数之和”。当时最伟大的数学家欧拉也无法证明这一猜想,直到19世纪末都没有取得任何进展。今日的哥德巴赫猜想[3]被描述为欧拉的版本,即:任何一个大于2的偶数都可以写成两个素数之和。
2.2研究历史
为了对这一问题进行证明,科学家还在尝试走另外一条道路。即证明每个大偶数可以表示为:一个素因数不超过a个的数与一个素因数不超过b个的数之和,称这一命题为(a+b)。哥德巴赫猜想就是要证明命题(1+1)是正确的。
1920年,挪威数学家布朗首先证明了(9+9),此后这方面的工作不断取得进展;1957年,我国数学家王元证明了(2+3);1962年,我国数学家潘承洞证明了(1+5),同年又和王元合作证明了(1+4)。
1966年,中国数学家陈景润[4]证明了(1+2),并于1973年发表&#