<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">APM</journal-id><journal-title-group><journal-title>Advances in Pure Mathematics</journal-title></journal-title-group><issn pub-type="epub">2160-0368</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/apm.2016.64016</article-id><article-id pub-id-type="publisher-id">APM-64521</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  A Direct Proof for Riemann Hypothesis Based on Jacobi Functional Equation and Schwarz Reflection Principle
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>iang</surname><given-names>Liu</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Rybachuk</surname><given-names>Ekaterina</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Fasheng</surname><given-names>Liu</given-names></name><xref ref-type="aff" rid="aff3"><sup>3</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>Kuzbass State Technical University, Kemerovo, Russia</addr-line></aff><aff id="aff1"><addr-line>Tong Ji University, Shanghai, China</addr-line></aff><aff id="aff3"><addr-line>Shandong University of Science and Technology, Qingdao, China</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>fashengliu@163.com(FL)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>15</day><month>03</month><year>2016</year></pub-date><volume>06</volume><issue>04</issue><fpage>193</fpage><lpage>200</lpage><history><date date-type="received"><day>10</day>	<month>February</month>	<year>2016</year></date><date date-type="rev-recd"><day>accepted</day>	<month>12</month>	<year>March</year>	</date><date date-type="accepted"><day>15</day>	<month>March</month>	<year>2016</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  Using the properties of theta-series and Schwarz reflection principle, a proof for Riemann hypothesis (RH) is directly presented and the first ten nontrivial zeros are easily obtained. From now on RH becomes Riemann Theorem (RT) and all its equivalent results and the consequences assuming RH are true.
 
