<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">PM</journal-id><journal-title-group><journal-title>Pure  Mathematics</journal-title></journal-title-group><issn pub-type="epub">2160-7583</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.12677/PM.2019.93056</article-id><article-id pub-id-type="publisher-id">PM-30363</article-id><article-categories><subj-group subj-group-type="heading"><subject>PM20190300000_12172565.pdf</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>数学与物理</subject></subj-group></article-categories><title-group><article-title>
 
 
  证明无奇完全数
  Proof of No Odd Complete Number
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>邹</surname><given-names>山中</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>null</addr-line></aff><aff id="aff2"><label>1</label><addr-line>广东 广州</addr-line></aff><pub-date pub-type="epub"><day>05</day><month>05</month><year>2019</year></pub-date><volume>09</volume><issue>03</issue><fpage>417</fpage><lpage>420</lpage><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  
    设奇数Q = 2N + 1，将N称为奇数Q的奇体，通过对N的分析证明了不存在奇完全数。
    The odd number is Q, Q = 2N + 1, and N is called odd element of Q. Through the analysis of N, it is proved that there is no odd complete number. 
  
 
</p></abstract><kwd-group><kwd>奇体，奇合数体, Ontology of Odd Numbers</kwd><kwd> The Ontology of Compound Odd Numbers</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>证明无奇完全数<sup> </sup></title><p>邹山中</p><p>广东 广州</p><disp-formula id="hanspub.30363-formula62"><graphic xlink:href="//html.hanspub.org/file/26-1250799x5_hanspub.png"  xlink:type="simple"/></disp-formula><p>收稿日期：2019年4月26日；录用日期：2019年5月6日；发布日期：2019年5月22日</p><disp-formula id="hanspub.30363-formula63"><graphic xlink:href="//html.hanspub.org/file/26-1250799x6_hanspub.png"  xlink:type="simple"/></disp-formula></sec><sec id="s2"><title>摘 要</title><p>设奇数Q = 2N + 1，将N称为奇数Q的奇体，通过对N的分析证明了不存在奇完全数。</p><p>关键词 :奇体，奇合数体</p><disp-formula id="hanspub.30363-formula64"><graphic xlink:href="//html.hanspub.org/file/26-1250799x7_hanspub.png"  xlink:type="simple"/></disp-formula><p>Copyright &#169; 2019 by author(s) and Hans Publishers Inc.</p><p>This work is licensed under the Creative Commons Attribution International License (CC BY).</p><p>http://creativecommons.org/licenses/by/4.0/</p><p><img src="//html.hanspub.org/file/26-1250799x8_hanspub.png" /> <img src="//html.hanspub.org/file/26-1250799x9_hanspub.png" /></p></sec><sec id="s3"><title>1. 奇合数体的表示法</title><p>设p是素数，Q与q是奇数，使 Q = p q [<xref ref-type="bibr" rid="hanspub.30363-ref1">1</xref>] ，若 Q = 2 N + 1 ， p = 2 s + 1 ， q = 2 n + 1 ， n ≥ 1 ， N ≥ 1 ，则有 2 N + 1 = ( 2 S + 1 ) ( 2 n + 1 ) ，从而 N = ( 2 S + 1 ) n + s , n ≥ 1 。N称为奇合数体，可得定义1，奇合数体的表示法，</p><p>N = P i n + S i (1)</p></sec><sec id="s4"><title>2. 命题证明</title><p>用反证法，假设存在奇完全数Q， Q = P 1 n 1 p 2 n 2 ⋯ p i n i ⋯ p m m ， n i ≥ 1 ，p是奇完全数Q的素数因子， Q = 2 N + 1 ，把Q分为两个奇数的乘积， Q = P 1 n 1 p 2 n 2 ⋯ p i n i &#215; p i + 1 n i + 1 ⋯ p m m = Q i 1 Q i 2 ，根据奇完全数的定义，有 Q = Q 11 Q 12 = Q 21 Q 22 = ⋯ = Q i 1 Q i 2 = ⋯ = Q t 1 Q t 2 = 1 + ∑ i = 1 t ( Q i 1 + Q i 2 ) ， ( i ≥ 1 , t ≥ 1 ) 。</p><p>设， Q i 1 = 2 N i 1 + 1 , Q i 2 = 2 N i 2 + 1 ，则有 Q = 2 N + 1 = ( 2 N i 1 + 1 ) ( 2 N i 2 + 1 ) 。</p><p>即： Q = 2 N + 1 = 4 N i 1 N i 2 + 2 N i 1 + 2 N i 2 + 1 = 1 + ∑ i = 1 t ( 2 N i 1 + 1 + 2 N i 2 + 1 )</p><p>可得：</p><p>N = 2 N i 1 N i 2 + N i 1 + N i 2 = ∑ i = 1 t ( N i 1 + N i 2 + 1 ) (2)</p><p>(2)式称为奇完全数的奇体表达式。由(2)可得推论一，N为偶数，t也是偶数。</p><p>证：若N为奇数，则 N i 1 + N i 2 为奇数，而 N i 1 + N i 2 + 1 为偶数，左右奇偶不合，故知 N i 1 + N i 2 必为偶数， N i 1 + N i 2 + 1 是奇数，所以t必须是偶数。证明完。</p><p>∵ N ∈ h ，根据定义1， N = p n i + s ，( s = ( p − 1 ) / 2 , n i ≥ 1 )。</p><p>在 Q = P 1 n 1 p 2 n 2 ⋯ p i n i ⋯ p m m 中，设 p 1 是Q中最小的素数，把 N i 1 及 N i 2 分别表为</p><p>N i 1 = p 1 n 1 + k 1 , N i 2 = p 1 n 2 + k 2 , ( n 1 ≥ 0 , n 2 ≥ 0 , 0 ≤ k 1 &lt; p 1 , 0 ≤ k 2 &lt; p 1 )</p><p>N i 1 ， N i 2 可以依据组合 { p 1 n 1 + k 1 , p 1 n 2 + k 2 } 的不同，形成不同表达式。</p><p>将各种组合代入(2)，有</p><p>2 ( p 1 n 1 + k 1 ) ( p 1 n 2 + k 2 ) + p 1 n 1 + k 1 + p 1 n 2 + k 2 = 2 p 1 2 n 1 n 2 + 2 p 1 n 1 k 2 + 2 p 1 n 2 k 1 + 2 k 1 k 2 + p 1 n 1 + k 1 + p 1 n 2 + k 2</p><p>N = p 1 n i + s 1 = p 1 ( 2 p 1 n 1 n 2 + 2 n 2 k 1 + 2 p 1 n 1 k 2 + n 1 + n 2 ) + 2 k 1 k 2 + k 1 + k 2</p><p>上式简化后得：</p><p>N = p 1 n j + 2 k 1 k 2 + k 1 + k 2 = ∑ i = 1 t ( p 1 n 1 + k 1 + p 1 n 2 + k 2 + 1 ) (3)</p><p>要使(3)成立，必须满足 k 2 ( 2 k 1 + 1 ) + k 1 ≡ s 1 mod p 1 [<xref ref-type="bibr" rid="hanspub.30363-ref2">2</xref>] 。</p><p>我们可以得到推论二，在 k 2 ( 2 k 1 + 1 ) + k 1 = p 1 n i + s 1 中， k 1 = s 1 或 k 2 = s 1 ，两者必取其一。</p><p>证， ∵ Q = P 1 n 1 p 2 n 2 ⋯ p i n i ⋯ p m m ，即： Q = p 1 q 1 q 2 ，其中 p 1 和 p 1 q 1 可以表示为 N i 1 = p 1 n 1 + s 1 ， ∴ p 1 n j + 2 k 1 k 2 + k 1 + k 2 = p 1 n u + s 1 证明完。</p><p>我们讨论当 k 1 = s 1 时，<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/26-1250799x61_hanspub.png" xlink:type="simple"/></inline-formula>的取值。</p><p>把 N i 1 = p 1 n 1 + k 1 和 N i 2 = p 1 n 2 + k 2 还原为Q，</p><p>Q i 1 = 2 ( p 1 n 1 + s 1 ) + 1 = p 1 q 1 , Q i 2 = 2 ( p 1 n 2 + k 2 ) + 1 = 2 p 1 n 2 + 2 k 2 + 1 ,</p><p><inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/26-1250799x66_hanspub.png" xlink:type="simple"/></inline-formula>， ∵ Q i 2 是奇数， ∴ 2 p 1 n 2 / ( 2 k 2 + 1 ) 应该是偶数，要使<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/26-1250799x69_hanspub.png" xlink:type="simple"/></inline-formula>是偶数，必须满足以下条件：1) k 2 = s 1 ，有 p 1 / ( 2 k 2 + 1 ) = 1 ， 2) k 2 = 0 有 2 k 2 + 1 = 1 ，3) n 2 = ( 2 k 2 + 1 ) n 有 n 2 / ( 2 k 2 + 1 ) = n ：</p><p>1) k 2 = s 1 ,</p><p>∵ k 1 = s 1 ∴ N = p 1 n i + s 1 = 2 p 1 n j + p 1 s 1 + s 1 = ∑ i = 1 t ( p 1 n 1 + p 1 n 2 + s 1 + s 1 + 1 )</p><p>N p 1 = 2 n j + s 1 + ( s 1 / p 1 ) = ∑ i = 1 t ( n 1 + n 2 + 1 )</p><p>∵ s 1 / p 1 不是整数， ∴ 当 k 1 = s 1 时， k 2 ≠ s 1 。</p><p>因此我们可以得到推论三，在 Q = P 1 n 1 p 2 n 2 ⋯ p i n i ⋯ p m m 中，有 n = 1 ，即 Q = p 1 p 2 ⋯ p i ⋯ p m 。</p><p>证，如果 p i n i , n i &gt; 1 ，则有 Q = p i q 1 p i q 2 ，使得 k 1 = s 1 , k 2 = s 1 .，与推论三矛盾。证明完</p><p>2) k 2 = 0 , k 1 = s 1</p><p>N = p 1 n i + s 1 = ∑ i = 1 t ( p 1 n 1 + p 1 n 2 + s 1 + 1 ) = t ( s 1 + 1 ) + ∑ i = 1 t ( p 1 n 1 + p 1 n 2 )</p><p>∃ ! t ( s 1 + 1 ) ≡ s 1 mod p 1 ，即 t ( s 1 + 1 ) = p 1 n + s 1 ，使等式成立。</p><p>∵ t是偶数，设 t = 2 n t</p><p>2 n t s 1 + 2 n t = 2 n t s 1 + n t + n t = p 1 n t + n t ， ∃ ! n t = p 1 n + s 1 , n ≥ 0 ，满足等式，</p><p>∴ p 1 2 n + p 1 s 1 + p 1 n + s 1 = p 1 n ( p 1 + 1 ) + 2 s 1 s 1 + s 1 + s 1</p><p>N i 1 = p 1 n 1 + s 1 , N i 2 = p 1 n 2 + s 1 ，这样的结果与 k 2 = s 1 相同， ∴ k 1 = s 1 ， k 2 ≠ 0</p><p>3) 在 2 p 1 n 2 / ( 2 k 2 + 1 ) 中， n 2 = ( 2 k 2 + 1 ) n</p><p>∵ p 1 / ( 2 k 2 + 1 ) 不是整数， ∴ n 2 / ( 2 k 2 + 1 ) 必须是整数。</p><p>∵ p 1 是Q中最小的素数， ∴ ( 2 k 2 + 1 ) = p i ， p i &gt; p 1 ， ∴ p 1 n 2 + k 2 可以表示为</p><p>p i n 2 + s i ， s i = k 2 ， s i = ( p i − 1 ) / 2 ， p i 是Q中的素数。</p><p>∵ 0 ≤ k 2 &lt; p 1 , ( 2 k 2 + 1 ) &gt; p 1 , ∴ k 1 &lt; k 2 ≤ 2 k 1 ,</p><p>设 k 1 = m 1 ， k 2 = m 2 ，有 k 2 − k 1 = ( m 2 − m 1 ) = Δ n ，显然 Δ n ≤ m 1 ， k 2 = Δ n + k 1</p><p>(3)有： N = p 1 n i + s 1 = ∑ i = 1 t ( p 1 n 1 + k 1 + p 1 n 2 + k 1 + Δ n + 1 ) = t Δ n + ∑ i = 1 t ( p 1 n 1 + p 1 n 2 + p 1 )</p><p>∃ ! ( t Δ n − s 1 ) / p 1 = n ，即 s 1 ( t Δ n / s 1 − 1 ) / p 1 = n ， ∵ s 1 / p 1 不是整数， ∴ ( t Δ n / s 1 − 1 ) / p 1 必须是整数，如果. Δ n / s 1 是整数，即 k 1 = s 1 , k 2 = 2 s 1 ， ∴ (2)有：</p><p>N = 2 p 1 n j + 2 &#215; 2 s 1 s 1 + 2 s 1 + s 1 = ∑ i = 1 t ( p 1 n 1 + p 1 n 2 + s 1 + 2 s 1 + 1 )</p><p>2 p 1 n j + s 1 ( 4 s 1 + 3 ) = t s 1 + ∑ i = 1 t ( p 1 n 1 + p 1 n 2 + p 1 )</p><p>∃ ! t s 1 = p 1 n + s 1 使得 ( t s 1 + ∑ i = 1 t ( p 1 n 1 + p 1 n 2 + p 1 ) ) ≡ s 1 mod p 1 。</p><p>( t s 1 − s 1 ) / p 1 = n ，即 s 1 ( t − 1 ) / p 1 = n ， ∵ s 1 / p 1 不是整数 ∴ ( t − 1 ) / p 1 = n ，即 t − 1 = p 1 n 。 ∵ Q = p 1 p 2 ⋯ p i ⋯ p m ，用Q中 p i 逐个代入 ∴ t − 1 = p 1 p 2 ⋯ p i ⋯ p m n ，这使得 ∑ i = 1 t ( N i 1 + N i 2 + 1 ) &gt; Q 。 ∴ Δ n ≠ s 1 。</p><p>∵ ( t Δ n / s 1 − 1 ) / p 1 = n ， ∴ t Δ n / s 1 − 1 = p 1 n ， ∵ Δ n / s 1 不是整数， ∴ t / s 1 必须是整数， ∴ t Δ n 在能整除 s 1 , s 2 , ⋯ , s i , ⋯ , s m 的同时， t Δ n s 1 − 1 还必须整除 p i 。</p><p>∴ t &gt; p 1 p 2 ⋯ p i ⋯ p m ，这样便造成 ∑ i = 1 t ( N i 1 + N i 2 + 1 ) &gt; Q ， ∴ 当 k 1 = s 1 时，因 k 2 无法取值，原假设不成立，所以不存在奇完全数。证明完！</p></sec><sec id="s5"><title>文章引用</title><p>邹山中. 证明无奇完全数Proof of No Odd Complete Number[J]. 理论数学, 2019, 09(03): 417-420. https://doi.org/10.12677/PM.2019.93056</p></sec><sec id="s6"><title>参考文献</title></sec></body><back><ref-list><title>References</title><ref id="hanspub.30363-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Gu, C.H. (1992) Mathematics Dictionary. Shanghai Dictionary Press, Shanghai.</mixed-citation></ref><ref id="hanspub.30363-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Min, S.H. (1981) Method of Number Theory. Science Press, Beijing.</mixed-citation></ref></ref-list></back></article>