From One-Sided Prime Distribution to Two-Sided Symmetry: Reconstructing Goldbach’s Conjecture to Find a Complete Proof
Main Article Content
Abstract
I previously presented a formal proof approach to Goldbach via the Unified Prime Equation (UPE) [Bahbouhi Bouchaiba-b, preprints.org 2025] [1,2]. The principal criticism that remains is precise: how to pass from one–sided prime existence (primes in short intervals on each side of E/2) to the simultaneous two–sided coincidence required for a symmetric pair at the same offset t. This paper focuses on demonstrations only. We formalize the Z–scale, isolate the single analytic obstacle as a covariance term over symmetric offsets, prove unconditional lemmas for admissible offsets and one– sided prime mass, and state a sharp Conditional Theorem that converts the one–sided mass into a guaranteed two–sided hit within H = κ (log E)^2. We also give an empirical theorem and a reduction: under standard distributional hypotheses (Elliott–Halberstam–type covariance control), UPE terminates for every even E ≥ E0 within the Z–corridor. All known theorems are explicitly cited.
Article Details
Copyright (c) 2026 Bahbouhi B.

This work is licensed under a Creative Commons Attribution 4.0 International License.
Bahbouhi B. The unified prime equation (UPE) gives a formal proof for Goldbach's strong conjecture and its elevation to the status of a theorem. Preprints. 2025a. Available from: https://dx.doi.org/10.20944/preprints202510.0591.v1.
Bahbouhi B. A formal proof for Goldbach's strong conjecture by the unified prime equation and the Z constant. Preprints. 2025b. Available from: https://dx.doi.org/10.20944/preprints202510.0662.v1.
Ingham AE. The distribution of prime numbers. Cambridge: Cambridge Univ Press; 1932.
Rosser JB, Schoenfeld L. Approximate formulas for some functions of prime numbers. Ill J Math. 1962;6:64 94.
Baker RC, Harman G, Pintz J. The difference between consecutive primes. Proc Lond Math Soc. 2001;83:532 62.
Dusart P. Estimates of some functions over primes without RH. arXiv:1002.0442. 2010.
Dusart P. Explicit estimates on the distribution of primes, Chebyshev's functions and related functions. Preprint. 2018.
Bombieri E. On the large sieve. Mathematika. 1965;12:201 25.
Davenport H, Halberstam H. Primes in arithmetic progressions. Mich Math J. 1966;13:485 9.
Halberstam H, Richert HE. Sieve methods. New York: Academic Press; 1974.
Elliott PDTA, Halberstam H. A conjecture in prime number theory. Sympos Pure Math. 1968;8:181 93.
Bombieri E, Vinogradov A. On the large sieve and the average distribution of primes in arithmetic progressions. 1965.
Bertrand J. Mémoire sur le nombre de valeurs que peut prendre une fonction quand on y permute les lettres qu'elle renferme. 1852.
Montgomery H. The pair correlation of zeros of the zeta function. 1973.
Chebyshev PL. Mémoire sur les nombres premiers. J Math Pures Appl. 1850.
Hardy GH, Littlewood JE. Some problems of 'Partitio Numerorum' III: On the expression of a number as a sum of primes. Acta Math. 1923.
Ingham AE. On the distribution of prime numbers. 1941.
Montgomery HL, Vaughan RC. The exceptional set in Goldbach's problem. Acta Arith. 1975;27:353 70.
Odlyzko AM. On the distribution of spacings between zeros of the zeta function. 1987.
Vinogradov AI. The density hypothesis for Dirichlet L series. 1965.
Selberg A. Sieve methods. Norske Vid Selsk Forh (Trondheim). 1947;19.
Brun V. La série 1/5 + 1/7 + … est convergente. Bull Sci Math. 1919.