Scientific Research

An Academic Publisher

Rigorous Proof of Goldbach’s Conjecture

**Author(s)**Leave a comment

KEYWORDS

1. Introduction

Goldbach’s conjecture is one of the oldest and best-known unsolved problems in number theory. It states: every even integer greater than 2 can be expressed as the sum of two primes [1] [3].

In the letter to Euler by Goldbach in 1742, Goldbach put forward the following conjecture: any even number greater than 2 can be written as the sum of two prime numbers. The common conjecture today is the version of Euler. The proposition that any sufficiently large even number can be expressed as a sum of the number of prime factors less than a sum of two numbers that prime factors not exceeding a and b separately. It is denoted as “a + b”. In 1966, Chen Jingrun proved that “1 + 2” was established. But the Goldbach’s conjecture has not yet been fully resolved [2].

We are going to take the big even number x on the number line, and then going to go back from x, and to look for the even numbers that are not true for the Goldbach’s conjecture, which is the exception even numbers.

The number of exception even numbers before x is written E(x). We hope that no matter how big x is, there’s only one exception even numbers. Before x, which is 2, namely is just 2 that makes the guess wrong. So the Goldbach’s conjecture is equivalent to E(x) = 1 [3]. We will use the method of exception set to solve the Goldbach’s conjecture.

Remarks on Notation

Definition: If A is a set, card (A) is the number of elements of set A. In addition:

• ${A}_{p}^{n}$ is the set of integers with multiples of prime p. As ${A}_{3}^{10}=\left\{3,6,9\right\}$ .

•
${A}_{2,3,\mathrm{...},{p}_{m}}^{n}$ is the set with multiples of primes 2, 3, ∙∙∙, p_{m} in [1, n], as
${A}_{3,5}^{10}=\left\{3,5,6,9,10\right\}$ .

•
${B}_{2,3,\mathrm{...},{p}_{m}}^{n}$ is the set of integers without multiples of primes 2, 3, ∙∙∙, p_{m} in [1, n], as
${B}_{2,3}^{10}=\left\{1,5,7\right\}$ .

• π(N) is the number of prime numbers in [1, 2n].

• D(N) is the number of prime integer-pairs that sum of two integers is equal to 2n.

• D^{ n} is a set with elements are prime integer-pairs.

2. Integers

2.1. Prime and Composite Numbers

In number theory, we know the number of primes can calculate by sieve of Eratosthenes and inclusion exclusion formula [3] [5] [6].

