A proof of the Riemann hypothesis based on the Koch theorem, on primes
in short intervals, and distribution of nontrivial zeros of the Riemann zeta
function
Part One: Let define the truncation of the logarithmic integral Li(x) as Οβ(x,M)=logxxβn=0βMβlognxn!β. First, we
prove Οβ(x,M)β€Li(x)<Οβ(x,M+1) which implies that the point of
the truncation depends on x, Next, let Ξ±L,Mβ=xM+1β/xMβ. We prove
that Ξ±L,Mβ is greater than e for M<β and tends to
Ξ±L,ββ=e as Mββ. Thirdly, we prove M=logxβ2+O(1)Β forΒ xβ₯24. Finally, we prove Li(x)βΟβ(x,M)<xβΒ forΒ xβ₯24.
Part Two: Let define Οβ(x,N)=logxxβn=0βNβlognxn!β where we proved that the pair of
numbers x and N in Οβ(x,N) satisfy inequalities
Οβ(x,N)<Ο(x)<Οβ(x,N+1), and the number N is approximately a
step function of the variable logx with a finite amount of deviation, and
proportional to logx. We obtain much more accurate estimation
Ο(x)βΟβ(x,N) of prime numbers, the error range of which is less than
xβ for xβ₯103 or less than x1/2β0.0327283 for
xβ₯1041.
Part Three: We show the closeness of Li(x) and Ο(x) and give the
difference β£Ο(x)βLi(x)β£ being less than or equal to cxβlogx where
c is a constant. Further more, we prove the estimation
Li(x)=Οβ(x,N)+O(xβ). Hence we obtain Ο(x)=Li(x)+O(xβ) so
that the Riemann hypothesis is true.
Part Four: Different from former researches on the distribution of primes in
short intervals, we prove a theorem: Let Ξ¦(x)=Ξ²x1/2, Ξ²>0,
and xβ₯xΞ²β which satisfies (logxΞ²β)2/xΞ²0.0327283ββ€Ξ². Then there are Ξ¦(x)/logxΟ(x+Ξ¦(x))βΟ(x)β=1+O(logx1β) and xββlimβΞ¦(x)/logxΟ(x+Ξ¦(x))βΟ(x)β=1.Comment: 95 page