張四保
(1. 喀什大學(xué) 數(shù)學(xué)與統(tǒng)計學(xué)院, 新疆 喀什 844000; 2. 喀什大學(xué) 現(xiàn)代數(shù)學(xué)及其應(yīng)用研究中心, 新疆 喀什 844000)
對于正整數(shù)n,令函數(shù)σ(n)表示n的所有正因數(shù)的和函數(shù).在數(shù)論中,存在與函數(shù)σ(n)相關(guān)的眾多問題.若一個正整數(shù)n滿足σ(n)=2n,則n被稱之為完全數(shù).到目前為止僅發(fā)現(xiàn)51個偶完全數(shù),而尚未發(fā)現(xiàn)奇完全數(shù).奇完全數(shù)的存在性是數(shù)論中長期未能解決的著名難題[1].有關(guān)奇完全數(shù)的最新研究可見文獻(xiàn)[2-4].若一個正整數(shù)n滿足σ(n)=2n+d,則n被稱之為盈度為d的盈完全數(shù);若一個正整數(shù)n滿足σ(n)=2n-d,則n被稱之為虧度為d的虧完全數(shù),這里的d都是正整數(shù)n的真因數(shù).盈度為d的盈完全數(shù)與虧度為d的虧完全數(shù)備受數(shù)論愛好者的關(guān)注,與此相關(guān)有很多未解決的問題[5].
對于盈完全數(shù)的研究可見文獻(xiàn)[6-7].同樣,對于奇虧完全數(shù)存在性問題有著不少的研究,獲得了很豐富的研究成果.Tang等[8]討論了素因數(shù)個數(shù)不超過2個的虧完全數(shù)的存在性問題,刻畫了其結(jié)構(gòu);馮敏[5]與Tang等[9]討論了具有3個互異素因數(shù)的奇虧完全數(shù)的存在性問題,證明了不存在具有3個互異素因數(shù)的奇虧完全數(shù);張四保等[10]、Cui等[11]及馬小艷等[12]討論具有4個互異素因數(shù)的奇虧完全數(shù)的存在性問題,各自給出了具有4個互異素因數(shù)的奇虧完全數(shù)的某些刻畫;張四保[13]討論具有5個互異素因數(shù)的奇虧完全數(shù)的存在性問題,給出了具有5個互異素因數(shù)的奇虧完全數(shù)的某些刻畫.本文在相關(guān)文獻(xiàn)的研究基礎(chǔ)上,繼續(xù)討論具有5個互異素因數(shù)的奇虧完全數(shù)的存在性問題,給出具有5個互異素因數(shù)的奇虧完全數(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時,有
因而有F1(α1,α2,α3,α4,α5)>G1(α1,α2,α3,α4,α5),這與式(2)不符.
當(dāng)α1≥6,q5=59時,有
因而有F1(α1,α2,α3,α4,α5)>G1(α1,α2,α3,α4,α5),這與式(2)不符.
當(dāng)α1≥6,q5=61時,有
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時,若q5∈{47,53,59,61,67,71,73},則n不是奇虧完全數(shù);
2) 當(dāng)q4=47,則n不是奇虧完全數(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時,有
因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.
當(dāng)α1≥6,q5=53時,有
因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.
當(dāng)α1≥6,q5=59時,有
因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.
當(dāng)α1≥6,q5=61時,有
因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.
當(dāng)α1≥6,q5=67時,有
因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.
當(dāng)α1≥6,q5=71時,有
因而有F2(α1,α2,α3,α4,α5)>G2(α1,α2,α3,α4,α5),這與式(4)不符.
當(dāng)α1≥6,q5=73時,有
因而有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時,有
因而有F3(α1,α2,α3,α4,α5)>G3(α1,α2,α3,α4,α5),這與式(6)不符.
當(dāng)α1≥6,q5=59時,有
因而有F3(α1,α2,α3,α4,α5)>G3(α1,α2,α3,α4,α5),這與式(6)不符.
當(dāng)α1≥6,q5=61時,有
因而有F3(α1,α2,α3,α4,α5)>G3(α1,α2,α3,α4,α5),這與式(6)不符.
當(dāng)α1=6,q5=67時,有
σ(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時,有
σ(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時,
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時,若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}時,n不是奇虧完全數(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}時,經(jīng)計算有F4(α1,α2,α3,α4,α5)>G4(α1,α2,α3,α4,α5)這與式(8)不符.
當(dāng)α1=6,q5=107時,有
σ(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時,有
σ(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時,有
因而有F4(α1,α2,α3,α4,α5)>G4(α1,α2,α3,α4,α5),這與式(8)不符.
當(dāng)α1=6,q5=109時,有
σ(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時,有
σ(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時,有
因而有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}時,經(jīng)計算有
F5(α1,α2,α3,α4,α5)>G5(α1,α2,α3,α4,α5)
這與式(10)不符.
當(dāng)α1=6,q5=97時,有
σ(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時,有
σ(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時,有
因而有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}時,經(jīng)計算有F6(α1,α2,α3,α4,α5)>G6(α1,α2,α3,α4,α5),這與式(12)不符.
當(dāng)α1=6,q5=83時,有
σ(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時,有
σ(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時,有σ(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時,有
因而有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時,有
因而有F7(α1,α2,α3,α4,α5)>G7(α1,α2,α3,α4,α5),這與式(14)不符.
當(dāng)α1≥6,q5=61時,有
因而有F7(α1,α2,α3,α4,α5)>G7(α1,α2,α3,α4,α5),這與式(14)不符.
當(dāng)α1≥6,q5=67時,有
因而有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時,σ(32)=13|σ(3223α237α359α461α5),由式(15)可得13|5×3α1-123α237α359α461α5,這是矛盾的式子.
當(dāng)α1=4時,σ(34)=112|σ(3423α237α359α461α5),由式(15)可得112|5×3α1-123α237α359α461α5,這是矛盾的式子.
當(dāng)α1=6時,
σ(36)=1 093|σ(3623α237α359α461α5)
由式(15)可得1 093|5×3α1-123α237α359α461α5,這是矛盾的式子.
當(dāng)α1=8時,
σ(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時,
由式(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時,有
因而有F8(α1,α2,α3,α4,α5)>G8(α1,α2,α3,α4,α5),這與式(16)不符.
定理3證畢.
對于奇虧完全數(shù)的研究,截至目前刻畫了具有相異素因數(shù)個數(shù)不超過2的虧完全數(shù)的結(jié)構(gòu),以及明確了具有3個相異素因數(shù)的奇虧完全數(shù)的不存在性;同時也給出了具有多于3個相異素因數(shù)的奇虧完全數(shù)存在性的某些刻畫,而未解決具有多于3個相異素因數(shù)的奇虧完全數(shù)存在性的問題.本文利用初等的方法,給出了3類具有5個相異素因數(shù)的奇正整數(shù)不是奇虧完全數(shù)的幾個性質(zhì)刻畫,這將有助于討論具有5個相異素因數(shù)的奇虧完全數(shù)存在性問題.