A new enlightenment about gaps between primes
Abstract
The idea of generating prime numbers through sequence of sets of coprimes was the starting point of this paper that ends up by proving two conjectures, the existence of infinitely many twin primes and the Goldbach conjecture. The main idea of our approach is summarized on the creation and on the analyzing sequence of sets of distinct coprimes with the first primes, , and the important properties of the modulus linear combination of the coprime sets, , that gives sets of even numbers . Furthermore, by generalizing our approach, the Polignac conjecture "the existence of infinitely many cousin primes, ," and the statement that "every even integer can be expressed as a difference of two primes," are derived as well.
Subject Classification: 11A41, 11L20 .
Keywords: Prime number, twin number, Goldbach’s conjecture.
Contents
1 Introduction
The proof of the existence of infinitely many twin primes has been one of the most difficult and the oldest question in number theory for several years.
The twin prime conjecture states: There are infinitely many primes such that is also prime. Some attribute the conjecture to the Greek mathematician Euclid of Alexandria, who gave the oldest known proof that there exist an infinite number of primes.
In 1849 de Polignac made the more general conjecture that for every integer , there are infinitely many prime pairs such that . The twin prime conjecture is for .
Since every three consecutive numbers, , are not all coprimes with the number 3, then 2 and 3 are factors of . Subsequently, all twin primes are in the form of except for the first pair and also all cousin primes are in the form of and consecutively. On December 2011, in [2], the largest known twin prime pair, , were found with 200700 digits.
Similar to the distribution of prime numbers among positive integers, the number of twin primes less that naturally declines as increases. This brings up the question of how many pairs of twin primes are there?
Many research works have been devoted to provide a proof to the twin prime conjecture but it is still one of the open problems in mathematics and number theory. Some important result of twin primes and the gap between primes have been obtained. One of these results is Brun’s constant (B). In 1919 Brun, [3], proved that the sum of the reciprocals of the twin primes converge to a definite number called Brun’s constant and has the value of . The recently breakthrough, in 2013, of Yitang Zhang [5], where he proved that there are infinitely many pairs of primes with prime gap less than 70 million
This proof shows that the gap between primes does not grow infinitely, and it is bounded by a definite number.
This result was significantly improved by several researchers.
In May 2013, mathematicians had uncovered simple tweaks to Zhang’s argument that brought the bound below 60 million. A May 30 blog post by Scott Morrison of the Australian National University in Canberra ignited a firestorm of activity, as mathematicians vied to improve on this number, setting one record after another. By June 4, Terence Tao of the University of California, Los Angeles, a winner of the Fields Medal, mathematics’ highest honor, had created a Polymath project, an open, online collaboration to improve the bound that attracted dozens of participants. For weeks, the project moved forward at a breathless pace. At times, the bound was going down every thirty minutes, Tao recalled. By July 27, the team had succeeded in reducing the proven bound on prime gaps from 70 million to 4,680.
On November 19 by James Maynard [4], a postdoctoral researcher working on his own at the University of Montreal, has upped the ante. Just months after Zhang announced his result, Maynard has presented an independent proof that pushes the gap down to 600. A new Polymath project is in the planning stages, to try to combine the collaboration’s techniques with Maynard’s approach to push this bound even lower, for more details please visit the website WIRED, Nov. 2013.
Strong connection between the twin prime and Goldbach’s Conjectures was found along of our approach to prove the twin prime’s conjecture. The Goldbach conjecture, dating from Goldbach’s correspondence with Euler in 1742, that states: Every even integer greater than 2 is the sum of two prime numbers (not necessarily distinct). It has been verified that the even integers through have the stated property, but Goldbach’s conjecture remains unproved.
Several works on background information about Goldbach’s conjecture have been conducted previously. Namely Dickson [6] lists results obtained through the first decade of this century. Wang, [7], is a collection of this century’s most important papers on the Goldbach conjecture through the early 1980’s. Shanks, [8], is a marvelous book on conjectures in number theory, Goldbach’s among them, and on mathematical conjectures in general. Ribenboim, [9], is another treasure chest in number theory, with a section on Goldbach (pp. 229235).
2 Abbreviation and Notation
Before starting the proof, some important definitions are needed to be introduced as it is indicated below

