The Proof of Goldbach’s Conjecture on Prime Numbers

Goldbach’s Conjecture (“Every even positive integer strictly larger than 4 is the sum of two primes”) has remained unproven since 1742. This paper contains the proof that every positive composite integer n strictly larger than 3, is located at the middle of the distance between two primes, which implicitly proves Goldbach’s Conjecture for 2n as well.


INTRODUCTION
The primes (positive integers divisible only by 1 and themselves) are the fundamental atoms of number theory.According to the fundamental theorem of arithmetic, every positive integer larger than 1 is the unique product of primes.The prime numbers are randomly distributed in the set of positive integers but, there is a hidden regularity and stability in the way they are generated ( [1]- [3]).
A conjecture is a plausible statement which has not been proven to be true or false.Number theory is full of conjectures mainly about prime numbers due to their mysterious behavior.The oldest conjecture in number theory is considered to be that formulated long ago by Christian Goldbach.As shown in [4], in his letter to Leonhard Euler, dated 7 June 1742, Christian Golbach formulated several conjectures.Among them, every integer greater than 5 can be written as the sum of three primes.Euler replied in a letter dated 30 June 1742 reminding Goldbach of an earlier conversation they had in which Goldbach remarked that his original conjecture was that every even integer greater than 2 can be written as the sum of two primes.In this letter, Euler stated: "That… every even integer is the sum of two primes, I regard as a completely certain theorem, although I cannot prove it."As Goldbach considered 1 to be a prime, today his conjecture is known as stating that: "Every even integer larger than 4 is the sum of two primes."Along centuries, Goldbach's Conjecture has been verified for larger and larger even integers.Today, there is no shortage of means for verifying Goldbach's conjecture for big even integers.Going to https://www.dcode.fr/goldbach-conjectureand clicking on "Goldbach Conjecture Calculator-Tester-Online Tool-dCode" we get Goldbach solutions for even integers up to 10 7 .Recently, Olivera e Silva et al. ( [5]) claimed that they have empirically verified the conjecture up to 4 × 10 18 .Thus, Goldbach's Conjecture has become more plausible but still remained unproven.
If Goldbach's Conjecture is true then to every even positive integer 4 n > there correspond two Open Access Natural Science primes p and q such that: n p q = + .Assuming p q ≤ , this implies that: showing that either: is located at the middle of the distance between the two primes.
Conversely, if n is a prime then 2n n n = + and Goldbach's Conjecture is true.If n is a positive composite integer strictly larger than 3, located at the middle of the distance between two primes p q < , then: implying that: Therefore, if n is a prime, or a positive composite integer 3 n > , and every such an integer is located at the middle distance between two primes, then 2n is the sum of two primes and Goldbach's Conjecture is true for every 2 6 n ≥ , and therefore, for every 2 4 n > .
The objective of this paper is to prove that every positive composite integer n, strictly larger than 3, is located at the middle of the distance between two primes and, implicitly, that Goldbach's Conjecture is true for 2n as well.The existence and the number of pairs of primes symmetric with respect to the positive integer n and, therefore the existence and the number of Goldbach solutions for 2n, essentially depend on the symmetric pairs, with respect to n, of relative prime odd composite multiples of primes from the interval ( ) n −   (if n is an odd composite positive integer) that are not factors of n.