$\begin{array}{l}\pi (N)=m-1+N-\underset{1\le {i}_{1}}{{\displaystyle \sum}}\left[\frac{N}{{p}_{{i}_{1}}}\right]+\underset{1\le {i}_{1}\le {i}_{2}\le m}{{\displaystyle \sum}}\left[\frac{N}{{p}_{{i}_{1}}{p}_{{i}_{2}}}\right]-\cdots \\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\underset{1\le {i}_{1}\le \dots \le {i}_{k}\le m}{{\displaystyle \sum}}\left[\frac{N}{{p}_{{i}_{1}}\cdots {p}_{{i}_{k}}}\right]+\cdots +{(}^{-}\left[\frac{N}{{p}_{1}\cdots {p}_{m}}\right]\end{array}$ (1)

It can be received exact value by the calculation of the tolerance formula, but it can only be used in small range of positive integers, because the operation is very complicated. For a larger range of data operations, there is inefficiency.

2.2. The Lower Limit of the Number of Prime Numbers

2.2.1. Function ϕ(n)

Theorem. (Euler function) [3] [5] [6] If n contains any prime number p_{i}, p_{j}, ∙∙∙, p_{k} factor, let ϕ(n) be the number of positive integers not greater than and prime to n, then

$\u0444\left(n\right)=n\left(1-\frac{1}{{p}_{i}}\right)\left(1-\frac{1}{{p}_{j}}\right)\cdots \left(1-\frac{1}{{p}_{k}}\right)$ (2)

2.2.2. Function ϕ'(n)

Lemma 1. [4] [5] [6] (Division with remainder) If a and b are two integers, then integers q and r exist as

$a=bq+r,0<r<b.$

Theorem 2. If p is any prime number, let ${A}_{p}^{n}$ be a set of all multiples of prime p in [1, n]

$\text{card}({A}_{p}^{n})\le \frac{n}{p}$

Proof. If n = kp + r, 0 ≤ r < p, then

$\text{card}\left({A}_{p}^{n}\right)\le \left[\frac{n}{p}\right]=k\le \frac{n}{p}=k+\frac{r}{p}.$

Theorem 3. Let ${B}_{p}^{n}$ be a set of integers without multiples of prime p, then

$\text{card}\left({B}_{p}^{n}\right)\ge n\left(1-\frac{1}{p}\right).$

Proof. By Theorem 2, have

$\text{card}\left({A}_{p}^{n}\right)\le \frac{n}{p},$

then

$\text{card}\left({B}_{p}^{n}\right)=n-\text{card}\left({A}_{p}^{n}\right)\ge n-\frac{n}{p}=n\left(1-\frac{1}{p}\right).$

This (1 − 1/p) is called the eliminating factor of the composite number. □

Theorem 4. If
${p}_{m}^{2}\le n\le {p}_{m+1}^{2}$ ,
${B}_{2,3,\mathrm{...},{p}_{m}}^{n}$ is the collection of n continuous natural number that except multiples of primes 2, 3, ∙∙∙, p_{m}, then the function ϕ'(n) is

$\text{card}({B}_{2,3,\dots ,{p}_{m}}^{n})\ge {\u0444}^{\prime}\left(n\right)=\underset{i=1}{\overset{m}{{\displaystyle \prod}}}\left(1-\frac{1}{{p}_{i}}\right).$

Proof. Case 1: if n is multiple of primes 2, 3, which as n equals 18,

$\text{card}\left({B}_{2,3}^{18}\right)={\u0444}^{\prime}\left(18\right)=\u0444\left(18\right)=6.$

This is say, the function ϕ(n) is the accurate value calculated when the n is multiple of 2, 3, ∙∙∙, p_{m}.

Case 2: if n may be not multiples of primes 2, 3, ∙∙∙, p_{m}, which as n equals 20,

$\text{card}\left({B}_{2,3}^{20}\right)=7,{\u0444}^{\prime}\left(20\right)\approx \mathrm{6.3333.}$

When n is not multiple of 2, 3, ∙∙∙, p_{m}, by Theorem 2, it can be known that 1/p_{i} is the component density of multiples of the prime p_{i} in [1, n]. Then we take ϕ'(n) from ϕ(n) as below

${\u0444}^{\prime}\left(n\right)=n\left(1-\frac{1}{2}\right)\left(1-\frac{1}{3}\right)\cdots \left(1-\frac{1}{{p}_{m}}\right)$

By Theorem 60 in “An Introduction to the Theory of numbers” [5], we known ϕ'(n) is multiplicative. According to Theorem 3, it can be known that (1 − 1/p) is the eliminating factor of the composite number. By Theorem 3, the every eliminating factor (1 − 1/p) less than or equal to the actual value, then its means that, ϕ'(n) is lower bound of the number of primes in [1, n]. For examples: if n = 60, $\text{card}({B}_{2,3,5,7}^{60})=14$ , π(60) = 17, ϕ'(60) = 13.71; if n = 68, $\text{card}({B}_{2,3,5,7}^{68})=16$ , π(68) = 19, ϕ'(68) = 15.54. Namely

$\text{card}({B}_{2,3,\dots ,{p}_{m}}^{n})\ge {\u0444}^{\prime}\left(n\right).$

Theorem 5. If ${p}_{m}^{2}\le n<{p}_{m+1}^{2}$ ,

$\text{card}\left({B}_{2,3,\dots ,{p}_{m}}^{n}\right)\ge {\u0444}^{\prime}\left(n\right)-m=n\left(1-\frac{1}{2}\right)\left(1-\frac{1}{3}\right)\cdots \left(1-\frac{1}{{p}_{m}}\right)-m$ (3)

Proof. By Theorem 4, we known, if n is a multiple of primes 2, 3, ∙∙∙, p_{m},

$\text{card}\left({B}_{2,3,\dots ,{p}_{m}}^{n}\right)\ge {\varphi}^{\prime}\left(n\right)$ ._{ }

But when n is not a multiple of primes p_{i}, there maybe has a error r (
$r=\frac{n}{{p}_{k}}-\left[\frac{n}{{p}_{k}}\right]$ ), and

$r\left(1-\frac{1}{2}\right)\left(1-\frac{1}{3}\right)\cdots \left(1-\frac{1}{{p}_{m}}\right)<1.$

In order to obtain a definite lower limit of the number of primes and simple operation, we find a function that may be associated with the error as an error compensation. That is to subtract 1 is the error compensation for every operation of multiples of p_{i}. (i = 1, 2, …, m) So, we obtain following formula

$\text{card}\left({B}_{2,3,\dots ,{p}_{m}}^{n}\right)\ge {\u0444}^{\prime}(n)-m.$

3. Integer Pairs

2n positive integers be arranged to w rows as Figure 1 follows.

We obtain n pairs of two integers that sum are just equal to 2n, it is called “integer-pair”. It is called “prime integer-pair” if two integers are primes.

Obviously, as long as we can prove that there has one or more than one prime integer-pair, the Goldbach’s conjecture problem can be solved [7].

Theorem 6. Let D^{n} be a set of prime integer-pairs in Figure 1. Then

$\text{card}\left({D}^{n}\right)\ge d\left(n\right)-m=\left(1-\frac{2}{3}\right)\left(1-\frac{2}{5}\right)\cdots \left(1-\frac{2}{{p}_{m}}\right)-m.$ (4)

Proof. First, to delete all even integer-pairs in Figure 1, we obtain n/2 (or (n + 1/2)) odd integer-pairs, as Figure 2 (assume n − 1 is odd) noticed that the spacing of each odd prime number is the same as that of the natural number, as shown in Figure 3. So the function formula of ϕ'(n) can also be applied (except without the 2 factor).

Our approach is:

1) First, those integer-pairs on the top row that contain multiple of 2, 3, ∙∙∙, p_{m} are to marked “/”, (suppose n − 3 are composite numbers) (see Figure 4).

