C语言验证哥德巴赫猜想

哥德巴赫1742年给欧拉的信中哥德巴赫提出了以下猜想：任一大于2的整数都可写成三个质数之和 [1]  。但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。 [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的偶数都可写成两个素数之和，亦称为“强哥德巴赫猜想”或“关于偶数的哥德巴赫猜想”。

#include <stdio.h>
#include <stdlib.h>
int main() {

    int k, a, b, i, count1, count2;
    // 任一大于2的偶数都可写成两个素数之和 (4-100之间的偶数可以用那两个素数相加)
    for (k=4; k <= 100; k++)
    {

        for (a= 2; a <= k/2; a++)
        {
            count1 = 0;
            //判断a是不是素数；
            //一个大于1的正整数，如果除了1和它本身以外，不能被其他正整数整除，就叫素数。
            for ( i = 2; i < a-1; i++)
            {
                //把这个数除以，除去1和本身能整除就不是素数；
                if (a % i == 0)
                {
                    count1++;
                    break;
                }
            }
            //a为素数
            if (count1==0)
            {
                //再判断b是不是素数；
                b = k - a;
                count2 = 0;
                for ( i = 2; i < b-1; i++)
                {
                    if (b % i == 0) {
                        count2++;
                        break;
                    }
                }
                //b也是素数
                if (count2==0)
                {
                    printf("%d=%d+%d\n", k, a, b);
                    break;
                }
            }

        }
    }



    system("pause");
    return 0;
}