哥德巴赫猜想的命题是：任何一个大于4的偶数可以表示为两个素数之和。现证明之。

设有一个偶数K,我们将K与小于K大于2的所有素数3，5，7，11.13，17，19----相减，结果肯定分布在下面的表中，

1×（3，5，7，11.13，17，19---）

3×（3，5，7，11.13，17，19---）

5×（3，5，7，11.13，17，19---）

7×（3，5，7，11.13，17，19---）

9×（3，5，7，11.13，17，19---）

11×（3，5，7，11.13，17，19---）

13×（3，5，7，11.13，17，19---）

15×（3，5，7，11.13，17，19---）

17×（3，5，7，11.13，17，19---）

19×（3，5，7，11.13，17，19---）

------------------------------

（K-1）×（3，5，7，11.13，17，19---）

以上的表可以用一个公式表示：

K - (3，5，7，11.13，17，19---） =  N×(3，5，7，11.13，17，19---）

上式中的N为奇数1，3，5，7，9，11 ,13,15,17,19,----（K-1）

如果我们把素数3，5，7，11.13，17，19---用（S，）表示，则上式可以表示为：

 K -（S，） = N×（S，）

上式中对于K -（S，）取任何一个值，N×（S，）至少有一个值和它对应，如果要回答哥德巴赫猜想是否正确的问题，我们关键是要确定所有的K -（S，）的值在N×（S，）中是如何分布的。

在上面的表中，我们可以清楚的看到，所有K -（S，）的值在N×（S，）中是如何分布的问题实际上就是比较N取不同的值，含K -（S，）的值的个数问题。

上面的表中，对于K -（S，）取任何一个值，N×（S，）都有唯一的值和它对应，可以说N×（S，）是K -（S，）的函数，而K -（S，）中的（S，）是自变量，K明显是常数。

如果我们知道K -（S，）和N×（S，）之间的函数关系，就可以知道K -（S，）的值在上表中是如何分布的，遗憾的是，这个需要知道素数是如何在自然数中分布的，这个问题比哥德巴赫猜想还要难以解决。不过，我们可以看出，K -（S，）在N×（S，）中的分布情况与K -（S，）中的（S，）和N×（S，）的变化情况有关，而与K 值无关。从数学上函数和导数的性质我们知道，K -（S，）中的（S，）和N×（S，）的变化情况于常数K无关，这个也意味着K -（S，）值的个数在N×（S）中的分布规律于K的值大小无关。K的值只是决定了（S，）和N×（S，）的取值范围。

我们取10亿内的偶数用人工或者电子计算机来分析，可以发现，K -（S，）的值在N×（S，）中的分布由两个因素决定，一个是N的值如果和K的值同时能够被一个大于2的素数整除，能够使等式K -（S，） = N×（S，）成立的话，S的值最多只有一个。另一个因素是N的值越小，排除第一个因素，在N×（S，）中分布的K -（S）的个数就越多。当然，在N×（S，）中，当N=1时候，第一个因素是不存在的，所以K -（S，）值的个数在1×（S，）中分布是最多的。

由于K -（S，）值在N×（S，）中的分布规律于K的值大小无关（当然K的值也不能够太小），我们在10亿内得到的分布规律可以推广到K值非常大的情况，以上我们知道，K -（S，）值的个数在N×（S，）中的分布有一个规律：当N×（S，）中的N取1时候，式K -（S，） = N×（S，）能够成立的个数最多。

以上的看法用语言精确表述为：任何一个大于4的偶数K,可以表示一个大于2的素数（S，）与奇数N和大于2的素数（S，）乘积之和，而且，当N=1时候，式K -（S，） = N×（S，）能够成立的个数要多于N = 3,5,7,9,11,----一切其他奇数能够成立时候的个数。

作者张祥前

所以，以上证明了哥德巴赫猜想是正确的。