CONFIRMATION of the GOLDBACH BINARY CONJECTURE Mohammed Ghanim* * Ecole Nationale De Commerce Et De Gestion B.P 1255 Tanger Maroc
Total Page:16
File Type:pdf, Size:1020Kb
[Ghanim et al., 5(5): May, 2018] ISSN 2349-0292 Impact Factor 3.802 GLOBAL JOURNAL OF ADVANCED ENGINEERING TECHNOLOGIES AND SCIENCES CONFIRMATION OF THE GOLDBACH BINARY CONJECTURE Mohammed Ghanim* * Ecole Nationale de Commerce et de Gestion B.P 1255 Tanger Maroc DOI: 10.5281/zenodo.1250336 ABSTRACT I show that the Goldbach (1690-1764) conjecture, remained open since 1742, is true by using some elementary tools of mathematics. The proof is essentially based on (the American Mathematician Lowell) Schoenfeld (1920- 2002) inequality that I have proved in [5] and on the intermediate value theorem. KEYWORDS: prime integer, prime-counting function, Goldbach conjecture, Schoenfeld inequality, intermediate value theorem 2010 Mathematics Subject Classification: A 11 xx (Number theory) INTRODUCTION Definition 1: We call « the Goldbach conjecture » or « the Goldbach strong conjecture » or « the Goldbach binary conjecture » or « the Goldbach problem » (according to D.Hilbert) or « the Goldbach theorem » (according to G.H.Hardy) the following assertion: “any even integer greater than 4 is the sum of two prime integers”. History: the Goldbach conjecture was announced by the German Mathematician Christian Goldbach (1690-1764) in a letter addressed to the Swiss Mathematician Leonhard Euler (1707-1783) on 7 June 1742 [6]. It has remained, without a rigorous poof from this date, although many attempts by the greatest mathematicians. In 1900, the German Mathematician David Hilbert (1862-1943) said in his conference delivered before the second international congress of mathematicians hold at Paris in the 8th point about «the prime numbers problems »: « … and perhaps after an exhaustive discussion of the Riemann formula on prime numbers we will be in a position to reach the rigorous solution of the Goldbach problem i.e.: if any even integer is a sum of two positive prime integers? …» [8]. In 1940, the English Mathematician G.H.Hardy (1877-1947) writed: « it exists some theorems such ‘the Goldbach theorem” which did not be proved and which any stupid could conjecture » [7] [13] In 1977, the American Mathematician (of Polish descent) H.A.Pogorzelski (1922-2015) [11] affirmed to prove the Goldbach conjecture, but his proof is not generally accepted. In 2000, Faber and Faber devoted $1000000 for any one proving the Goldbach conjecture between March 2000 and March 2002, but no one could give a proof and the question remained open [3][13]. However, the Goldbach conjecture was verified for all the entire even values of the integer 푛, 4 ≤ 푛 ≤ 푚, where 푚 = 104 by Desboves in 1885, 푚 = 105 by N.Pipping in 1938, 푚 = 108 by M.L.Stein and M.L.Stein in 1965, 푚 = 2. 1010 by A.Granville and J.Van der lune and H.J.J Te Riele in 1989, 푚 = 4. 1011 by M.K.Sinisalo in 1993, 푚 = 1014 by J.M.Deshouillers and H.J.J.Te Riele and Y.Saouter en 1998, 푚 = 4. 1014 by J.Richstein in 2001, 푚 = 2. 1016 by T.Oliveira E Silva on 3/14/2003 and 푚 = 6. 1016 by T.Oliveira E Silva on 10/3/2003 (See[13] and its references) Finally The Nice University (France) devoted online, since 1999, a site [17] giving, for higher values of chosen even natural numbers, all there Goldbach-decompositions in sums of two prime natural numbers. The note: my purpose in the present brief note is to show that the Goldbach conjecture, remained open since 1742, is true by using some elementary tools of mathematical analysis. The proof is based essentially on the intermediate value theorem and the Schoenfeld inequality that I have proved in [5]. The main result of the present work is: Theorem: ∀푛 ∈ ℕ, 푛 ≥ 2, ∃(푝, 푞) two prime numbers such that: 2푛 = 푝 + 푞. http: // www.gjaets.com/ © Global Journal of Advance Engineering Technology and Sciences [1] [Ghanim et al., 5(5): May, 2018] ISSN 2349-0292 Impact Factor 3.802 The paper is organized as follows. §1 is an introduction containing the necessary definitions and some history. The §2 gives the ingredients of the proof of our main result. The §3 gives the proof of our main result. §4 is the conclusion. The §5 gives the references of the paper for further reading. INGREDIENTS OF THE PROOF: Definition2: a natural integer p is said to be prime if its set of divisors is {1, p}. Definition3: Define the set ℙof prime integers by: ℙ = {푝 ∈ ℕ, 푝 is prime}= {2=푝1,3=푝2,5=푝3,7=푝4,11=푝5,13=푝6,17=푝7,19=푝8,23=푝9, ...,푝푘 …}. thd Proposition1: (Euclid (3 century before Jesus Christ)) (See [2]) ℙ is an increasing infinite sequence(푝푘)푘∈ℕ∗. ∗ ∗ i.e.: ∀푘 ∈ ℕ 푝푘+1 > 푝푘 i. e ∀푘 ∈ ℕ 푝푘+1 ≥ 푝푘 + 1. Proposition2: (some properties of the cardinality of a finite set) (See [16]) the cardinality of a finite set A, denoted card (A), is a natural number: the number of elements in the set A. We have the following properties: (1)푐푎푟푑(∅) = 0 (∅ is the empty set) and 푐푎푟푑({푎}) = 1 (2)퐴 ⊂ 퐵 ⇒ 푐푎푟푑(퐴) ≤ 푐푎푟푑(퐵) (3)푐푎푟푑(퐴 ∪ 퐵) = 푐푎푟푑(퐴) + 푐푎푟푑(퐵) − 푐푎푟푑(퐴 ∩ 퐵) (4)푐푎푟푑(퐴\퐵) = 푐푎푟푑(퐴) − 푐푎푟푑(퐴 ∩ 퐵) with 퐴\퐵 = {푥, 푥 ∈ 퐴 푎푛푑 푥 ∉ 퐵} is the set difference of the sets A and B. (5)푐푎푟푑(퐴 × 퐵) = 푐푎푟푑(퐴)푐푎푟푑(퐵) with 퐴 × 퐵 = {(푥, 푦), 푥 ∈ 퐴 푎푛푑 푦 ∈ 퐵} is the Cartesian product of the sets A and B. 푛 푛 (6) 퐴푖 ∩ 퐴푗 = ∅, for : 푖 ≠ 푗 , 푖, 푗 = 1,2, … , 푛 ⇒ 푐푎푟푑(⋃푖=1 퐴푖) = ∑푖=1 푐푎푟푑(퐴푖) Definition4: Let, for 푘 ∈ ℕ: ℙ푘 = {푝 ∈ ℙ, 푝 ≤ 푘} and 휋(푘) = 푐푎푟푑(ℙ푘) (which is the number of the elements in the finite set ℙ푘). The function 푘 → 휋(푘) is called the prime-counting function. Definition5: We have:푓 = 푂(푔) in the neighborhood of +∞ ⇔ ∃퐴 > 0∃퐵 ∈ ℝ such that: 푡 ≥ 퐵 ⇒ |푓(푡)| ≤ 퐴|푔(푡)| Proposition3: (The Schoenfeld inequality) (See [1], [5], [10], [12]) 푛 푑푡 √푛ln (푛) ∀푛 ≥ 2657 |휋(푛) − ∫ | ≤ 0 ln (푡) 8휋 Where : 푛 푑푡 푛 푑푡 ∗ ∫ = ∫ + 푅 0 ln (푡) 2 ln (푡) * 푅 = 1.045163780117492784844588889194131365226155781512 … (voir [14]) 푛 푑푡 I.e. with the notation of definition 5 : 휋(푛) − ∫ = 푂(√푛 ln (푛)) in the neighborhood of +∞. 0 ln (푡) Proposition4 : We have : (i) lim 푎푛 = 푠 ∈ ℝ ⇔ ∀휖 > 0∃푁 ∈ ℕ such that∀푛 ≥ 푁: |푎푛 − 푠| < 휖 푛→+∞ (ii) lim 푎푛 = +∞ ⇔ ∀휖 > 0∃푁 ∈ ℕ such that∀푛 ≥ 푁: 푎푛 > 휖 푛→+∞ (iii)lim 푓(푥) = 푓(푎) ⇔ ∀휖 > 0∃훿 > 0: |푥 − 푎| < 훿 ⇒ |푓(푥) − 푓(푎)| < 휖 푥→푎 Proposition5: (See [4], p 31 and [9], p 4) Recall that for any sequences (푥푛) and (푦푛) of ℝ, we have : (1)The number:limsup(푥푛) = 푖푛푓푛∈ℕ(sup({푥푘; 푘 ≥ 푛}) = lim ( sup { 푥푘, 푘 ≥ 푛}) exits always in [−∞, +∞] 푛→+∞ (2)The number:liminf (푥푛) = 푠푢푝푛∈ℕ(inf({푥푘, 푘 ≥ 푛}) = lim (inf {푥푘, 푘 ≥ 푛}) exists always in [−∞, +∞] 푛→+∞ (3)(i) limsup(푥푛) = −liminf (−푥푛) (ii)liminf푥푛 ≤ limsup푥푛 (4) lim 푥푛 = limsup(푥n) = liminf(푥푛) 푛→+∞ (5) If 푦푛 converges : (i) limsup(푥푛 + 푦푛) = limsup(푥푛) + lim 푦n 푛→+∞ (ii) liminf(푥푛 + 푦푛) = liminf(푥푛) + lim 푦n 푛→+∞ (6) If (푥푛) is bounded⊂ [푎, 푏] ⊂ ℝ, we have: 푎 ≤ liminf푥푛 ≤ limsup푥푛 ≤ 푏 http: // www.gjaets.com/ © Global Journal of Advance Engineering Technology and Sciences [2] [Ghanim et al., 5(5): May, 2018] ISSN 2349-0292 Impact Factor 3.802 ∀휖 > 0∃푛 ∈ ℕ∀푘 ≥ 푛 푥푘 < 푠 + 휖 (7)(푖)limsup푥푛 = 푠 ∈ ℝ ⇔ { ∀휖 > 0∀푛 ∈ ℕ∃푘 ≥ 푛 푥푘 > 푠 − 휖 ∀휖 > 0∃푛 ∈ ℕ∀푘 ≥ 푛 푥푘 > 푠 − 휖 (ii) liminf푥푛 = 푠 ∈ ℝ ⇔ { ∀휖 > 0∀푛 ∈ ℕ∃푘 ≥ 푛 푥푘 < 푠 + 휖 푎 ≤ 푏 Proposition6 : ∀푎, 푏, 푥, 푦 ∈ ℝ : { ⇒ 푎푥 ≤ 푏푦 0 ≤ 푥 ≤ 푦 Proposition7 if 푦푛 ≥ 0 ∀푛, we have : liminf (푥푛푦푛) ≥ liminf(푥푛) liminf(푦푛) Proof : (of proposition7) By proposition 6 and the definition of « the inf.», we have successively : 0 ≤ 푖푛푓푛≥푝푦푛 ≤ 푦푛 ∀푛 ≥ 푝: { ⇒ ∀푛 ≥ 푝: 푖푛푓푛≥푝푥푛푖푛푓푛≥푝푦푛 ≤ 푥푛푦푛 ⇒ 푖푛푓푛≥푝푥푛푖푛푓푛≥푝푦푛 ≤ 푖푛푓푛≥푝(푥푛푦푛) ⇒ 푖푛푓푛≥푝푥푛 ≤ 푥푛 liminf푥푛liminf푦푛 = lim 푖푛푓푛≥푝푥푛 lim 푖푛푓푛≥푝푦푛 = lim 푖푛푓푛≥푝푥푛푖푛푓푛≥푝푦푛 ≤ lim 푖푛푓푛≥푝(푥푛푦푛) = 푝→+∞ 푝→+∞ 푝→+∞ 푝→+∞ liminf(푥푛푦푛) Proposition8 : (i) Any non empty part 퐸of ℕ has a minimal element: min (퐸). min (퐸) is characterized by :min(퐸) ∈ 퐸, ∀푥 ∈ 퐸: 푥 ≥ min (퐴), min(퐴) = 0 or min(퐴) − 1 ∉ 퐸 (ii)Any non empty part 퐸 of ℕ, bounded above, has a maximal element :max(퐸). max (퐸) is characterized by : max(퐸) ∈ 퐸, ∀푥 ∈ 퐸: 푥 ≤ max (퐸) and max(퐸) + 1 ∉ 퐸. Proposition9 : if 퐼 ⊂ ℝ is an interval, 푎 ∈ 퐼 and 푓: 퐼 → ℝ is a function, we have : (1)푓 continuous in 푎 ⇔ lim 푓(푥) = 푓(푎) 푥→푎 (2) 푓 continuous in 훼 ⇔ ((∀(훼푘) a sequence: lim αk = α) ⇒ ( lim 푓(훼푘) = 푓(훼))) k→+∞ 푘→+∞ (3)푓 continuous on 퐼 ⇔ 푓 continuous in any a ∈ 퐼 Proposition10 : (Intermediate value theorem) (See [15]) Let [푎, 푏](푎 < 푏) an interval of ℝ and 푓:[푎, 푏]→ ℝ a continuous function. If 푓(푎)푓(푏) < 0, then :∃푐 ∈]푎, 푏[ such that : 푓(푐) = 0. Proposition11 : Any sequence (푡푘) ⊂ [푎, 푏] (an interval of ℝ), has a convergente subsequence, denoted also (푡푘), with : lim 푡푘 = 푡 ∈ [푎, 푏]. 푘→+∞ THE PROOF OF THE GOLDBACH BINARY CONJECTURE: Theorem: ∀푛 ≥ 2∃(푝, 푞) ∈ ℙ2푛 × ℙ2푛 such that 2푛 = 푝 + 푞 Proof: (of the Theorem) *Let: 퐴2푛 = {(푝, 푞) ∈ ℙ2푛 × ℙ2푛, 푝 + 푞 = 2푛} for an integer 푛 ≥ 2 퐵푘 = {(푝, 푞) ∈ ℙ푘 × ℙ푘, 푝 + 푞 ≤ 푘} for an integer k≥ 4.