Figure 1. n pairs from 2n integers.

Figure 2. Odd integer-pairs.

Figure 3. Odd integers.

Figure 4. Marking of “/”.

The calculation for the number of integer-pairs marked “/” is by ϕ'(n) as below

$\text{card}\left({B}_{2,3,\dots ,{p}_{m}}^{n}\right)\ge {\u0444}^{\prime}\left(n\right)-m=n\left(1-\frac{1}{2}\right)\left(1-\frac{1}{3}\right)\cdots \left(1-\frac{1}{{p}_{m}}\right)-m\text{.}$

by Theorem 5.

2) Next, those integer-pairs on the bottom row that contain multiple of 2, 3, ∙∙∙, p_{m} are also to marked “\”, see Figure 5 (suppose n − 3, n + 3, 2n − 5 are composite numbers);

Then, we are deleting all integer-pairs that are marked “/” or “\”. At same times, we are using function d(n) for calculation the number of all deleted integer-pairs as below(by change every numerator 1 to 2 from function ϕ'(n))

$\text{card}\left({D}^{n}\right)\ge d\left(n\right)-m=\frac{n}{2}\left(1-\frac{2}{3}\right)\left(1-\frac{2}{5}\right)\cdots \left(1-\frac{2}{{p}_{m}}\right)-m\text{.}$

In this way, we counted only one time for every integer-pair that containing one multiple of 2, 3, ∙∙∙, p_{m}; but for other integer-pairs that contained two multiples of 2, 3, ∙∙∙, p_{m} (as integer-pairs noted “×” ), we repeat counted it by two times, this is called excessive duplicate sieving [8]. Note: this repetitive deletion will make d(n) − m less than the actual number of the remainder with 1 and prime numbers (see Figure 5). This does not affect the validity of the proof. Instead, the way to do this is to get a more rigorous the lower limit of card (D^{n}) (i.e. D(N)), which is exactly what we need. So, the(4) is true. □

Theorem 7. Let D^{n} be a set of prime integer-pairs in Figure 1. If

$d\left(n\right)-m=\frac{n}{2}\underset{i=2}{\overset{m}{{\displaystyle \prod}}}\left(1-\frac{2}{{p}_{i}}\right)-m\ge 2,$

is true, then card(D ^{n}) ≥ 1.

Figure 5. Marking of “\”.

Proof. Because all integer-pairs that containing of the composite numbers have been deleted, the remnants are just 1 and primes. Because the D^{n} is a set of prime integer-pairs in n integer-pairs, and

$\text{card}({D}^{n})\ge d\left(n\right)-m=\frac{n}{2}\underset{i=2}{\overset{m}{{\displaystyle \prod}}}\left(1-\frac{2}{{p}_{i}}\right)-m.$

In order to get the safe and reliable data, our rule to believe that if d(n) is greater than or equal to 2, the card (D^{n}) is greater than or equal to 1 (because 1 and three primes can form two integer-pair). So Theorem 7 is true. □

4. Proof of Proposition

4.1. Proofs of Some about Theorems

Theorem 8. When m ≥ 60, P_{m}/4 ≥ m + 2.

Proof. Because from m to m + 1,
${p}_{m+1}\ge {p}_{m}+2$ . That is to say, the growth rate of P_{m} greater than that of m.

Use induction on m:

1) When m = 60, P_{60} = 281, P_{60}/4 = 70.25. 70.25 > 60 + 2 (to win more 8.25).

