有關(guān)奇虧完全數(shù)的一些刻畫

張四保

(1. 喀什大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 新疆 喀什 844000; 2. 喀什大學(xué) 現(xiàn)代數(shù)學(xué)及其應(yīng)用研究中心, 新疆 喀什 844000)

對(duì)于正整數(shù)n,令函數(shù)σ(n)表示n的所有正因數(shù)的和函數(shù).在數(shù)論中,存在與函數(shù)σ(n)相關(guān)的眾多問題.若一個(gè)正整數(shù)n滿足σ(n)=2n,則n被稱之為完全數(shù).到目前為止僅發(fā)現(xiàn)51個(gè)偶完全數(shù),而尚未發(fā)現(xiàn)奇完全數(shù).奇完全數(shù)的存在性是數(shù)論中長(zhǎng)期未能解決的著名難題[1].有關(guān)奇完全數(shù)的最新研究可見文獻(xiàn)[2-4].若一個(gè)正整數(shù)n滿足σ(n)=2n+d,則n被稱之為盈度為d的盈完全數(shù);若一個(gè)正整數(shù)n滿足σ(n)=2n-d,則n被稱之為虧度為d的虧完全數(shù),這里的d都是正整數(shù)n的真因數(shù).盈度為d的盈完全數(shù)與虧度為d的虧完全數(shù)備受數(shù)論愛好者的關(guān)注,與此相關(guān)有很多未解決的問題[5].

對(duì)于盈完全數(shù)的研究可見文獻(xiàn)[6-7].同樣,對(duì)于奇虧完全數(shù)存在性問題有著不少的研究,獲得了很豐富的研究成果.Tang等[8]討論了素因數(shù)個(gè)數(shù)不超過2個(gè)的虧完全數(shù)的存在性問題,刻畫了其結(jié)構(gòu);馮敏[5]與Tang等[9]討論了具有3個(gè)互異素因數(shù)的奇虧完全數(shù)的存在性問題,證明了不存在具有3個(gè)互異素因數(shù)的奇虧完全數(shù);張四保等[10]、Cui等[11]及馬小艷等[12]討論具有4個(gè)互異素因數(shù)的奇虧完全數(shù)的存在性問題,各自給出了具有4個(gè)互異素因數(shù)的奇虧完全數(shù)的某些刻畫;張四保[13]討論具有5個(gè)互異素因數(shù)的奇虧完全數(shù)的存在性問題,給出了具有5個(gè)互異素因數(shù)的奇虧完全數(shù)的某些刻畫.本文在相關(guān)文獻(xiàn)的研究基礎(chǔ)上,繼續(xù)討論具有5個(gè)互異素因數(shù)的奇虧完全數(shù)的存在性問題,給出具有5個(gè)互異素因數(shù)的奇虧完全數(shù)的一些刻畫.

1 幾個(gè)基本引理

得出矛盾.

2 結(jié)論及其證明

證明此時(shí),若q4≥53,則有

得出矛盾.因而q5∈{53,59,61}.

得出矛盾.

(1)

令

由式(1)可得

F1(α1,α2,α3,α4,α5)=G1(α1,α2,α3,α4,α5)

(2)

當(dāng)α1≥6,q5=53時(shí),有

因而有F1(α1,α2,α3,α4,α5)>G1(α1,α2,α3,α4,α5),這與式(2)不符.

當(dāng)α1≥6,q5=59時(shí),有

因而有F1(α1,α2,α3,α4,α5)>G1(α1,α2,α3,α4,α5),這與式(2)不符.

當(dāng)α1≥6,q5=61時(shí),有

F1(α1,α2,α3,α4,α5)=

G1(α1,α2,α3,α4,α5)=

0.999 342…

因而有F1(α1,α2,α3,α4,α5)>G1(α1,α2,α3,α4,α5),這與式(2)不符.

定理1證畢.

1) 當(dāng)q4=43時(shí),若q5∈{47,53,59,61,67,71,73},則n不是奇虧完全數(shù);

2) 當(dāng)q4=47,則n不是奇虧完全數(shù).

證明此時(shí),若q4≥53,則有

得出矛盾.因而q4∈{43,47}.

得出矛盾.因而q5∈{47,53,59,61,67,71,73,79}.

得出矛盾.

(3)

令

由式(3)可得

F2(α1,α2,α3,α4,α5)=G2(α1,α2,α3,α4,α5)

(4)

當(dāng)α1≥6,q5=47時(shí),有

因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.

當(dāng)α1≥6,q5=53時(shí),有

因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.

當(dāng)α1≥6,q5=59時(shí),有

因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.

當(dāng)α1≥6,q5=61時(shí),有

因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.

當(dāng)α1≥6,q5=67時(shí),有

因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.

當(dāng)α1≥6,q5=71時(shí),有

因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.

