Remarks on Goldbach’s Conjecture on Prime Numbers

The oldest Goldbach’s Conjecture (“Every even positive integer strictly larger than 4 is the sum of two primes”) has remained unproven since 1742. The recent proof [1] connected Goldbach’s Conjecture with the fact that every positive composite integer n strictly larger than 3, is located at the middle of the distance between two primes. The present paper contains explicit additional and complementary details of the proof, insisting on the existence and the number of Goldbach’s representations of even positive integers as sums of pairs of primes.


INTRODUCTION
The basic elements of the multiplicative number theory are the prime numbers (positive integers divisible only by 1 and themselves). There is a mixture of randomness and hidden regularity in their behavior ( [2][3][4]). The oldest conjecture in number theory is considered to be that of Christian Goldbach. As shown in [5], in his letter to Leonhard Euler, dated 7 June 1742, Christian Golbach mentioned that every integer greater than 5 can be written as the sum of three primes. Euler replied in a letter dated 30 June 1742 reminding Go7ldbach 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." Goldbach's Conjecture has been verified for larger and larger even integer but still remained unproven.
If Goldbach's Conjecture is true then to every even positive integer 4 n > there correspond two primes p and q such that: n p q = + . Assuming p q ≤ , this implies that: showing that either: 2 n p q = = , or, if p q < , that 2 n 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 Open Access Natural Science composite integer strictly larger than 3, located at the middle of the distance between two primes p q < , then: n p q n − = − , 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 > .
In [1] there is the proof 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 present paper is a follow up of paper [1], bringing additional and complementary details of the proof of Goldbach's Conjecture, insisting on the existence and the number of Goldbach's representations of the positive even integers as sums of pairs of primes.

THE FRAMES OF SYMMETRIC ODD POSITIVE INTEGERS
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 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: The primes relative prime with n from Frame I are grouped into three disjoint Classes: Class 1 is the set of primes relative prime with n belonging to the interval ( ) Class 2 is the set of primes relative prime with n from Frame I belonging to the interval ( ) ( ) n − then all the odd composite multiples relative prime with n are generated by primes relative prime with respect to n from Class 1.
Assume that n is an even composite positive integer strictly larger than 3. Its Frame is: 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 belong to Group 1 and cannot be counted. The number of primes in Group 2 is: ( ) ( ) As n is an even composite integer, is the prime factorization of n, where 1 , , r p p  are odd primes.
The primes relative prime with n from Frame II are grouped in three disjoint Classes: Class 1 is the set of primes relative prime with n from Frame II belonging to the interval ( ) Class 2 is the set of primes relative prime with n from Frame II belonging to the interval Class 3 is the set of primes relative prime with n from Frame II belonging to the interval  n − then all the odd composite multiples relative prime with n are generated by primes relative prime with respect to n from Class 1.
When n is given, its corresponding Fram contains the prime factors of n, the primes relative prime with n, the odd composite multiples of the prime factors of n, and the odd composite multiples of the primes that are relative prime with n. Obviously, all prime factors of n are located in Group 1. Denote by a the number of prime factors and their odd composite multiples from Group 1. Let b be the number of odd composite multiples of the prime factors of n from Group 2. Let 1 s be an odd integer from Group 1 and 2 s be an odd integer from Group 2. They match if they are symmetric with respect to n, which means: This equality shows that if 1 s is a prime factor of n then 2 s has to be an odd composite multiple of this prime factor. If 1 s is an odd composite multiple of a prime factor of n then 2 s is an odd composite multiple of the same prime factor of n. On the other hand, if 1 s is a prime relative prime with n then 2 s may be only a different prime relative prime with n or an odd composite multiple relative prime with n of a different prime relative prime with n. If 1 s is an odd composite multiple relative prime with n then 2 s may be either a prime relative prime with n and relative prime with 1 s or an odd composite multiple relative prime with n of a prime relative prime with n and relative prime with 1 s . This elementary analysis shows that the prime factors of n and their odd composite multiples match together and that a b = .
Remark: If 2 k n = there are no odd prime factors of n and there are some differences. As there are no odd prime factors of n, we have If 1 s is an integer from Group 1 and 2 s a matching integer from Goup 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.
Except the prime factors of n and their odd composite multiples, Group 1 contains N a − odd integers representing 11 π primes relative prime with n from Class 1, 21 π primes relative prime with n from Class 2, 31 π primes relative prime with n from Class 3, and 1 m distinct odd composite multiples relative prime with n of primes relative prime with n from Class 1. The number of primes relative prime with n in Group 1 is: π π π π = + + .
Except the odd composite multiples of prime factors of n, Group 2 contains N b − odd integers representing 32 π primes relative prime with n from Class 3 and 2 m distinct odd composite multiples relative prime with n of primes relative prime with n from Class 1 and Class 2. The number of primes relative prime with n in Group 2 is: The rate of generating odd composite multiples relative prime with n of primes relative prime with n is lower than the rate of generating odd integer spaces between odd composite multiples to accommodate other primes relative prime with n. If, for instance, p is a prime relative prime with n, from Class 1, it generates its odd composite multiples at a rate of 1 p and leaves extra spaces in between its multiples for other primes at a rate of ( ) 1 1 p − . From this number of odd composite multiples of p we have to discount those odd multiples of p that are not relative prime with n. If we have two primes p and q, relative prime with n, from Class 1, then if p and q have a common odd composite multiple relative prime with n it has to be taken only once because we count the distinct odd composite multiples relative prime with n generated by the primes from Class 1 in Group 1 and by the pries from Class 1 and Class 2 in Group 2. Therefore, the rate of generating odd composite multiples relative prime with n by primes relative prime with n is slower than the rate of generating interspaces to accommodate other primes relative prime with n in Natural Science Group 1 and Group 2. In general, the process of generating odd composite multiples becomes slower when we discount the odd composite multiples divisible by prime factors of n and count only distinct odd composite multiples of primes relative prime with n from Class 1 in Group 1 and from Class 1 and Class 2 in Group 2. As the rate of generating distinct odd composite multiples relative prime with n by primes relative prime with n from Class 1 in Group 1 and from Class 1 and Class 2 in Group 2 is smaller than the rate of generating other primes in between the odd composite multiples generated by the primes from Class 1 and, eventually, from Class 2, we have: Finally, let m be the number of matching odd composite multiples relative prime with n of primes relative prime with n.