2) Suppose when m = k, $\frac{{p}_{k}}{4}\ge k+8$ .

Then, when m = k + 1, there have two cases:

a) Most prime numbers are not the twin primes, then

$\frac{{p}_{k+1}}{4}\ge \frac{{p}_{k}+4}{4}\ge k+1+8.$

b) When p_{k}_{+1} and p_{k} are a pair of twin primes,

$\frac{{p}_{k+1}}{4}\ge \frac{{p}_{k}+4}{4}\ge k+0.5+8.$

The prime numbers behind are not the twin prime number. If the distance is greater than or equal to 4, then the loss of 0.5 in the twin prime numbers will be made up in the increment of successive prime numbers. So as 2n goes up, the surplus goes up. This is the argument with the growth rate of P_{m} is greater than that of m.

This completes the proof of Theorem 8. □

To understand Theorem 8, see the data obtained by computer programming following Figure 6.

Theorem 9. If ${p}_{m}^{2}+1\le 2n\le {p}_{m+1}^{2}-1$ , then

$d\left(n\right)-m=\frac{n}{2}\underset{i=2}{\overset{m}{{\displaystyle \prod}}}\left(1-\frac{2}{{p}_{i}}\right)-m\ge 2.$

Figure 6. Data of m and p_{m}.

Proof. In fact, when ${p}_{m}^{2}+1\le 2n\le {p}_{m+1}^{2}-1$ , the d(n) is

$\begin{array}{l}d\left(n\right)=\frac{{p}_{m}^{2}+1}{4}\underset{i=2}{\overset{m}{{\displaystyle \prod}}}\left(1-\frac{2}{{p}_{i}}\right)\frac{{p}_{m}^{2}}{4}\times \frac{1}{3}\times \frac{3}{5}\times \frac{5}{7}\times \frac{9}{11}\times \cdots \times \frac{{p}_{m}-2}{{p}_{m}}\\ >\frac{{p}_{m}^{2}}{4}\times \frac{1}{3}\times \frac{3}{5}\times \frac{5}{7}\times \frac{7}{9}\times \frac{9}{11}\times \cdots \times \frac{{p}_{m}-4}{{p}_{m}-2}\times \frac{{p}_{m}-2}{{p}_{m}}=\frac{{p}_{m}^{2}}{4}\times \frac{1}{{p}_{m}}\end{array}$

Namely
$d\left(n\right)\ge \frac{{p}_{m}}{4}$ ._{ }

By Theorem 8, when m ≥ 60, P_{m}/4 ≥ m + 2. So

$d\left(n\right)-m=\frac{n}{2}\underset{i=2}{\overset{m}{{\displaystyle \prod}}}\left(1-\frac{2}{{p}_{i}}\right)-m\ge 2.$