The Symmetry with Respect to an Odd Composite Positive Integer
Assume that n is an odd composite positive integer strictly larger than 3. Frame I for n odd composite positive integer: The odd integers from the interval [ ] 0, 2n , symmetric with respect to n, are put in two groups, as shown in Frame I.Each column contains two odd integers, symmetric with respect to n, called matching integers, whose sum is equal to 2n.Except n, which is the center of symmetry, the even numbers from the interval [ ] 0, 2n are not included in Frame I. Also, the odd integer 2 1 n − is also missing from Frame I because it matches the integer 1 which is not relevant in this context.The smallest integer from group 1 is matched with the largest integer from group 2 but the difference between the matching integers gradually decreases by a constant rate equal to 4.
In each group of Frame I, there are primes or odd composite positive integers.Let us notice that if i p is a prime factor of n and an integer 1 s from any group is a multiple of i p , then its matching integer 2 s is also a multiple of i p because: As a consequence, if an odd integer 1 s from a group is relative prime with n then its matching integer 2 s is also relative prime with n.An odd prime which is not a factor of n can match with an odd prime or with an odd composite integer relative prime with n but not with an odd composite positive integer divisible by an odd prime factor of n.An odd composite integer can match with a prime or with Natural Science another odd composite integer but the two odd composite integers must be either relative prime with n or divisible by the same od prime factor of n.
In Frame I, the number of odd integers from group 1 is: and in group 2 the number is the same: where [ ] x is the integer part of the real number x.
The number of primes in group 1 is: ( ) is the number of primes not exceeding the real number x.The number of primes in group 2 is: ( ) ( ) n > , there is at least one prime q such that: As n is an odd composite integer, let: n p p = be the prime factorization of n, where 1 , , r p p are odd primes.The number of odd multiples of i p in group 1 is: where −1 is needed because n is not in group 1 and cannot be counted amongst the multiples of i p in group 1.The number of odd multiples of the product i j p p in group 1 is: where −1 is needed because n itself is not in group 1 and cannot be counted amongst the multiples of the product i j p p in group 1.The number of odd composite multiples of the product i j k p p p in group 1 is: where −1 is needed because n itself is not in group 1 and cannot be counted.amongst the multiples of the product i j k p p p in group 1.And so on, for the other products of prime factors of n.The total number of odd multiples of prime factors of n in group 1 is: We denote by I A the set of multiples of prime factors of n in group 1.The number of its elements is I a .
If an integer 1 s from group 1 is a multiple of an odd prime factor i p of n, its natching integer 2 s from group 2 is also a multiple of the same prime factor i p of n because: Therefore, counting the multiples of the prime factors of n in group 2 is the same as counting the multiples of the prime factors of n in group 1 with the following essential difference, namely, that in group 2 all odd multiples of the prime factors of n are composite integers.For instance, if i p is a prime factor of n in group 1, its matching integer from group 2 is a composite multiple of i p .Consequently, the number of odd multiples of the prime factor i p of n in group 2 is: ( ) ( ) the number of odd multiples of the product i j p p of prime factors of n in group 2 is: Natural Science ( ) ( ) , , the number of odd multiples of the product i j k p p p of prime factors of n in group 2 is: and so on for the other products of prime factors of n.The total number of odd multiples of prime factors of n in group 2 is:  M be the set of odd composite multiples, in group 1, of primes that are not factors of n, and are relative prime with respect to n.Let