Let ,…, distinct ordered prime numbers, and for only notation reason we put .

For any two sets and of integer numbers, their sum and their difference is defined as follows

For any set is multiplied by a value is defined as follows

The difference between all elements of the set , is noted by

The set is set of elements in but not in .

The arithmetic sequence, with reason , will be noted by , where and are the initial and the final values of the sequence respectively, i.e.,

If the the reason of the arithmetic sequence is equal to one then it will be noted simply by , i.e.,

The function gives the largest integer less than or equal to x.

The modulo operation is computing the remainder after division, Modulo will be noted as , i.e.,

The set contains all coprime numbers with all devisors of the integer and are less than .

The set contains all coprime numbers with primes , , and less than .

The set is the set of coprimes with primes , and less then .

Let be the primecounting function that gives the number of primes less or equal to .

Let be the coprimecounting function that gives the number of coprimes with , and are less or equal to .

Let be the number of all positive integers less than which do not have a prime divisor which is less than and belongs to .

, unless it is defined differently.

.

The cardinality of a set is noted by

If the asymptomatic ration of two functions verify
then it will be noted by

If there exist positive and such that
then we write

The greatest common divisor pf two integers, n and m, will be noted by
3 Sketch of the proof
This section will summarized all the headlines of our approach, from the starting point, through important properties, till reaching the two conjectures. All headlines are briefed as follows

Any odd number can be written under the form of , where .

All coprimes numbers with 2 and 3 can be written under the form or , so the two forms can be merged under one form , where and the set .

All coprimes number with 2, 3, and 5 can be written under the form of , where and .

Theorem 3.1 generalizes this idea of finding the shape of all coprimes number with , as
where the sets are generated by the following recurrence formula

We have noticed and proved that for all

We have noticed also that

The set contains only primes numbers.

The asymptotic density of coprimes are found to be as follows
and 
In order to investigate the difference between only primes number, the primes inside the will be considered as it is indicated in Lemma 3.5, which it gives extremely important properties as follows:
and
where .

We can choose the integer such that all elements inside of are primes. Since the range of set is large and
and it leads to the infinity existence of twin prime number and to the fact that every even integer greater than 2 can be expressed as the difference of two primes

Since there is no prime between two primes that defer by 4, we can conclude the existence of infinitely many cousin primes, , i.e.,

we can prove that if every even integer greater than 2 can be expressed as the difference of two primes then every even integer greater than 2 can be expressed as the sum of two primes.

Other methods are highlighted during the proofs.
The initial idea of these above points comes from the way of generating sets of coprime numbers recursively by adding one prime at each step as it is indicated by the following theorem
Theorem 3.1.
Any coprime number, , with the first prime numbers can be expressed according to the following equation
where , and a set of coprime numbers with the first prime numbers, .
The set of coprime numbers, , can be generated recursively as follows:
Concluding that any number is a prime number.
Some of important properties of set of coprime numbers that will be very often used along this paper are highlighted by the following lemma
Lemma 3.2.
i. For all coprimes and , we have the following two properties:
ii. If is a coprime number with , , we have the following properties:
The main ideas of our proofs are on creating and on analysing of set sequence of distinct coprimes with the first primes, , by using Theorem 3.1 and the important properties of the linear combination of the coprime sets, , that give sets of even numbers . The next three lemmas will explain our approach gradually.
First of all, some properties of the difference between sets of coprime numbers will be pointed out and a recursive formula between these sets will be expressed as well.
Lemma 3.3.
For all and for all , we have the following equalities

The difference coprimes of the sets generate compact subsets of even numbers