4.2. Proof of the Proposition

Proposition 4.1. Every even number that not less than 4 is the sum of two prime numbers.

Proof. Let 2n be any even number larger than 4. That 2n integers are arranged form two rows in Figure 7 as below.

Using the method of Section 3, we deleting even integer-pairs and remnants are those odd integer-pairs.

Next to delete those odd integer-pairs of multiple of 2, 3, ∙∙∙, p_{m} by the duplicate sieving, as Figure 8.

And by Theorem 6, we obtain function d(n) as

$d\left(n\right)-m=\frac{n}{2}\underset{i=2}{\overset{m}{{\displaystyle \prod}}}\left(1-\frac{2}{{p}_{i}}\right)-m\text{}.$

By Theorem 8 and Theorem 9 we can prove that when $m\ge 60$ ,

$d\left(n\right)-m=\frac{n}{2}\underset{i=2}{\overset{m}{{\displaystyle \prod}}}\left(1-\frac{2}{{p}_{i}}\right)-m\ge 2.$

By Theorem 7, it is following

$\text{card}({D}^{n})\ge 1$ .

Figure 7. n integer-pairs from 2n integers.

Figure 8. Deleting of odd integer-pairs.

Namely there is having one or more one of prime integer-pairs exist in n integer-pairs that sum of two primes equals 2n, witch when $m\ge 60$ , $2n\ge {p}_{60}^{2}+1=78962$ , (by ${p}_{60}=281$ ).

For example, D(78,962) = 542, 78,962 = 43 + 78,919 = 61 + 78,901.

In addition, for 4 ≤ 2n ≤78,960, we can prove by a table (to omit). For example:

D(78,960) = 1630, 78,960 = 31 + 78,929 = 41 + 78,919;

D(78,958) = 572, 78,958 = 29 + 78,929 = 41 + 78,917.

Hence the Proposition 4.1 is true. □

5. Safety Analysis

Some people may ask: is the method of repeated screening reliable? Is it beyond the range of positive integers?

Now let’s do a mathematical analysis of this problem [9] [10] [11].

$\underset{n\to \infty}{\mathrm{lim}}\underset{i=1}{\overset{m}{{\displaystyle \prod}}}\left(1-\frac{1}{{p}_{i}}\right)=\frac{1}{{p}_{m}}=0,$

$\underset{n\to \infty}{\mathrm{lim}}\underset{i=1}{\overset{m}{{\displaystyle \prod}}}\left(1-\frac{1}{{p}_{i}}\right)=\frac{1}{{p}_{m}}=0,$

$\underset{i=2}{\overset{m}{{\displaystyle \prod}}}(1-\frac{1}{{p}_{i}})=2\underset{i=1}{\overset{m}{{\displaystyle \prod}}}(1-\frac{1}{{p}_{i}}),$

$\underset{n\to \infty}{\mathrm{lim}}\underset{i=2}{\overset{m}{{\displaystyle \prod}}}\left(1-\frac{2}{{p}_{i}}\right)=\underset{n\to \infty}{\mathrm{lim}}\frac{2}{{p}_{m}}=0.$

Because the formulas few a factor of (1 − 1/2), so though every numerator is 2, it will not more than the actual value.

In fact, when $m\ge 60$ , $d\left(n\right)\ge \frac{{p}_{m}}{4}\ge m+2$ by Theorem 8,9. So the limit of ${\prod}_{i=2}^{m}(1-\frac{2}{{p}_{i}})$ is in security range. Obviously, it is not less than 0, and card (Dn)

greater than 1 if p_{m} (namely 2n) is enough big. There is also has a space of prime integer-pairs. In other words, the data is safe and reliable. Such as, the safety feasibility of repeated screening method is proved by the mathematical analysis [8] [9]. In addition, Here we see that the function d(n) increases as p_{m} increases, and d(n) is a monotonic increasing function.

There is a large surplus for the proof of Goldbach’s conjecture, as shown in:

1) By computer calculation, the actual number of prime pairs is less than d(n) − 1. That is to say, the error compensation is not need to minus m. So, when m ≥ 5, p_{m} ≥ 11, p_{m} ≥ 2.75 > 2, the Proposition 4.1 can be proved.