The Symmetry with Respect to an Even Composite Positive Integer with Odd Prime Factors
Assume that n is an even composite positive integer strictly larger than 3. Its Frame is: Natural Science Frame II for n even composite positive integer: All the comments made about Frame I remain valid for Frame II as well.Briefly, in Frame II, the number of odd integers from group 1 is: and in group 2 the number of odd integers is the same: The number of primes in group 1 is: ( ) 1 n π − , where -1 is needed because the prime 2 does not be- long to group 1 and cannot be counted.The number of primes in group 2 is: ( ) ( ) n > , there is at least one prime q such that: As n is an even composite integer with at least one odd prime factor: ( ) is the prime factorization of n, where 1 , , r p p are odd primes.The number of odd multiples of i p in group 1 is: where [ ] x is the integer part of the real number x.In the above equality, −1 is needed because n is not in group 1 and cannot be counted amongst the composite multiples of i p in group 1.The number of odd multiples of the product i j p p in group 1 is: where −1 is needed because n itself is not in group 1 and cannot be counted amongst the multiples of the product i j p p in group 1.The number of odd multiples of the product i j k p p p in group 1 is: where −1 is needed because n itself is not in group 1 and cannot be counted.amongst the multiples of the product i j k p p p in group 1.And so on, for the other products of prime factors of n.The total number of odd multiples of prime factors of n in group 1 is: We denote by II A the set of multiples of prime factors of n in group 1.The number of its elements is II a .
If an integer 1 s from group 1 is a multiple of an odd prime factor i p of n, its natching integer 2 s from group 2 is also a multiple of the same prime factor i p of n because: Therefore, counting the multiples of the prime factors of n in group 2 is the same as counting the Natural Science multiples of the prime factors of n in group 1 with the following essential difference, namely, that in group 2, all odd multiples of the prime factors of n are composite integers.For instance, if i p is a prime factor of n in group 1, its matching integer from group 2 is a composite multiple of i p .Consequently, the number of odd composite multiples of the prime factor i p of n in group 2 is: whereas the number of odd multiples of the product i j p p of prime factors of n in group 2 is: the number of odd multiples of the product i j k p p p of prime factors of n in group 2 is: and so on for the other products of prime factors of n.The total number of odd multiples of prime factors of n in group 2 is: Class 2 is the set of primes belonging to the interval ( ) ( ) Class 3 is the set of primes belonging to the interval ( ) and there are no odd prime factors of n.The formalism given for Frame II can still be applied but there are some basic differences.As there are no odd prime factors of n, we have s is an integer from group 1 and 2 s a matching integer from group 2, we have: If 1 s is a prime, then 2 s cannot be a multiple of 1 s because this would make 1 s to be a prine factor of 2 k , which is absurd.Similarly, if 2 s is a prime, then 1 s cannot be a multiple of 2 s .Also, 1 s and 2 s must be relative prime because if they have a common prime factor p, it would be a factor of 2 k as well, which is absurd.The sets

NUMERICAL EXAMPLES
In this Section we take successively the numerical values n = 21, 30, 32, 33, and 50.The problem is not to get the corresponding Goldbach solutions of the corresponding 2n as a sum of two primes, because Goldbach solutions for the corresponding even integers 2n = 42, 60, 64, 66, and 100, may be obtained online, by typing on GOOGLE: "Goldbach Conjecture Calculator-Tester-Online Tool-dCode" and running it, one by one, for the values of 2n given above.These numerical examples are given here just to illustrate how the formulas from Section 2 may be used for justifying the existence and the number of Goldbach solutions in these cases.In all these examples we use formulas ( 1 The number of matching primes, or the number of Goldbach solutions for 42, is: Natural Science The number of matching primes, or the number of Goldbach solutions for 66, is:

B
the set of odd multiples of prime factors of n in group 2. The number of its elements is I b .The primes from Frame I are grouped into three disjoint classes: Class 1 is the set of primes belonging to the interval ( ) (

M
odd composite multiples, in group 2, of primes that are not factors of n, and are relative prime with respect to n.Let , respectively, they are relative prime with respect to n but if they match, namely if 1 2 2 s s n + =, then they must be relative prime with respect to each other, otherwise a common prime p of 1 s and 2 s would be a factor of n, which is absurd.Let I m be the number of such pairs of matching multiples from into account the structure of the two groups of Frame I, we have: primes from group 1, the number of pairs of primes matching in Frame I, which is the number of Goldbach solutions for 2n is: 22) Denote by II B the set of odd multiples of prime factors of n in group 2. The number of its elements is II b .The primes from Frame II are grouped in three disjoint classes: Class 1 is the set of primes belonging to the interval of primes from Class 1, in group 1, that are not factors of n.Their number is ,11 II π .
2, in group 1, that are not factors of n.Their number is ,21 II π .
odd multiples of the primes from Class 1 in group 1.Two such matching multiples must be relative prime.Therefore, the number II m , from (26), is the number of pairs of matching relative prime odd multiples of some of the )-(13) for Frame I and (14)-(26) for Frame II.

The Symmetry with Respect to a Positive Integer Power of 2
Let Class 1 have odd composite multiples in both groups.The primes from Class 2 have odd composite multiples only in group 2. The primes from Class 3 have no odd composite multiples in the corresponding Frame II.Let then they must be relative prime with respect to each other, otherwise a common prime p of 1