,
where the set is the set of coprimes number with , for
The recursive relation between sets can de deducted, for , as follows
As initial investigation inside the set , a new question is raised about finding subsets that verified the first part of lemma 3.3, the next lemma gives interesting result
Lemma 3.4.
For all bigger than 1, let’s define the following sets
then
and
In order to explain the idea on how to prove that the difference or summation between all prime numbers is equals to the set of all even integers, the following lemma, a generalization and improved version of lemma 3.4, will help us to limit the difference only between primes numbers.
Lemma 3.5.
For all integer , it exists , such that for all integer , the difference between coprimes numbers, , can be expressed recursively in function of difference between subsets of as it is indicated below
where
To extend this result and omit the modulo from the right side of the previous equation i.e., from the set , we enlarge the definition of the set as
then it leads, under the condition that to


For all integers , we have
The threshold will be the smallest integer verified the condition, i.e.,
An important result will be needed in order to prove the lemma 3.5, evaluation the density of coprimes with , and are less or equal to , noted . RiChard Warlimont, [10], and D. A. Golden, [11], have worked on the estimation of coprimes density under certain conditions, our following lemma will express an asymptotic density of coprimes with consecutive primes.
Lemma 3.6.
Let be a set of primes and we denote by the number of all positive integers less than which do not have a prime divisor which is less than and belongs to .
Put , , and let .
Then we have the following statements

For any positive integers we have

For any positive integers we have
and if and then

Uniformly in we have

If and are big enough and then
and if then
The coming sections will be devoted to prove the Theorem 3.1 and the Lemma 3.2 at first step of our approach as an introduction to the proof of the lemma 3.3, 3.4, and 3.5 respectively.
Finally the proof of the two conjectures with their extension will be at the end of this paper.
4 Proof of Theorem 3.1
Let and be two positive integers. If is not divisible by , then needs to be a multiple of added to another positive integer , where is smaller than ; under the condition that and are coprimes, the positive integer is coprime with . This idea leads to the generation of a large prime number from a sequence of previous prime numbers. This idea can be written in mathematical form as follows:
if and are co–primes than and are also coprime numbers.
We will generalize this idea to generate coprime numbers recursively by including one prime at each step.
Let be a set of coprimes with the first prime numbers, so can be expressed as:
A recursive question will be raised in how to find the set from the in order to extract all elements of . To do that, let suppose is coprime also with and by definition it is coprime with , so it exists two integers, and such that
(1) 
Let suppose the integer as a coprime with all , , and is coprime with , by using Lemma 3.2 the previous system of equations can be formulated as follows:
(2) 
Without losing generality let and so can be expressed by
(3) 
The set of coprimes can be expressed as given below:
(4) 
Let and .
To calculate the equation 4 needs to be solved, by subtraction their two equations we can find
where and can be calculated as:
where is any value inside .
By isolating the two variables and , we have:
Substituting the value of in system (3), we have:
By substitution the values of and in the above equations we conclude
where both equations are equivalent due to the similarity of property of the modulo of the last term.
The general formula of that are coprimes with the first prime numbers will be as follows:
We can general also the set of coprimes with the first prime numbers in order to get the following:
where
5 Proof of Lemma 3.2
5.1 Proof of Lemma 3.2 part (i)
Since is coprime with , there exists , where can be written as:
, where .
Then it implies that
By contradiction we can prove that
(5) 
If , then it exists such that which it means that or are multiple of , where it contradicts of the fact that and are both less than .
To finish the proof of Lemma 3.2 part (i) and first part of (ii), we still need to show by contraction the following:
(6) 
Let’s suppose that it exists two integers and such that:
By subtracting the two equation, we have that
which it contradicts with the equation 5 due to the facts that
Since for all all two coprimes, and , we can write , where , then we can Generalize our result as follows
5.2 Proof of Lemma 3.2 part (ii)
Here we will prove the second part of Lemma 3.2
For all ; the cadinality of the set can be calculated as follows
Let , so
Now, we will test first the non existing of such that:
if the last equation is true, then for all we have
which it implies that
this statement contradict with the fact that , i.e.,