2) Starting from harsh conditions, the error compensation is required to be 2m. when m ≥ 1098, p_{m} ≥ 8819, (2n ≥ 77774762). For example: D(77774762) = 6808, 77774762 = 77774743 + 19 = 77774731 + 31.

So the goldbach’s conjecture is correct absolutely.

6. Computer Test Data

Through computer programming, we get Table 1 as follows.

1) Table 1 shows that ϕ'(n) is less than π(N).

This shown the ϕ'(n) is the lower limit of the number of prime numbers.

2) Table 1 shows that d(n) is less than D(N)and correct. The general trend of d(n) is upward ; with the increasing of 2n, the number of prime integer-pairs is increasing. In other words, even number N (=2n) goes to infinity, the Goldbach’s conjecture is still correct.

By computer programming, we obtain Figure 9. Those digits represents the number of prime integer-pairs in [150, 300], (the detection interval is 2); 2) the dotted line above represents the function d(n)，and below is d(n) − m. The solid line shows the p_{m}/4.

Table 1. About the numbers of prime and the numbers of prime pairs.

Figure 9. Diagram of the number of prime integer-pairs.

Figure 9 is showing: 1) All digital with the number of prime integer-pairs above the line of d(n) − m, which more and more. 2) This is to explain that the function d(n) is the lower bound of the number of prime integer-pairs, p_{m}/4 and d(n) − m are its the reliable lower limit. That means that, when x ≥ 100, the number of prime integer-pairs must be greater than 1. In other words, no matter how big x is, E(x) is always equal to 1.

7. Conclusions

Through the above proof, we proved that even x greater than 2 can find prime pairs that sum of two primes equal to even x, which proves that the exception set E(x) is always equal to 1. In this way, we proved the Goldbach’s conjecture by the method of exception set [3].

In addition, it is worth mentioning that this proving method is equally applicable to solving the same types of problems, such as Angle valley conjecture and a proof of the infinite of twin prime numbers (let every integer-pair be that the difference of two integers is 2). A world mathematical problem unsolved for more than 270 year was finally solved successfully. I have to say that this is a gratifying success case of mathematical theory and computer technology.

Conflicts of Interest

The authors declare no conflicts of interest.

Cite this paper

*Journal of Applied Mathematics and Physics*,

**6**, 1783-1792. doi: 10.4236/jamp.2018.69153.

[1] | Wikipedia, Goldbach’s Conjecture. https://en.wikipedia.org/wiki/Goldbach%27s_conjecture |

[2] | Baike, Goldbach’s Conjecture. https://baike.so.com/doc/5351515-5586973.html |

[3] | Guo, M.S. (2013) From Waring to Hua—The History of Waring’s Problem. Harbin Institute of Technology University Press, Harbin, 345-618. |

[4] | Wang, Y. (2011) Talk about~ Prime Number. Harbin Institute of Technology University Press, Harbin, 2. |

[5] | Harly, G.H. and Wright, E.M. (2007) An Introduction to The Theorem of Number. People’s Post and Telecommunications Press, Beijing, 19-256. |

[6] | Pan, C.D. and Pan, C.B. (2007) Elementary Number Theory. Peking University Press, Beijing, 71-78. |

[7] | Liang, Z.Y. (2010) Any Even Number Not Less than 6 Can Be Expressed as the Sum or Difference of two Prime Numbers. Intelligence, 7, 73-74. |

[8] | Liang, Z.Y. (2018) Rigorous Proof of Goldbach’s Conjecture. Science and Technology Economics Guide, 14, 127-128. |

[9] | Department of Applied Mathematics of Tongji University (2008) Advanced Mathematics. Higher Education Press, Beijing, 23-55. |

[10] | Sushevich, A.K. (2011) Elementary Course on Number Theory. Zhou Z.L., Translated. Harbin Institute of Technology University Press, Harbin, 1-13. |

[11] | Apostol, T.M. (2016) Introduction to Analytic Number Theory. Tang, Y.M., Translated. Harbin Institute of Technology University Press, Harbin, 22-25. |

Copyright © 2020 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.