证明不小于6的偶数都是两个素数之和

所谓哥德巴赫猜想，是指哥德巴赫在教学中发现，每个不小于6的偶数都是两个素数之和。大家都相信这个猜想是正确的，但不能证明。

对于哥德巴赫猜想的验证，算法很简单，其基本思路是：设n为大于等于6的一个偶数，可将其分解为n1和n2两个数，分别检查n1和n2是否为素数，如都是，则在该数得到验证。若n1不是素数，就不必再检查n2是否素数。先从n1=2开始，检验n1和n2（n2=n-n1）是否素数。然后使n1+2再检验n1、n2是否素数……，直到n1=n/2为止。

int PrimeNum(int i) //判断数i是否为质数
{
    int j,flag=1;
    for(j=2;j*j<=i-1;j++) //循环除以每个数
    {
        if(i%j==0) //i能被j整除，表示不是质数
        {
            flag=0;
            break;
        }
    }
    return flag; //返回结果
}
int main()
{
    int n,i,j,flag;for(i=6;i<=n;i+=2) //从6开始，循环验证各偶数
    {
        flag=1;
        for(j=2;j<=i/2;j++) //判断组成每个数的两个加数
        {
        //如果有一个加数是偶数则不判断
          if(j%2==0 || ((i-j)%2==0)) continue;//若一个加数是偶数，不进行素数判断
          if(PrimeNum(j) && PrimeNum(i-j)) //若两个加数都是素数
          {
              printf("%d=%d+%d\n",i,j,i-j);//输出素数
              flag=0; //清除标志
              break;
          }
        }
        if(1==flag)//若某个偶数不是由两个奇数组成
            printf("找到一个不符合要求的偶数:%d\n",j);
    }
    getch();
    return 0;
}