</p></abstract><kwd-group><kwd>Theta-Series</kwd><kwd> Jacobi Functional Equation</kwd><kwd> Schwarz Reflection Principle</kwd><kwd> Riemann Hypothesis (RH)</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The Riemann zeta function has its origin in Dirichlet series function</p><disp-formula id="scirp.64521-formula3"><label>(1.1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x6.png"  xlink:type="simple"/></disp-formula><p>where n runs through all integers, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x7.png" xlink:type="simple"/></inline-formula>, is a complex variable. The Dirichlet series is convergent for Res &gt; 1, and uniformly convergent in any finite region in which<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x8.png" xlink:type="simple"/></inline-formula>. It therefore defines an analytic function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x9.png" xlink:type="simple"/></inline-formula>, regular for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x10.png" xlink:type="simple"/></inline-formula>.</p><p>Euler showed the production formula,</p><disp-formula id="scirp.64521-formula4"><label>(1.2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x12.png"  xlink:type="simple"/></disp-formula><p>where p ranges over all primes. It converges for real s greater than 1.</p><p>Riemann extends<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x13.png" xlink:type="simple"/></inline-formula>, to the whole complex plane except for s = 1 by introducing theta function</p><p>and Jacobi functional equation in his ground breaking paper (Riemann 1859) [<xref ref-type="bibr" rid="scirp.64521-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.64521-ref2">2</xref>] .</p><p>The function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x14.png" xlink:type="simple"/></inline-formula> can be analytically extended onto the entire complex plane in many ways [<xref ref-type="bibr" rid="scirp.64521-ref3">3</xref>] . But there exists an unique analytic function A(s) which is defined on the entire s-plane except for s = 1 and has the property that when Re s &gt; 1,</p><disp-formula id="scirp.64521-formula5"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x15.png"  xlink:type="simple"/></disp-formula><p>The convergence of the Euler product shows that ζ(s) has no zeros in the region: Re s &gt; 1, as none of the factors have zeros. The Riemann hypothesis discusses zeros outside the region of convergence of this series and Euler product.</p><p>The Riemann hypothesis is a deep mathematical conjecture which states that the nontrivial Riemann zeta function zeros, i.e., the values of s other than −2, −4, −6, such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x16.png" xlink:type="simple"/></inline-formula> all lie on the “critical line”<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x17.png" xlink:type="simple"/></inline-formula>.</p><p>Riemann [<xref ref-type="bibr" rid="scirp.64521-ref1">1</xref>] says that he considers it “very likely” that the complex zeros of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x18.png" xlink:type="simple"/></inline-formula> all have real parts equal to 1/2, but that he has been unable to prove it is true. Edwards [<xref ref-type="bibr" rid="scirp.64521-ref2">2</xref>] summaries that “the experience of Riemann’s successors with the Riemann hypothesis that has been the same as Riemann’s―they also consider its truth ‘very likely’ and they also have been unable to prove it”. Hilbert included the problem of proving the Riemann hypothesis in his list of the most important un-solved problems which confronted mathematics in 1900, and it is also the one of the seven open problems for 21<sup>st</sup> century listed by Clay Mathematics Institute. “The attempt to solve the problem has occupied the best efforts of many of the best mathematicians of the twentieth century. It is now unquestionably the most celebrated problem in mathematics and it continues to attract the attention of the best mathematicians, not only because it has gone unsolved for more than one and half century but also because it appears tantalizingly vulnerable and because its solution would probably bring to light new techniques of far reaching importance” [<xref ref-type="bibr" rid="scirp.64521-ref2">2</xref>] . Why is the Riemann hypothesis so important? Why is it the problem that many mathematicians would sell their souls to solve? There are many answers beside the above for these questions. There have been many attempts to solve it but no idea on how to efficiently. As with the other old great unsolved problems, the Riemann hypothesis is clearly very difficult. It has resisted solution for more than 150 years and has been attempted by many of the greatest minds in mathematics. And the key reason for the importance of RH is that it relates to many important aspects of mathematics. Here is how Princeton mathematician Peter Sarnak describes the broad impact the RH has had. “The Riemann hypothesis is the central problem and it implies many, many things… With this one solution you would have proven five hundred theorems or more at once.”</p><p>The other thing makes it is of importance is that it has deep relation with physics. The relation between the zeros of Riemann zeta function on the critical line and the properties of random matrix are described in [<xref ref-type="bibr" rid="scirp.64521-ref4">4</xref>] . And the relations of prime distribution and dynamical systems and statistical mechanics are discussed in [<xref ref-type="bibr" rid="scirp.64521-ref5">5</xref>] . All these related topics root in RH.</p><p>Milestones and great events with the RH have been listed [<xref ref-type="bibr" rid="scirp.64521-ref6">6</xref>] from 1859 to 2004. RH is really a well known goose lays gold eggs.</p><p>Edwards [<xref ref-type="bibr" rid="scirp.64521-ref2">2</xref>] , E.C. Titchmarsh [<xref ref-type="bibr" rid="scirp.64521-ref3">3</xref>] and A. A. Karatsuba [<xref ref-type="bibr" rid="scirp.64521-ref7">7</xref>] all mentioned the theta function and Jacobi functional equation in dealing with Riemann zeta function. And the way by introducing the functional equation of the theta function in a form of Jacobi is a more satisfactory way than the way of Cauchy integral formula. Jacobi functional equation has a close relation with Riemann zeta function. The relation between the variable and its reciprocal in Jacobi functional equations corresponds to that of complex variable in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x19.png" xlink:type="simple"/></inline-formula> of the imagery parts of s and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x20.png" xlink:type="simple"/></inline-formula>, i.e. t and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x21.png" xlink:type="simple"/></inline-formula>, We are going to investigate the properties of theta-series and Jacobi functional equation and to use the reflection principle to find the nontrivial zeros of Riemann zeta function and to prove RH.</p></sec><sec id="s2"><title>2. Lemmas</title><p>To prove the truth of RH, and for convenience, we list some important related results as lemmas as follows [<xref ref-type="bibr" rid="scirp.64521-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.64521-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.64521-ref7">7</xref>] .</p><p>Lemma 1.</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x22.png" xlink:type="simple"/></inline-formula>; (2.1)</p><disp-formula id="scirp.64521-formula6"><label>(2.2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x23.png"  xlink:type="simple"/></disp-formula><p>where</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x24.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.64521-formula7"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x25.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.64521-formula8"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x26.png"  xlink:type="simple"/></disp-formula><p>The relation of (2.1) is a surprising functional equation, and is far obvious and looks barely possible. We can find the proofs from various references. (See [<xref ref-type="bibr" rid="scirp.64521-ref7">7</xref>] , pp. 8-11) ( [<xref ref-type="bibr" rid="scirp.64521-ref8">8</xref>] G. Everest, p. 194). It plays a key role for the Riemann zeta function analytic continuation in terms of theta series.</p><p>Lemma 2.</p><disp-formula id="scirp.64521-formula9"><label>(2.3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x27.png"  xlink:type="simple"/></disp-formula><p>The following proof procedure is from [<xref ref-type="bibr" rid="scirp.64521-ref7">7</xref>] .</p><p>We use the integral formula for the gamma-function. For Re s &gt; 0 and n a natural number, we have</p><disp-formula id="scirp.64521-formula10"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x28.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.64521-formula11"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x29.png"  xlink:type="simple"/></disp-formula><p>We now suppose that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x30.png" xlink:type="simple"/></inline-formula> and sum the last equality over all n. the result is</p><disp-formula id="scirp.64521-formula12"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x31.png"  xlink:type="simple"/></disp-formula><p>Changing the order of summation and integration, we obtain</p><disp-formula id="scirp.64521-formula13"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x32.png"  xlink:type="simple"/></disp-formula><p>Next, for x &gt; 0 we have</p><disp-formula id="scirp.64521-formula14"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x33.png"  xlink:type="simple"/></disp-formula><p>Thus, we have the equality</p><disp-formula id="scirp.64521-formula15"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x34.png"  xlink:type="simple"/></disp-formula><p>From (2.2), using this relation and then making the change of variables <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x35.png" xlink:type="simple"/></inline-formula> in the second integral below, we obtain</p><disp-formula id="scirp.64521-formula16"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x36.png"  xlink:type="simple"/></disp-formula><p>as was to be proved.</p><p>We note that here since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x37.png" xlink:type="simple"/></inline-formula> as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x38.png" xlink:type="simple"/></inline-formula>, it follows that the improper integral on the right in (2.3) converges absolutely and uniformly in the half-plane Re s &gt; K for any K. Weierstrass’ theorem then implies that, as a function of the complex variable s, this integral is holomorphic in the entire s-plane. The relation (2.3) was proved under the assumption that Re s &gt; 1. But the right side of (2.3) is defined for all s, i.e., this formula gives the analytic continuation of the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x39.png" xlink:type="simple"/></inline-formula> onto the entire s-plane. We take the following to the function A(s) mentioned in the beginning of the section 1.</p><disp-formula id="scirp.64521-formula17"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x40.png"  xlink:type="simple"/></disp-formula><p>The gamma-function has the first order pole at the point s = 0; we also have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x41.png" xlink:type="simple"/></inline-formula>. Thus, A(s) is a regular function on the entire s-pane except for the point s = 1, where it has a simple pole with residue 1. Finally, it is easy to see that the right side of (2.3) does not change when s is replaced by 1 − s. We define a function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x42.png" xlink:type="simple"/></inline-formula> by the following.</p><disp-formula id="scirp.64521-formula18"><label>(2.4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x43.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.64521-formula19"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x44.png"  xlink:type="simple"/></disp-formula><p>Since the value of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x45.png" xlink:type="simple"/></inline-formula> on real axis is real and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x46.png" xlink:type="simple"/></inline-formula> by Schwarz reflection principle, we have the following lemma.</p><p>Lemma 3. The zeros of the Riemann zeta-function (2.3) are the even negative numbers <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x47.png" xlink:type="simple"/></inline-formula> and the complex numbers <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x48.png" xlink:type="simple"/></inline-formula> which all lie in the strip <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x49.png" xlink:type="simple"/></inline-formula> and are situated symmetrically with respect to the lines Im s = 0 and Re s = 1/2. In other words, when ever <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x50.png" xlink:type="simple"/></inline-formula> is a zero of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x51.png" xlink:type="simple"/></inline-formula>, so are the<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x52.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x53.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x54.png" xlink:type="simple"/></inline-formula>.</p><p>i.e.</p><disp-formula id="scirp.64521-formula20"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x55.png"  xlink:type="simple"/></disp-formula><p>Proof ( [<xref ref-type="bibr" rid="scirp.64521-ref7">7</xref>] , p. 22 Th.1)</p><p>Since</p><disp-formula id="scirp.64521-formula21"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x56.png"  xlink:type="simple"/></disp-formula><p>And</p><disp-formula id="scirp.64521-formula22"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x57.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.64521-formula23"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x58.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.64521-formula24"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x59.png"  xlink:type="simple"/></disp-formula><p>For its value is real on the real axis, so by Schwarz reflection principle, it follows that,</p><disp-formula id="scirp.64521-formula25"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x60.png"  xlink:type="simple"/></disp-formula><p>Hence, when ever <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x61.png" xlink:type="simple"/></inline-formula> is a zero of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x62.png" xlink:type="simple"/></inline-formula>, so are the<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x63.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x64.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x65.png" xlink:type="simple"/></inline-formula> [<xref ref-type="bibr" rid="scirp.64521-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.64521-ref7">7</xref>] .</p><p>Lemma 4. Suppose that t &gt; 0, and we have</p><disp-formula id="scirp.64521-formula26"><label>(2.5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x66.png"  xlink:type="simple"/></disp-formula><p>Lemma 5. If the following integration is convergent, f is monotone</p><disp-formula id="scirp.64521-formula27"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x67.png"  xlink:type="simple"/></disp-formula><p>Then</p><disp-formula id="scirp.64521-formula28"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x68.png"  xlink:type="simple"/></disp-formula><p>Now we are ready to prove Riemann theorem (RT) and find the zeros positions.</p></sec><sec id="s3"><title>3. Riemann Theorem (RT)</title><p>Riemann Zeta-function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x69.png" xlink:type="simple"/></inline-formula> satisfies</p><disp-formula id="scirp.64521-formula29"><label>(3.1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x70.png"  xlink:type="simple"/></disp-formula><p>And the RH holds (RT):</p><disp-formula id="scirp.64521-formula30"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x71.png"  xlink:type="simple"/></disp-formula><p>Proof: Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x72.png" xlink:type="simple"/></inline-formula></p><p>Then,</p><disp-formula id="scirp.64521-formula31"><label>(3.2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x73.png"  xlink:type="simple"/></disp-formula><p>We consider the imaginary part of the equation (3.2) of both sides.</p><disp-formula id="scirp.64521-formula32"><label>(3.3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x74.png"  xlink:type="simple"/></disp-formula><p>And</p><disp-formula id="scirp.64521-formula33"><label>(3.4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x75.png"  xlink:type="simple"/></disp-formula><p>The above integral is real integral of complex parameters. Consider the exponential complex function properties, we have</p><disp-formula id="scirp.64521-formula34"><label>(3.5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x76.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.64521-formula35"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x77.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.64521-formula36"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x78.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.64521-formula37"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x79.png"  xlink:type="simple"/></disp-formula><p>The many-valued function here the logarithm of x is determined in such a way that it is real for positive value of x [<xref ref-type="bibr" rid="scirp.64521-ref1">1</xref>] .</p><p>Suppose <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x80.png" xlink:type="simple"/></inline-formula> and let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x80.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x81.png" xlink:type="simple"/></inline-formula>, then (3.4) becomes</p><disp-formula id="scirp.64521-formula38"><label>(3.6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x82.png"  xlink:type="simple"/></disp-formula><p>From lemma 3, replace t by −t for t &gt; 0, or equivalently replace <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x83.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x84.png" xlink:type="simple"/></inline-formula></p><p>We have the following</p><disp-formula id="scirp.64521-formula39"><label>(3.7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x85.png"  xlink:type="simple"/></disp-formula><p>From Lemma 1, we have</p><disp-formula id="scirp.64521-formula40"><label>(3.8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x86.png"  xlink:type="simple"/></disp-formula><p>And from lemma 4, we get</p><disp-formula id="scirp.64521-formula41"><label>. (3.9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x87.png"  xlink:type="simple"/></disp-formula><p>And from lemma 5, we have,</p><disp-formula id="scirp.64521-formula42"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x88.png"  xlink:type="simple"/></disp-formula><p>So</p><disp-formula id="scirp.64521-formula43"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x89.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.64521-formula44"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x90.png"  xlink:type="simple"/></disp-formula><p>We have finally proved RT.</p></sec><sec id="s4"><title>4. The Zeros of Riemann Zeta Function</title><p>Considering the real parts of (3.2), and let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x91.png" xlink:type="simple"/></inline-formula> in the equation, we have,</p><disp-formula id="scirp.64521-formula45"><label>, (4.1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x92.png"  xlink:type="simple"/></disp-formula><p>and the following function</p><disp-formula id="scirp.64521-formula46"><label>(4.2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-5301071x93.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.64521-formula47"><graphic  xlink:href="http://html.scirp.org/file/1-5301071x94.png"  xlink:type="simple"/></disp-formula><p>Its roots are the zeros on the critical line of Riemann zeta function. Function (4.2) contains the whole information of zeros of Riemann zeta function. Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x95.png" xlink:type="simple"/></inline-formula> is a real function and we can calculate the function values and to find the roots in a computational way. The following results of the values of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x96.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-5301071x97.png" xlink:type="simple"/></inline-formula> are obtained by matlab. The zeros locations can be roughly estimated by the sign changing of the function values in a gap of 0.5.</p><p>The results are well match to the known zeros of Riemann zeta function.</p></sec><sec id="s5"><title>5. Conclusion and Remarks</title><p>Simple but substantial solutions for Riemann zeta function zeros are presented by letting imaginary and real parts of both sides of the equation (1.1), or its analytic continuation (3.2) and (3.2), to equal. The key step is using the properties of theta-series and the reflection principle to replace t by ?t. The first ten nontrivial zeros positions are easily obtained. From now on RH becomes Riemann Theorem (RT) and all its equivalent results become true. And we may investigate the properties of function (4.2) to study prime distribution.</p></sec><sec id="s6"><title>Cite this paper</title><p>Xiang Liu,Rybachuk Ekaterina,Fasheng Liu, (2016) A Direct Proof for Riemann Hypothesis Based on Jacobi Functional Equation and Schwarz Reflection Principle. Advances in Pure Mathematics,06,193-200. doi: 10.4236/apm.2016.64016</p></sec><sec id="s7"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.64521-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Riemann, B. (1859-1860) über die Anzahl der Primzahlen unter einer gegebenen Grosse. Monats. Preuss. Akaad, Wiss., 671-680.</mixed-citation></ref><ref id="scirp.64521-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Edwards, H.M. (1974) Riemann’s Zeta Function. Dover Publications, Inc., New York.</mixed-citation></ref><ref id="scirp.64521-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Titchmarsh, E.C. (1986) The Theory of The Riemann Zeta-Function. Clarendon Press, Oxford.</mixed-citation></ref><ref id="scirp.64521-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Keating, J.P. and Snaith, N.C. (2000) Random Matrix Theory And ζ (1/2 + it). Communications in Mathematical Physics, 214, 57-89. http://dx.doi.org/10.1007/s002200000261</mixed-citation></ref><ref id="scirp.64521-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Knauf, A. (1999) Number Theory, Dynamical Systems and Statistical Mechanics. Reviews in Mathematical Physics, 11, 1027.</mixed-citation></ref><ref id="scirp.64521-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Borwein, P., Choi, S., Rooney, B. and Weirathmueller, A. (2008) The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike. Springer, Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo.</mixed-citation></ref><ref id="scirp.64521-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Karatsuba, A.A. and Voronin S.M. (1992) The Riemann Zeta-Function. Translated from the Russian by Neal Koblitz, Walter de Gruyter. Berlin, New York. http://dx.doi.org/10.1515/9783110886146</mixed-citation></ref><ref id="scirp.64521-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Everest, G. (2011) An Introduction to Number Theory. Science Press, Beijing.</mixed-citation></ref></ref-list></back></article>