<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20241031//EN" "JATS-journalpublishing1-4.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article" dtd-version="1.4" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">Oalib</journal-id>
      <journal-title-group>
        <journal-title>Open Access Library Journal</journal-title>
      </journal-title-group>
      <issn pub-type="epub">2333-9721</issn>
      <issn pub-type="ppub">2333-9705</issn>
      <publisher>
        <publisher-name>Scientific Research Publishing</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.4236/oalib.1115937</article-id>
      <article-id pub-id-type="publisher-id">Oalib-154147</article-id>
      <article-categories>
        <subj-group>
          <subject>Article</subject>
        </subj-group>
        <subj-group>
          <subject>Biomedical</subject>
          <subject>Life Sciences</subject>
          <subject>Business</subject>
          <subject>Economics</subject>
          <subject>Chemistry</subject>
          <subject>Materials Science</subject>
          <subject>Computer Science</subject>
          <subject>Communications</subject>
          <subject>Earth</subject>
          <subject>Environmental Sciences</subject>
          <subject>Engineering</subject>
          <subject>Medicine</subject>
          <subject>Healthcare</subject>
          <subject>Physics</subject>
          <subject>Mathematics</subject>
          <subject>Social Sciences</subject>
          <subject>Humanities</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Method of Discriminating a Class of Special Prime Numbers</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Zhou</surname>
            <given-names>Zhongqi</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> Hubei Coal Geology Bureau, Wuhan, China </aff>
      <author-notes>
        <fn fn-type="conflict" id="fn-conflict">
          <p>The author declares no conflicts of interest.</p>
        </fn>
      </author-notes>
      <pub-date pub-type="epub">
        <day>02</day>
        <month>09</month>
        <year>2026</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>09</month>
        <year>2026</year>
      </pub-date>
      <volume>13</volume>
      <issue>09</issue>
      <fpage>1</fpage>
      <lpage>6</lpage>
      <history>
        <date date-type="received">
          <day>23</day>
          <month>08</month>
          <year>2026</year>
        </date>
        <date date-type="accepted">
          <day>20</day>
          <month>09</month>
          <year>2026</year>
        </date>
        <date date-type="published">
          <day>23</day>
          <month>09</month>
          <year>2026</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>© 2026 by the authors and Scientific Research Publishing Inc.</copyright-statement>
        <copyright-year>2026</copyright-year>
        <license license-type="open-access">
          <license-p> This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license ( <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link> ). </license-p>
        </license>
      </permissions>
      <self-uri content-type="doi" xlink:href="https://doi.org/10.4236/oalib.1115937">https://doi.org/10.4236/oalib.1115937</self-uri>
      <abstract>
        <p>It is very difficult to find a new Wieferich prime number. This paper uses Eisenstein congruence formula and Sun Zhihong congruence theorem to a method to determine Wieferich prime number. The Fermat quotient and Euler quotient are also studied in the paper.</p>
      </abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>Wieferich Prime Number</kwd>
        <kwd>Detemination Method</kwd>
        <kwd>Sufficient and Necessary Conditions</kwd>
        <kwd>Fermat Quotient</kwd>
        <kwd>Euler Quotient</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. 引言</title>
      <p>满足同余式</p>
      <disp-formula id="FD1">
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mi>p</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msup>
            <mml:mo>≡</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:msup>
                  <mml:mi>p</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>的素数<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 叫作伟伊列治(Wieferich)素数，1909年Wieferich证明了如下一个困难的定理：</p>
      <p>如果费马猜想(现已成为定理)的第一种情形对于素数<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 不成立，则必有上面的同余式，所以伟伊列治素数是一种特别的素数，在正整数集中，这种素数是很少的。Lehmer (1981)证明了：在<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 6 </mml:mn><mml:mo> × </mml:mo><mml:msup><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow><mml:mn> 9 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> 以内只有素数1093和3511满足以上同余式。后来J. knauer和J. Richstein运用互联网把计算扩大到<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 1.25 </mml:mn><mml:mo> × </mml:mo><mml:msup><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow><mml:mrow><mml:mn> 15 </mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> 均未发现新的伟伊列治素数，到目前为止，仍然只知道仅有以上两个伟伊列治素数，所以寻找更大的伟伊列治素数是一件非常困难的事情，也是一件十分有意义的事情。</p>
    </sec>
    <sec id="sec2">
      <title>2. 定义</title>
      <p>设<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 为素数，<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> a </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> Z </mml:mi></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math display="inline"><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> p </mml:mi><mml:mo> , </mml:mo><mml:mi> a </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ，则称<inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mi> q </mml:mi><mml:mi> p </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> a </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mfrac><mml:mrow><mml:msup><mml:mi> a </mml:mi><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mi> p </mml:mi></mml:mfrac></mml:mrow></mml:math></inline-formula> 为<inline-formula><mml:math display="inline"><mml:mi> a </mml:mi></mml:math></inline-formula> 对素数<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 的Fermat商[<xref ref-type="bibr" rid="B1">1</xref>]。设<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> m </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> 为整数，<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> a </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> Z </mml:mi></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math display="inline"><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> m </mml:mi><mml:mo> , </mml:mo><mml:mi> a </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ，则称<inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mi> q </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> a </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mfrac><mml:mrow><mml:msup><mml:mi> a </mml:mi><mml:mrow><mml:mi> φ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> m </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mi> m </mml:mi></mml:mfrac></mml:mrow></mml:math></inline-formula> 为<inline-formula><mml:math display="inline"><mml:mi> a </mml:mi></mml:math></inline-formula> 对整数<inline-formula><mml:math display="inline"><mml:mi> m </mml:mi></mml:math></inline-formula> 的Euler商。</p>
    </sec>
    <sec id="sec3">
      <title>3. 引理</title>
      <p>引理1：Wolstenholme定理[<xref ref-type="bibr" rid="B2">2</xref>]若<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> p </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 5 </mml:mn></mml:mrow></mml:math></inline-formula> 为素数，则</p>
      <disp-formula id="FD2">
        <mml:math display="inline">
          <mml:mrow>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>≡</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:msup>
                  <mml:mi>p</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>引理2：(孙智宏)设<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 为奇素数，<inline-formula><mml:math display="inline"><mml:mi> a </mml:mi></mml:math></inline-formula> 为正整数，则[<xref ref-type="bibr" rid="B1">1</xref>]</p>
      <disp-formula id="FD3">
        <mml:math>
          <mml:mrow>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>a</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msup>
                <mml:mo>−</mml:mo>
                <mml:mi>a</mml:mi>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:mfrac>
            <mml:mo>≡</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mrow>
              <mml:mo>[</mml:mo>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>k</mml:mi>
                    <mml:mi>a</mml:mi>
                  </mml:mrow>
                  <mml:mi>p</mml:mi>
                </mml:mfrac>
              </mml:mrow>
              <mml:mo>]</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>p</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>引理3：(Eisenstein)设<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 为奇素数，则[<xref ref-type="bibr" rid="B1">1</xref>]</p>
      <disp-formula id="FD4">
        <mml:math>
          <mml:mrow>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mn>2</mml:mn>
                  <mml:mrow>
                    <mml:mi>p</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:msup>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:mfrac>
            <mml:mo>≡</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mo>−</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mi>k</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>p</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
    </sec>
    <sec id="sec4">
      <title>4. 伟伊列治素数的推广</title>
      <p>我们将伟伊列治素数进行推广：</p>
      <p>满足同余式</p>
      <disp-formula id="FD5">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mn>2</mml:mn>
                  <mml:mrow>
                    <mml:mi>p</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:msup>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:mfrac>
            <mml:mo>≡</mml:mo>
            <mml:mi>Z</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>p</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>的素数<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 叫作<inline-formula><mml:math display="inline"><mml:mi> Z </mml:mi></mml:math></inline-formula> 素数，<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> Z </mml:mi><mml:mo> &lt; </mml:mo><mml:mi> p </mml:mi></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> Z </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> N </mml:mi></mml:mrow></mml:math></inline-formula> 。当<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> Z </mml:mi><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 时，<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 为0素数，也称为伟伊列治素数，任何一种<inline-formula><mml:math display="inline"><mml:mi> Z </mml:mi></mml:math></inline-formula> 素数都是非常稀少的：</p>
      <p>在<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 1.25 </mml:mn><mml:mo> × </mml:mo><mml:msup><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow><mml:mrow><mml:mn> 15 </mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> 以内只有<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 1093 </mml:mn><mml:mo> , </mml:mo><mml:mn> 3511 </mml:mn></mml:mrow></mml:math></inline-formula> 为0素数(伟伊列治素数)；</p>
      <p>在<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> × </mml:mo><mml:msup><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> 以内只有<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 3 </mml:mn><mml:mo> , </mml:mo><mml:mn> 29 </mml:mn><mml:mo> , </mml:mo><mml:mn> 37 </mml:mn><mml:mo> , </mml:mo><mml:mn> 3373 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2001907169 </mml:mn></mml:mrow></mml:math></inline-formula> 为1素数；</p>
      <p>在<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 1.5 </mml:mn><mml:mo> × </mml:mo><mml:msup><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow><mml:mn> 9 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> 以内只有<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 7 </mml:mn><mml:mo> , </mml:mo><mml:mn> 71 </mml:mn><mml:mo> , </mml:mo><mml:mn> 379 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2659 </mml:mn></mml:mrow></mml:math></inline-formula> 为2素数；</p>
      <p>在<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 1.6 </mml:mn><mml:mo> × </mml:mo><mml:msup><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow><mml:mn> 9 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> 以内只有<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 5 </mml:mn><mml:mo> , </mml:mo><mml:mn> 13 </mml:mn><mml:mo> , </mml:mo><mml:mn> 19 </mml:mn><mml:mo> , </mml:mo><mml:mn> 173 </mml:mn><mml:mo> , </mml:mo><mml:mn> 5501 </mml:mn></mml:mrow></mml:math></inline-formula> 为3素数；</p>
      <p>在<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> × </mml:mo><mml:msup><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> 以内只有2633为4素数；</p>
      <p>在10<sup>8</sup>以内只有<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 11 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2152849 </mml:mn></mml:mrow></mml:math></inline-formula> 为5素数；</p>
      <p>在10<sup>8</sup>以内只有<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 31 </mml:mn><mml:mo> , </mml:mo><mml:mn> 89 </mml:mn></mml:mrow></mml:math></inline-formula> 为6素数；</p>
      <p>在<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 2.5 </mml:mn><mml:mo> × </mml:mo><mml:msup><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow><mml:mn> 9 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> 以内只有<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 233 </mml:mn><mml:mo> , </mml:mo><mml:mn> 118417283 </mml:mn></mml:mrow></mml:math></inline-formula> 为7素数；</p>
      <p>在10<sup>8</sup>以内只有<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 59 </mml:mn><mml:mo> , </mml:mo><mml:mn> 1733 </mml:mn></mml:mrow></mml:math></inline-formula> 为8素数；</p>
      <disp-formula id="FD6">
        <mml:math display="inline">
          <mml:mrow>
            <mml:mo>⋯</mml:mo>
            <mml:mo>⋯</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <fig id="fig1">
        <label>Figure 1</label>
        <graphic xlink:href="https://html.scirp.org/file/1115937-rId107.jpeg?20260923043209" />
      </fig>
      <p>对于任一奇素数<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> ，都有<inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mi> q </mml:mi><mml:mi> p </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mn> 2 </mml:mn><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≡ </mml:mo><mml:mi> Z </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> p </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> ，所以，任一奇素数都属于某一<inline-formula><mml:math display="inline"><mml:mi> Z </mml:mi></mml:math></inline-formula> 素数，而一奇素数不会同时属于两类<inline-formula><mml:math display="inline"><mml:mi> Z </mml:mi></mml:math></inline-formula> 素数。本文利用Eisenstein同余式、孙智宏同余式等定理得出了一种<inline-formula><mml:math display="inline"><mml:mi> Z </mml:mi></mml:math></inline-formula> 素数的判定方法。</p>
    </sec>
    <sec id="sec5">
      <title>5. 定理</title>
      <p>定理1：(<inline-formula><mml:math display="inline"><mml:mi> Z </mml:mi></mml:math></inline-formula> 素数的判定方法)</p>
      <p>设<inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mi> q </mml:mi><mml:mi> p </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mn> 2 </mml:mn><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≡ </mml:mo><mml:mi> Z </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> p </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 为奇素数，<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 为<inline-formula><mml:math display="inline"><mml:mi> Z </mml:mi></mml:math></inline-formula> 素数的充分必要条件为</p>
      <disp-formula id="FD7">
        <mml:math>
          <mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mfrac>
                    <mml:mrow>
                      <mml:mi>p</mml:mi>
                      <mml:mo>−</mml:mo>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>≡</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≡</mml:mo>
            <mml:mi>Z</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>p</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>证：必要条件：</p>
      <p>根据引理2，当<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> a </mml:mi><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> 时，</p>
      <disp-formula id="FD8">
        <mml:math>
          <mml:mrow>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>a</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msup>
                <mml:mo>−</mml:mo>
                <mml:mi>a</mml:mi>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:mfrac>
            <mml:mo>≡</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mn>2</mml:mn>
                      <mml:mrow>
                        <mml:mi>p</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:msup>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:mfrac>
            <mml:mo>≡</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mrow>
              <mml:mo>[</mml:mo>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mn>2</mml:mn>
                    <mml:mi>k</mml:mi>
                  </mml:mrow>
                  <mml:mi>p</mml:mi>
                </mml:mfrac>
              </mml:mrow>
              <mml:mo>]</mml:mo>
            </mml:mrow>
            <mml:mo>≡</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mrow>
                      <mml:mi>p</mml:mi>
                      <mml:mo>+</mml:mo>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>p</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>当<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 为<inline-formula><mml:math display="inline"><mml:mi> Z </mml:mi></mml:math></inline-formula> 素数时，因</p>
      <disp-formula id="FD9">
        <mml:math display="inline">
          <mml:mrow>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mn>2</mml:mn>
                  <mml:mrow>
                    <mml:mi>p</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:msup>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:mfrac>
            <mml:mo>≡</mml:mo>
            <mml:mi>Z</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>p</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD10">
        <mml:math>
          <mml:mrow>
            <mml:mfrac>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mn>2</mml:mn>
                      <mml:mrow>
                        <mml:mi>p</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:msup>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:mfrac>
            <mml:mo>≡</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mrow>
                      <mml:mi>p</mml:mi>
                      <mml:mo>+</mml:mo>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>≡</mml:mo>
            <mml:mi>Z</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>p</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>再根据引理1可得</p>
      <disp-formula id="FD11">
        <mml:math>
          <mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mfrac>
                    <mml:mrow>
                      <mml:mi>p</mml:mi>
                      <mml:mo>−</mml:mo>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>≡</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>充分条件：</p>
      <p>若<inline-formula><mml:math display="inline"><mml:mrow><mml:mo> − </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:mstyle displaystyle="true"><mml:munderover><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> k </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mrow><mml:mfrac><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:munderover><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> k </mml:mi></mml:mfrac></mml:mrow></mml:mstyle><mml:mo> ≡ </mml:mo><mml:mi> Z </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> p </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> ，则<inline-formula><mml:math display="inline"><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:mstyle displaystyle="true"><mml:munderover><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> k </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mrow><mml:mfrac><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:munderover><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> k </mml:mi></mml:mfrac></mml:mrow></mml:mstyle><mml:mo> = </mml:mo><mml:mstyle displaystyle="true"><mml:munderover><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> k </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mrow><mml:mfrac><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:munderover><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> k </mml:mi></mml:mrow></mml:mfrac></mml:mrow></mml:mstyle><mml:mo> ≡ </mml:mo><mml:mo> − </mml:mo><mml:mi> Z </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> p </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> ，</p>
      <p>根据引理1可知，<inline-formula><mml:math display="inline"><mml:mrow><mml:mstyle displaystyle="true"><mml:munderover><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> k </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mrow><mml:mfrac><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:munderover><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> k </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:mfrac></mml:mrow></mml:mstyle><mml:mo> ≡ </mml:mo><mml:mstyle displaystyle="true"><mml:munderover><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> k </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:munderover><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> k </mml:mi></mml:mfrac><mml:mo> − </mml:mo><mml:mstyle displaystyle="true"><mml:munderover><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> k </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mrow><mml:mfrac><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:munderover><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> k </mml:mi></mml:mrow></mml:mfrac></mml:mrow></mml:mstyle></mml:mrow></mml:mstyle><mml:mo> ≡ </mml:mo><mml:mi> Z </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> p </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> ，根据引理3，可推得</p>
      <disp-formula id="FD12">
        <mml:math>
          <mml:mrow>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mo>−</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mi>k</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
                <mml:mo>≡</mml:mo>
                <mml:mstyle displaystyle="true">
                  <mml:munderover>
                    <mml:mo>∑</mml:mo>
                    <mml:mrow>
                      <mml:mi>k</mml:mi>
                      <mml:mo>=</mml:mo>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mrow>
                          <mml:mi>p</mml:mi>
                          <mml:mo>−</mml:mo>
                          <mml:mn>1</mml:mn>
                        </mml:mrow>
                        <mml:mn>2</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                  </mml:munderover>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mn>1</mml:mn>
                      <mml:mrow>
                        <mml:mn>2</mml:mn>
                        <mml:mi>k</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:mfrac>
                    <mml:mo>+</mml:mo>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mo>−</mml:mo>
                        <mml:mstyle displaystyle="true">
                          <mml:munderover>
                            <mml:mo>∑</mml:mo>
                            <mml:mrow>
                              <mml:mi>k</mml:mi>
                              <mml:mo>=</mml:mo>
                              <mml:mn>1</mml:mn>
                            </mml:mrow>
                            <mml:mrow>
                              <mml:mfrac>
                                <mml:mrow>
                                  <mml:mi>p</mml:mi>
                                  <mml:mo>−</mml:mo>
                                  <mml:mn>1</mml:mn>
                                </mml:mrow>
                                <mml:mn>2</mml:mn>
                              </mml:mfrac>
                            </mml:mrow>
                          </mml:munderover>
                          <mml:mrow>
                            <mml:mfrac>
                              <mml:mn>1</mml:mn>
                              <mml:mrow>
                                <mml:mn>2</mml:mn>
                                <mml:mi>k</mml:mi>
                              </mml:mrow>
                            </mml:mfrac>
                          </mml:mrow>
                        </mml:mstyle>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>≡</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mn>2</mml:mn>
                      <mml:mrow>
                        <mml:mi>p</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:msup>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:mfrac>
            <mml:mo>≡</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>Z</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>p</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>由上可得<inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mi> q </mml:mi><mml:mi> p </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mn> 2 </mml:mn><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mfrac><mml:mrow><mml:msup><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mi> p </mml:mi></mml:mfrac><mml:mo> ≡ </mml:mo><mml:mi> Z </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> p </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 此说明<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 为<inline-formula><mml:math display="inline"><mml:mi> Z </mml:mi></mml:math></inline-formula> 素数。</p>
      <p>推论：<inline-formula><mml:math display="inline"><mml:mi> p </mml:mi></mml:math></inline-formula> 为伟伊列治素数，当且仅当<inline-formula><mml:math display="inline"><mml:mrow><mml:mstyle displaystyle="true"><mml:munderover><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> k </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mrow><mml:mfrac><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:munderover><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> k </mml:mi></mml:mfrac></mml:mrow></mml:mstyle><mml:mo> ≡ </mml:mo><mml:mn> 0 </mml:mn><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> p </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 。</p>
      <p>定理2：设<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> p </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> 为奇素数，则</p>
      <disp-formula id="FD13">
        <mml:math>
          <mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mn>2</mml:mn>
              <mml:mn>3</mml:mn>
            </mml:mfrac>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>[</mml:mo>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mrow>
                          <mml:mi>p</mml:mi>
                          <mml:mo>−</mml:mo>
                          <mml:mn>1</mml:mn>
                        </mml:mrow>
                        <mml:mn>3</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                    <mml:mo>]</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>≡</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>3</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>p</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>证：根据引理2知：<inline-formula><mml:math display="inline"><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mi> a </mml:mi><mml:mi> p </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mi> a </mml:mi></mml:mrow><mml:mi> p </mml:mi></mml:mfrac><mml:mo> ≡ </mml:mo><mml:mstyle displaystyle="true"><mml:munderover><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> k </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:munderover><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> k </mml:mi></mml:mfrac></mml:mrow></mml:mstyle><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:mfrac><mml:mrow><mml:mi> k </mml:mi><mml:mi> a </mml:mi></mml:mrow><mml:mi> p </mml:mi></mml:mfrac></mml:mrow><mml:mo> ] </mml:mo></mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> p </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 当<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> a </mml:mi><mml:mo> = </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> 时可得</p>
      <disp-formula id="FD14">
        <mml:math>
          <mml:mrow>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mn>3</mml:mn>
                  <mml:mi>p</mml:mi>
                </mml:msup>
                <mml:mo>−</mml:mo>
                <mml:mn>3</mml:mn>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:mfrac>
            <mml:mo>≡</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mrow>
                    <mml:mo>[</mml:mo>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mrow>
                          <mml:mi>p</mml:mi>
                          <mml:mo>−</mml:mo>
                          <mml:mn>1</mml:mn>
                        </mml:mrow>
                        <mml:mn>3</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                    <mml:mo>]</mml:mo>
                  </mml:mrow>
                  <mml:mo>+</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>[</mml:mo>
                        <mml:mrow>
                          <mml:mfrac>
                            <mml:mrow>
                              <mml:mi>p</mml:mi>
                              <mml:mo>−</mml:mo>
                              <mml:mn>1</mml:mn>
                            </mml:mrow>
                            <mml:mn>3</mml:mn>
                          </mml:mfrac>
                        </mml:mrow>
                        <mml:mo>]</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>+</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mrow>
                    <mml:mo>[</mml:mo>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mrow>
                          <mml:mi>p</mml:mi>
                          <mml:mo>−</mml:mo>
                          <mml:mn>1</mml:mn>
                        </mml:mrow>
                        <mml:mn>3</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                    <mml:mo>]</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>2</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>p</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>因<inline-formula><mml:math display="inline"><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> a </mml:mi></mml:mfrac><mml:mo> + </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mi> a </mml:mi></mml:mrow></mml:mfrac><mml:mo> ≡ </mml:mo><mml:mn> 0 </mml:mn><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> p </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> ，所以<inline-formula><mml:math><mml:mrow><mml:mstyle displaystyle="true"><mml:munderover><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> k </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:mfrac><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mn> 3 </mml:mn></mml:mfrac></mml:mrow><mml:mo> ] </mml:mo></mml:mrow><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:mfrac><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mn> 3 </mml:mn></mml:mfrac></mml:mrow><mml:mo> ] </mml:mo></mml:mrow><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:munderover><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> k </mml:mi></mml:mfrac></mml:mrow></mml:mstyle><mml:mo> ≡ </mml:mo><mml:mn> 0 </mml:mn><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> p </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 。<inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mrow><mml:msup><mml:mn> 3 </mml:mn><mml:mi> p </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 3 </mml:mn></mml:mrow><mml:mi> p </mml:mi></mml:mfrac><mml:mo> ≡ </mml:mo><mml:mstyle displaystyle="true"><mml:munderover><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> k </mml:mi><mml:mo> = </mml:mo><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:mfrac><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mn> 3 </mml:mn></mml:mfrac></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:munderover><mml:mrow><mml:mfrac><mml:mn> 2 </mml:mn><mml:mi> k </mml:mi></mml:mfrac></mml:mrow></mml:mstyle><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> p </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 。</p>
      <p>根据引理1有</p>
      <disp-formula id="FD15">
        <mml:math>
          <mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mn>3</mml:mn>
                  <mml:mi>p</mml:mi>
                </mml:msup>
                <mml:mo>−</mml:mo>
                <mml:mn>3</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:mi>p</mml:mi>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>≡</mml:mo>
            <mml:mo>−</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mrow>
                    <mml:mo>[</mml:mo>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mrow>
                          <mml:mi>p</mml:mi>
                          <mml:mo>−</mml:mo>
                          <mml:mn>1</mml:mn>
                        </mml:mrow>
                        <mml:mn>3</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                    <mml:mo>]</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>≡</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>−</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mrow>
                    <mml:mo>[</mml:mo>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mrow>
                          <mml:mi>p</mml:mi>
                          <mml:mo>−</mml:mo>
                          <mml:mn>1</mml:mn>
                        </mml:mrow>
                        <mml:mn>3</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                    <mml:mo>]</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>≡</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>[</mml:mo>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mrow>
                          <mml:mi>p</mml:mi>
                          <mml:mo>−</mml:mo>
                          <mml:mn>1</mml:mn>
                        </mml:mrow>
                        <mml:mn>3</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                    <mml:mo>]</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>p</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>所以<inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mfrac><mml:mn> 2 </mml:mn><mml:mn> 3 </mml:mn></mml:mfrac><mml:mstyle displaystyle="true"><mml:munderover><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> k </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mrow><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:mfrac><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mn> 3 </mml:mn></mml:mfrac></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:munderover><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> k </mml:mi></mml:mfrac></mml:mrow></mml:mstyle><mml:mo> ≡ </mml:mo><mml:msub><mml:mi> q </mml:mi><mml:mi> p </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mn> 3 </mml:mn><mml:mo> ) </mml:mo></mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> p </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> . </mml:mo></mml:mrow></mml:math></inline-formula></p>
      <p>定理3：</p>
      <p>设<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> n </mml:mi><mml:mo> = </mml:mo><mml:msub><mml:mi> a </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:msub><mml:mi> a </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> ⋯ </mml:mo><mml:msub><mml:mi> a </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mi> j </mml:mi></mml:msub><mml:mo> ∈ </mml:mo><mml:mi> N </mml:mi></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> j </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> 。<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> m </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math display="inline"><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> m </mml:mi><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ，则</p>
      <disp-formula id="FD16">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mo>⋯</mml:mo>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>a</mml:mi>
                <mml:mmultiscripts>
                  <mml:mrow>
                  </mml:mrow>
                  <mml:mprescripts />
                  <mml:mi>i</mml:mi>
                  <mml:none />
                </mml:mmultiscripts>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>m</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>证：<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> a </mml:mi><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> φ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> m </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:msubsup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> a </mml:mi><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> φ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> m </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:msubsup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msup><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:msub><mml:mi> a </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mi> φ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> m </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn><mml:mo> − </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> a </mml:mi><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> φ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> m </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:msubsup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> − </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> a </mml:mi><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> φ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> m </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:msubsup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> ，</p>
      <p>故<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> q </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:msub><mml:mi> a </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> − </mml:mo><mml:msub><mml:mi> q </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> − </mml:mo><mml:msub><mml:mi> q </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mfrac><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> a </mml:mi><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> φ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> m </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:msubsup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> a </mml:mi><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> φ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> m </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:msubsup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mi> m </mml:mi></mml:mfrac><mml:mo> ≡ </mml:mo><mml:mn> 0 </mml:mn><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> m </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> . </mml:mo></mml:mrow></mml:math></inline-formula></p>
      <disp-formula id="FD17">
        <label>(1)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≡</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>m</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>根据(1)可得</p>
      <disp-formula id="FD18">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>a</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                    <mml:msub>
                      <mml:mi>a</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≡</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≡</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>m</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>同理可得</p>
      <disp-formula id="FD19">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msub>
                <mml:mo>⋯</mml:mo>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≡</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mo>⋯</mml:mo>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>m</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>推论<inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> a </mml:mi><mml:mrow><mml:mi> φ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> m </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mi> k </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≡ </mml:mo><mml:mi> k </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> a </mml:mi><mml:mrow><mml:mi> φ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> m </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:msup><mml:mi> m </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> . </mml:mo></mml:mrow></mml:math></inline-formula></p>
      <p>定理4：</p>
      <p>设<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> n </mml:mi><mml:mo> = </mml:mo><mml:mfrac><mml:mi> a </mml:mi><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:msub><mml:mi> a </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> ⋯ </mml:mo><mml:msub><mml:mi> a </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> a </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> N </mml:mi></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mi> j </mml:mi></mml:msub><mml:mo> ∈ </mml:mo><mml:mi> N </mml:mi></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> j </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> 。<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> m </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math display="inline"><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> m </mml:mi><mml:mo> , </mml:mo><mml:mi> a </mml:mi><mml:mo> × </mml:mo><mml:msub><mml:mi> a </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:msub><mml:mi> a </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> ⋯ </mml:mo><mml:msub><mml:mi> a </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ，</p>
      <p>则</p>
      <disp-formula id="FD20">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>a</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mo>⋯</mml:mo>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>a</mml:mi>
                <mml:mmultiscripts>
                  <mml:mrow>
                  </mml:mrow>
                  <mml:mprescripts />
                  <mml:mi>i</mml:mi>
                  <mml:none />
                </mml:mmultiscripts>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>m</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>证：因<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> a </mml:mi><mml:mo> = </mml:mo><mml:mi> n </mml:mi><mml:mo> × </mml:mo><mml:msub><mml:mi> a </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:msub><mml:mi> a </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> ⋯ </mml:mo><mml:msub><mml:mi> a </mml:mi><mml:mi> j </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> ，根据定理4知：</p>
      <disp-formula id="FD21">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>a</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≡</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mo>⋯</mml:mo>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>m</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>所以<inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mi> q </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> n </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≡ </mml:mo><mml:msub><mml:mi> q </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> a </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> − </mml:mo><mml:msub><mml:mi> q </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> − </mml:mo><mml:msub><mml:mi> q </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> − </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> − </mml:mo><mml:msub><mml:mi> q </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> m </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 。</p>
    </sec>
    <sec id="sec6">
      <title>6. 猜想</title>
      <p>猜想1：</p>
      <p>设<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> m </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> 为奇数，则</p>
      <disp-formula id="FD22">
        <mml:math>
          <mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mtable columnalign="left">
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                        <mml:mi>k</mml:mi>
                        <mml:mo>=</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>,</mml:mo>
                            <mml:mi>m</mml:mi>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                        <mml:mo>=</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mrow>
                  <mml:mfrac>
                    <mml:mrow>
                      <mml:mi>m</mml:mi>
                      <mml:mo>−</mml:mo>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>≡</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>m</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>根据猜想1</p>
      <p><inline-formula><mml:math display="inline"><mml:mrow><mml:mi> m </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> 为奇数，<inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mi> q </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mn> 2 </mml:mn><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≡ </mml:mo><mml:mn> 0 </mml:mn><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> mod </mml:mi><mml:mi> m </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> ，当且仅当</p>
      <disp-formula id="FD23">
        <mml:math>
          <mml:mrow>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mtable columnalign="left">
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                        <mml:mi>k</mml:mi>
                        <mml:mo>=</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>,</mml:mo>
                            <mml:mi>m</mml:mi>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                        <mml:mo>=</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mrow>
                  <mml:mfrac>
                    <mml:mrow>
                      <mml:mi>m</mml:mi>
                      <mml:mo>−</mml:mo>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>≡</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>m</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>以下给出了具有上述性质的数<inline-formula><mml:math display="inline"><mml:mi> m </mml:mi></mml:math></inline-formula> ：</p>
      <disp-formula id="FD24">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD25">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD26">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>13</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD27">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>13</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD28">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD29">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD30">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>13</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD31">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>13</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD32">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD33">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD34">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD35">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>13</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD36">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD37">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>13</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD38">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>13</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD39">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>13</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD40">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mn>13</mml:mn>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD41">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mn>13</mml:mn>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD42">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mn>13</mml:mn>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD43">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mn>3</mml:mn>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mn>13</mml:mn>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>×</mml:mo>
            <mml:mn>1093</mml:mn>
            <mml:mo>×</mml:mo>
            <mml:mn>3511</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>共104个<inline-formula><mml:math display="inline"><mml:mi> m </mml:mi></mml:math></inline-formula> 适合：</p>
      <disp-formula id="FD44">
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mi>φ</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>m</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:msup>
            <mml:mo>≡</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:msup>
                  <mml:mi>m</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>是否还有这样的数<inline-formula><mml:math display="inline"><mml:mi> m </mml:mi></mml:math></inline-formula> ，目前不能确定。</p>
      <p>猜想2</p>
      <p>设<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> m </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> 为整数，<inline-formula><mml:math display="inline"><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> m </mml:mi><mml:mo> , </mml:mo><mml:mn> 3 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ，则</p>
      <disp-formula id="FD45">
        <mml:math>
          <mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mn>2</mml:mn>
              <mml:mn>3</mml:mn>
            </mml:mfrac>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mtable columnalign="left">
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                        <mml:mi>k</mml:mi>
                        <mml:mo>=</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>,</mml:mo>
                            <mml:mi>m</mml:mi>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                        <mml:mo>=</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>[</mml:mo>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mrow>
                          <mml:mi>m</mml:mi>
                          <mml:mo>−</mml:mo>
                          <mml:mn>1</mml:mn>
                        </mml:mrow>
                        <mml:mn>3</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                    <mml:mo>]</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>k</mml:mi>
                </mml:mfrac>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>≡</mml:mo>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>3</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>mod</mml:mi>
                <mml:mi>m</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
    </sec>
    <sec id="sec7">
      <title>Appendix 1. Abstract and Keywords in Chinese</title>
      <p><bold>一类特殊素数的判定方法</bold></p>
      <p><bold>摘要</bold>：寻找新的伟伊列治素数是一件很困难的事情，本文利用Eisenstein同余式和孙智宏同余式等定理得出了对一类特殊素数的判定方法。本文还对Fermat商和Euler商进行了研究。</p>
      <p><bold>关键词</bold>：伟伊列治素数，判定方法，充分和必要条件，Fermat商，Euler商</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">孙智宏. 数和数列[M]. 北京: 科学出版社, 2016: 108-109.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>孙智宏</string-name>
            </person-group>
            <year>2016</year>
            <article-title>数和数列</article-title>
            <source>北京: 科学出版社</source>
            <fpage>108</fpage>
            <lpage>109</lpage>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">P.里本伯姆. 博大精深的素数[M]. 北京: 科学出版社, 2007: 20.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>P</string-name>
            </person-group>
            <year>2007</year>
            <article-title>里本伯姆. 博大精深的素数</article-title>
            <source>北京: 科学出版社</source>
            <fpage>20</fpage>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>