案例三：验证歌德巴赫猜想

分析：

对偶数4，只有一种分解，即：4=2+2
对任何一个不小于6的偶数n，假设它可以表示两个数之和：n=a+b，如果a和b都是质数，则这是一种满足要求的分解形式。枚举所有可能的(a,b)组合，判断是否满足题目的要求。为了减少枚举的次数，本题可以采取如下的策略：

①最小的质数是2，但在本题中，从a=3开始枚举，因为如果a的值为2，则b的值为大于2的偶数，不可能是质数；
②在枚举过程中，a的值每次递增2，而不是1。这是因为如果每次递增1，在枚举过程中a的值可以取到偶数，而每次递增2，则可以跳过偶数，减少很多次枚举
③另外，a的值只需枚举到n/2即可，因为如果继续枚举，则枚举得到的符合要求的分解形式只不过是交换了a和b的值而已
例如，假设n的为值20，a=3时，a是质数，b=n-a=17，b也为质数，则20=3+17是符合要求的分解形式
下一步a的值递增2，即a=5，a是质数，而b=n-a=15不是质数，不符合要求。再下一步，a的值再递增2，即a=7，a是质数，而b=n-a=13也是质数，符合要求
如此枚举到n>10为止，如果继续枚举，得到的符合要求的分解形式只是将之前分解形式中a、b的值互换而已，根据样例输出可知，程序不应输出这些分解形式

代码如下：

#include<iostream>
using namespace std;
int prime(int x){
	int i;
	for(i=2;i*i<=x;i++){
		if(x%i==0) return 0;
	}
	return 1;
}
int main(){
	int n, a, b;
	while(1){
		cin >> n;
		if(n==0) break;
		if(n==4){
			cout << "4 = 2 + 2" << endl; continue;
		}
		for(a=3;a<=n/2;a+=2){
			if(prime(a)) {
				b = n - a;
				if(prime(b)) //找到一种分解 
					cout << n << " = " << a << " + " << b << endl;
			}
		}
	} 
	return 0;
}