什么是哥德巴赫猜想?
哥德巴赫 1742 年在给欧拉的信中提出了以下猜想:任一大于2的整数都可写成三个质数之和。但是哥德巴赫自己无法证明它,于是就写信请教赫赫有名的大数学家欧拉帮忙证明,但是一直到死,欧拉也无法证明。因现今数学界已经不使用“1也是素数”这个约定,原初猜想的现代陈述为:任一大于5的整数都可写成三个质数之和。( n > 5 n>5 n>5 :当 n n n 为偶数, n = 2 + ( n − 2 ) n=2+(n-2) n=2+(n−2) , n − 2 n-2 n−2 也是偶数,可以分解为两个质数的和;当 n n n 为奇数, n = 3 + ( n − 3 ) n=3+(n-3) n=3+(n−3) , n − 3 n-3 n−3 也是偶数,可以分解为两个质数的和)欧拉在回信中也提出另一等价版本,即任一大于2的偶数都可写成两个质数之和。常见的猜想陈述为欧拉的版本。把命题“任一充分大的偶数都可以表示成为一个素因子个数不超过 a a a 个的数与另一个素因子不超过 b b b 个的数之和”记作 a + b a+b a+b 。1966年陈景润证明了 1 + 2 1+2 1+2 成立,即“任一充分大的偶数都可以表示成二个素数的和,或是一个素数和一个半素数的和”。
常见的猜想陈述为欧拉的版本,即任一大于2的偶数都可写成两个素数之和,亦称为“强哥德巴赫猜想”或“关于偶数的哥德巴赫猜想”。
从关于偶数的哥德巴赫猜想,可推出:任何一个大于7的奇数都能被表示成三个奇质数的和。后者称为“弱哥德巴赫猜想”或“关于奇数的哥德巴赫猜想”。若关于偶数的哥德巴赫猜想是对的,则关于奇数的哥德巴赫猜想也会是对的。2013年5月,巴黎高等师范学院研究员哈洛德·贺欧夫各特发表了两篇论文,宣布彻底证明了弱哥德巴赫猜想。
证明代码
#include <iostream>
using namespace std;
bool func(int n)
{
bool flag = 1;
for (int i = 2; i < n; i++)
if (n % i == 0) flag = 0;
if (flag) return 1;
return 0;
}
int main()
{
int x, t;
bool flag = 0;
cin >> x;
t = x;
for(int j = 4; j < x; j += 2)
{
for (int i = 2; i < j - 1; i++)
{
if (func(i) || func(x - i)) flag = 1;
}
}
if (flag) cout << "哥德巴赫猜想成立" << endl;
else cout << "哥德巴赫猜想不成立" << endl;
return 0;
}