當(dāng)α1≥6,q5=73時(shí),有

因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.

得出矛盾.因而q5∈{53,59,61,67}.

得出矛盾.

(5)

令

由式(5)可得

F3(α1,α2,α3,α4,α5)=G3(α1,α2,α3,α4,α5)

(6)

當(dāng)α1≥6,q5=53時(shí),有

因而有F3(α1,α2,α3,α4,α5)>G3(α1,α2,α3,α4,α5),這與式(6)不符.

當(dāng)α1≥6,q5=59時(shí),有

因而有F3(α1,α2,α3,α4,α5)>G3(α1,α2,α3,α4,α5),這與式(6)不符.

當(dāng)α1≥6,q5=61時(shí),有

因而有F3(α1,α2,α3,α4,α5)>G3(α1,α2,α3,α4,α5),這與式(6)不符.

當(dāng)α1=6,q5=67時(shí),有

σ(3α1)=1 093|σ(3α123α241α347α467α5)

由式(5)可得1 093|5×3α1-123α241α347α467α5,這是矛盾的式子.

當(dāng)α1=8,q5=67時(shí),有

σ(3α1)=9 841=13×757|σ(3α123α241α347α467α5)

由式(5)可得13×757|5×3α1-123α241α347α467α5,這是矛盾的式子.

當(dāng)α1≥10,q5=67時(shí),

F3(α1,α2,α3,α4,α5)=

G3(α1,α2,α3,α4,α5)=

0.999 672…

因而有F3(α1,α2,α3,α4,α5)>G3(α1,α2,α3,α4,α5),這與式(6)不符.

定理2證畢.

1) 當(dāng)q4=41時(shí),若q5∈{43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109},則n不是奇虧完全數(shù);

2) 當(dāng)q4∈{43,47,53,59}時(shí),n不是奇虧完全數(shù).

證明此時(shí),若q4≥61,則有

得出矛盾.因而q4∈{41,43,47,53,59}.

得出矛盾.因而q5∈{43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113}.

得出矛盾.

(7)

令

由式(7)可得

F4(α1,α2,α3,α4,α5)=G4(α1,α2,α3,α4,α5)

(8)

當(dāng)α1≥6,q5∈{43,47,53,59,61,67,71,73,79,83,89,97,101,103}時(shí),經(jīng)計(jì)算有F4(α1,α2,α3,α4,α5)>G4(α1,α2,α3,α4,α5)這與式(8)不符.

當(dāng)α1=6,q5=107時(shí),有

σ(3α1)=1 093|σ(3α123α237α341α4107α5)

由式(7)可得1 093|5×3α1-123α237α341α4107α5,這是矛盾的式子.

當(dāng)α1=8,q5=107時(shí),有

σ(3α1)=9 841=13×757|σ(3α123α237α341α4107α5)

由式(7)可得13×757|5×3α1-123α237α341α4107α5,這是矛盾的式子.

當(dāng)α1≥10,q5=107時(shí),有

因而有F4(α1,α2,α3,α4,α5)>G4(α1,α2,α3,α4,α5),這與式(8)不符.

當(dāng)α1=6,q5=109時(shí),有

σ(3α1)=1 093|σ(3α123α237α341α4109α5)

由式(7)可得1 093|5×3α1-123α237α341α4109α5,這是矛盾的式子.

當(dāng)α1=8,q5=109時(shí),有

σ(3α1)=9 841=13×757|σ(3α123α237α341α4109α5)

由式(7)可得13×757|5×3α1-123α237α341α4109α5,這是矛盾的式子.

當(dāng)α1≥10,q5=109時(shí),有

因而有F4(α1,α2,α3,α4,α5)>G4(α1,α2,α3,α4,α5),這與式(8)不符.

得出矛盾.因而q5∈{47,53,59,61,67,71,73,79,83,89,97}.

得出矛盾.

(9)

令

由式(9)可得

F5(α1,α2,α3,α4,α5)=G5(α1,α2,α3,α4,α5)

(10)

當(dāng)α1≥6,q5∈{47,53,59,61,67,71,73,79,83,89}時(shí),經(jīng)計(jì)算有

F5(α1,α2,α3,α4,α5)>G5(α1,α2,α3,α4,α5)

這與式(10)不符.

當(dāng)α1=6,q5=97時(shí),有

σ(3α1)=1 093|σ(3α123α237α343α497α5)

由式(9)可得1 093|5×3α1-123α237α343α497α5,這是矛盾的式子.

當(dāng)α1=8,q5=97時(shí),有

σ(3α1)=9 841=13×757|σ(3α123α237α343α497α5)

由式(9)可得13×757|5×3α1-123α237α343α497α5,這是矛盾的式子.

當(dāng)α1≥10,q5=97時(shí),有

