C++证明哥德巴赫猜想

什么是哥德巴赫猜想？

哥德巴赫 1742 年在给欧拉的信中提出了以下猜想：任一大于2的整数都可写成三个质数之和。但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。因现今数学界已经不使用“1也是素数”这个约定，原初猜想的现代陈述为：任一大于5的整数都可写成三个质数之和。（ $n>5$ ：当 $n$ 为偶数，$n=2+(n-2)$ ，$n-2$ 也是偶数，可以分解为两个质数的和；当 $n$ 为奇数，$n=3+(n-3)$ ，$n-3$ 也是偶数，可以分解为两个质数的和）欧拉在回信中也提出另一等价版本，即任一大于2的偶数都可写成两个质数之和。常见的猜想陈述为欧拉的版本。把命题“任一充分大的偶数都可以表示成为一个素因子个数不超过 $a$ 个的数与另一个素因子不超过 $b$ 个的数之和”记作 $a+b$ 。1966年陈景润证明了 $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;
}