THE PROOF OF GOLDBACH'S CONJECTURE
As the proof of Goldbach's Conjecture is the same for each of the two Frames, let us simplify and unify the notations. In this section: N is the number of odd integers from Group 1 or Group 2; 1 π is the number of primes from Group 1 that are not prime factors of n; 2 π is the number of primes from Group 2; 1 m is the number of distinct odd composite multiples in Group 1 of the prime numbers from Class 1; 2 m is the number of distinct odd composite multiples in Group 2 of the primes from Class 1 and Class 2; m is the number of matching pairs of odd composite multiples relative prime with n from Group 1 and Group 2; a is the number of multiples of prime factors of n in Group 1; b is the number of multiples of prime factors of n in Group 2. We have: As a b = , we get: m m π π − = − which contradicts the inequality (1). Therefore, the inequalities (3) are true, proving that Goldbach's Conjecture is true, and the number (2) gives the number of Goldbach solutions for 2n. The bold numbers represent primes. Tne numbers followed by the asterisk * are odd multiples of the prime factors of n. The other integers are odd multiples of the primes relative prime with n.

NUMERICAL EXAMPLES
We have: 4 π = , 32 10 π = , 1 13 π = , 2 10 π = , Example 2: In the previous example, the Frame was given and examined afterwards. It is possible, however, to reverse this approach and to show that the primes from Class 1 generate the entire corresponding Frame. Let 33 n = . The corresponding Frame I, containing the pairs of odd positive integers symmetric with respect to 33, has Group 1 containing the odd positive integers from 3 to 31, going forward, and Group 2 containing the odd positive integers from 35 to 63, going backwards. Thus: 1) 33 n = .
2) The odd prime factors of n are 3 and 11.
3 6) There is only one odd composite multiple of the primes from Class 1 relative prime with n in Group 1, namely: 25. 7) All odd positive integers from Group 1 not mentioned at steps 2, 3, 5, and 6 are prime numbers, namely: 13, 17, 19, 23, 29. 8) As the smallest prime, relative prime with respect to n, larger than the primes from Class 1, namely 13, has the square larger than 2 3 63 n − = , this means that in Group 2, except the integers listed at step 4, we have only prime numbers and odd composite multiples of the primes from Class 1.
The prime factor 11 has 0 odd composite multiples in Group 1, and 1 odd composite multiple, 55, in Group 2.
Thus, the prime factors 3 and 11 have a total of 4 odd composite multiples in Group 1 and 6 odd composite multiples in Group 2. Counting the prime factors 3 and 11 themselves among the odd multiples, we get that the number of odd multiples of the prime factors in Group 1 is 2 4 6 a = + = and the number of odd multiples of the prime factors in Group 2 is Class 1 is the set of primes relative prime with n from the interval The prime 5 from Class 1 has 2 odd composite multiples in Group 1, namely 15 and 25, and 3 odd composite multiples in Group 2, namely 35, 45, and 55. The prime 7 from Class 1 has 1 odd composite multiple, namely 21, in Group 1, and 3 odd composite multiples in Group 2, namely 35, 49, 63.
As we are interested only in the odd composite multiples that are relative prime with n, we notice that: The prime 5 from Class 1 has 1 odd composite multiple relative prime with n, namely 25, in Group 1, and 2 odd composite multiples relative prime with n, namely 35 and 55, in Group 2.
The prime 7 from Class 1 has no odd composite multiples relative prime with n in Group 1 and 2 odd composite multiples relative prime with n in Group 1, namely 35, 49.
As 35 is a common odd composite multiple relative prime with n of both 5 and 7, it has to be counted only once. Therefore, the primes 5 and 7 from Class 1 generate the following distinct odd composite multiples relative prime with n: 25 in Group 1 and 35, 49 in Group 2. Thus, 1 1 m = , 2 2 m = , and we have:

CONCLUSION
Goldbach's Conjecture is the oldest conjecture in number theory. It states that every even integer strictly greater than 4 is the sum of two primes. There have been many empirical verifications of it, up to astronomic numbers, but it has remained unproven since 1742. The paper [1] formulated an equivalent property about a hidden symmetry of primes stating that for every positive composite number n, strictly larger than 3, there are two primes symmetric with respect to n. The paper [1] contained a proof of this prime symmetry property and, implicitly, of Goldbach's conjecture for 2n as well. The present paper is a follow up of paper [1] bringing explicit new and complementary details about the proof given in [1], insisting on the existence and the number of Goldbach representations of even positive integers as sums of pairs of primes.