因而有F5(α1,α2,α3,α4,α5)>G5(α1,α2,α3,α4,α5),這與式(10)不符.

得出矛盾.因而q5∈{53,59,61,67,71,73,79,83}.

得出矛盾.

(11)

令

由式(11)可得

F6(α1,α2,α3,α4,α5)=G6(α1,α2,α3,α4,α5)

(12)

當(dāng)α1≥6,q5∈{53,59,61,67,71,73,79}時(shí),經(jīng)計(jì)算有F6(α1,α2,α3,α4,α5)>G6(α1,α2,α3,α4,α5),這與式(12)不符.

當(dāng)α1=6,q5=83時(shí),有

σ(3α1)=1093|σ(3α123α237α347α483α5)

由式(11)可得1 093|5×3α1-123α237α347α483α5,這是矛盾的式子.

當(dāng)α1=8,q5=83時(shí),有

σ(3α1)=9 841=13×757|σ(3α123α237α347α483α5)

由式(11)可得13×757|5×3α1-123α237α347α483α5,這是矛盾的式子.

當(dāng)α1=10,q5=83時(shí),有σ(3α1)=88 573=23×3 851|σ(3α123α237α347α483α5),由式(11)可得23×3 851|5×3α1-123α237α347α483α5,這是矛盾的式子.

當(dāng)α1≥12,q5=83時(shí),有

因而有F6(α1,α2,α3,α4,α5)>G6(α1,α2,α3,α4,α5),這與式(12)不符.

得出矛盾.因而q5∈{59,61,67}.

得出矛盾.

(13)

令

由式(13)可得

F7(α1,α2,α3,α4,α5)=G7(α1,α2,α3,α4,α5)

(14)

當(dāng)α1≥6,q5=59時(shí),有

因而有F7(α1,α2,α3,α4,α5)>G7(α1,α2,α3,α4,α5),這與式(14)不符.

當(dāng)α1≥6,q5=61時(shí),有

因而有F7(α1,α2,α3,α4,α5)>G7(α1,α2,α3,α4,α5),這與式(14)不符.

當(dāng)α1≥6,q5=67時(shí),有

因而有F7(α1,α2,α3,α4,α5)>G7(α1,α2,α3,α4,α5),這與式(14)不符.

得出矛盾.因而q5=61.

若d=3α′123α′237α′359α′461α′5≥9,其中0≤αi≤α′i,i=1,2,…,5,則有

得出矛盾.

若d=3α′123α′237α′359α′461α′5=3,則α1-α′1=1,αi=α′i,i=2,3,4,5,則由奇虧完全數(shù)的關(guān)系式σ(n)=2n-d可得

σ(3α123α237α359α461α5)=5×3α1-123α237α359α461α5

(15)

當(dāng)α1=2時(shí),σ(32)=13|σ(3223α237α359α461α5),由式(15)可得13|5×3α1-123α237α359α461α5,這是矛盾的式子.

當(dāng)α1=4時(shí),σ(34)=112|σ(3423α237α359α461α5),由式(15)可得112|5×3α1-123α237α359α461α5,這是矛盾的式子.

當(dāng)α1=6時(shí),

σ(36)=1 093|σ(3623α237α359α461α5)

由式(15)可得1 093|5×3α1-123α237α359α461α5,這是矛盾的式子.

當(dāng)α1=8時(shí),

σ(38)=9 841=13×757|σ(3823α237α359α461α5)

由式(15)可得13×757|5×3α1-123α237α359α461α5,這是矛盾的式子.

當(dāng)α1=10時(shí),

由式(15)可得

23×3 851|5×3α1-123α237α359α461α5

這是矛盾的式子.

令

由式(15)可得

F8(α1,α2,α3,α4,α5)=G8(α1,α2,α3,α4,α5)

(16)

當(dāng)α1≥12,q5=61時(shí),有

因而有F8(α1,α2,α3,α4,α5)>G8(α1,α2,α3,α4,α5),這與式(16)不符.

定理3證畢.

3 結(jié)語(yǔ)

對(duì)于奇虧完全數(shù)的研究,截至目前刻畫了具有相異素因數(shù)個(gè)數(shù)不超過2的虧完全數(shù)的結(jié)構(gòu),以及明確了具有3個(gè)相異素因數(shù)的奇虧完全數(shù)的不存在性;同時(shí)也給出了具有多于3個(gè)相異素因數(shù)的奇虧完全數(shù)存在性的某些刻畫,而未解決具有多于3個(gè)相異素因數(shù)的奇虧完全數(shù)存在性的問題.本文利用初等的方法,給出了3類具有5個(gè)相異素因數(shù)的奇正整數(shù)不是奇虧完全數(shù)的幾個(gè)性質(zhì)刻畫,這將有助于討論具有5個(gè)相異素因數(shù)的奇虧完全數(shù)存在性問題.