Proof of the Goldbach's Strong Conjecture by Using Semi-Continuous Model of Even Numbers
Aref Zadehgol Mohammadi,Mohsen Kolahdouz
2024-10-03
Abstract:In this paper, we present an explicit and analytic proof for still unproven Goldbach's strong conjecture. To derive this proof, we first define a heuristic model for representing even numbers called Semi-continuous Model for Even Numbers or briefly S.C.E Model, and then we employ this model along with using the inequality
\begin{center}
$\dfrac{x}{\ln x}\leq_{x\geq 17}\pi(x)\leq_{x>1}1.2251\dfrac{x}{\ln x}$,
\end{center}
where $\pi(x)$ denotes the number of all primes smaller than and equal to $x$, and is presented by Pierre Dusart in his paper [P. Dusart, \textit{Explicit estimates of some functions over primes},
Ramanujan J. \textbf{45} (2016), No. 1, 227--251].
On the one hand, this proof is given for all even numbers $E\geq22864$. On the other hand, since the assertion of Goldbach's strong conjecture is easy to verify for all even numbers $4\leq E<22864$, we turn this conjecture into a theorem.
Number Theory,History and Overview