arxiv:hep-th/ v3 31 May 2008

Transcription

1 RFSC Revsed arxv:hep-th/040105v3 31 May 008 A PROOF OF THE ODD PERFECT NUMBER CONJECTURE Smon Davs Abstract. It s suffcent to prove that there s an excess of prme factors n the product of repunts wth odd prme bases defned by the sum of dvsors of the nteger N = ( +1) 4m+1 =1 qα to estabsh that there do not exst any odd ntegers wth equaty between σ(n) and N. The exstence of dstnct prme dvsors n the repunts n σ(n) foows from a theorem on the prmtve dvsors of the Lucas sequences U α +1(q + 1, q ) and U α +1(q + 1, q ) wth q, q, α + 1, α + 1 beng odd prmes. The occurrence q α +1 of new prme dvsors n each quotent (+1)4m+, q, = 1,..., aso mpes that the square root of the product of ( + 1) and the sequence of repunts w not be ratona uness the prmes are matched. Athough a fnte set of soutons to the ratonaty condton for the exstence of odd perfect numbers s obtaned, t s verfed that they a satsfy σ(n) N because the repunts n the product representng σ(n) ntroduce new prme dvsors. Mnmzaton of the number of prme dvsors n σ(n) eads to an nfnte set of repunts of ncreasng mangtude or prme equatons wth no nteger soutons. It s proven then that there exst no odd perfect numbers. MSC Cass: 11D61, 11K65

2 1. Introducton Whe even perfect numbers were known to be gven by p ( p ), for p prme, the unversaty of ths resut ed to the the probem of characterzng any other possbe types of perfect numbers. It was suggested ntay by Descartes that t was not key that odd ntegers coud be perfect numbers [1]. After the work of de Bessy [3], Euer proved that the condton σ(n) N =, where σ(n) = d N d s the sum-of-dvsors functon, d nteger restrcted odd ntegers to have the form ( + 1) 4m+1 q α q α, wth + 1, q 1,..., q prme [13], and further, that there mght exst no set of prme bases such that the perfect number condton was satsfed. Investgatons of the equaton for the sum of the recprocas of the dvsors of N has ed to ower bounds on the number of dstnct prme dvsors. Ths number has ncreased from four to nne [17][7][33] whe a mnmum of 75 tota prme factors [19] has been estabshed. When 3 N, t was shown that there woud be a mnmum of tweve dfferent prme dvsors [18][4]. It was demonstrated aso that, f 3, 5, 7 N, greater than 6 dstnct prme factors woud be requred [7][8]. In decreasng order, the three argest prme dvsors were bounded beow by [15], [0] and [1] respectvey, whe the east prme dvsor had to be ess than n+6 3 for n dfferent prme factors [16] and exp( ) [34]. Moreover, ether one of the prme powers, ( + 1) 4m+1 or q α for some ndex, was found to be arger than 10 0 [10]. Through the agorthms defned by the sum over recprocas of the dvsors, t has been demonstrated that odd perfect numbers had to be greater than [6]. One of the possbe methods of proof of the odd perfect number conecture s based on the harmonc mean H(N) = τ(n), where τ(n) s the number of nteger dvsors of d N 1 d N. It has been conectured that H(N) s not nteger when n s odd [30]. Ths statement aso woud mpy the nonexstence of odd perfect numbers as the perfect number condton s d N 1 = and τ(n) must be even, snce N s not a perfect square. The use of the d harmonc mean eads agan to the study of the sum of the recprocas of the dvsors, and the vaues of ths sum have ony been approxmated. For exampe, t has been found that there are odd nteger wth fve dfferent prme factors such that σ(n) N < 10 [3]. The unqueness of the prme decomposton of an nteger aows for the comparson between ts magntude and the sum of the dvsors. Snce the sum of the dvsors of an odd =1 q α +1 nteger N = ( + 1) 4m+1 =1 qα by the product (+1)4m+ q, t s suffcent to determne the propertes of the prme factors of the repunts to estabsh that there exst no odd perfect numbers. The rratonaty of [ ( + 1) σ((+1) 4m+1 ) =1 1

3 ] 1 σ(q α ) woud mpy that σ(n) cannot equa N. It has been proven for a arge cass of prmes { + 1; q } and exponents {4m + 1; α } that the ratonaty condton s not satsfed. The rratonaty of the square root of the product of ( +1) and the sequence of repunts s not vad for a sets of prmes and exponents, however, and t s verfed n 4 that the ratonaty condton hods for tweve odd ntegers. The factorzatons of these ntegers have the property that the repunts have prme dvsors whch form nterockng rngs, whereas, n genera, the sequence of prme factors does not cose. The presence of a sequence of prmes of ncreasng magntude prevents any fnte odd nteger from beng a perfect number. To prove that σ(n) N, t s necessary aso to obtan a ower bound for the number of prme dvsors n σ(n). Snce the number of dstnct prme factors of qn q s mnmzed n the cass of repunts wth exponents contanng the prme dvsor p when n = p, the exponent s presumed to be prme throughout the dscusson. It s demonstrated n Theorem 1 that any par of repunts, wth prme bases and exponents satsfyng a gven nequaty, do not have dentca sets of prme dvsors. Then, ether σ(n) has an excess of prme dvsors or constrants must be mposed on { + 1; q } and {4m + 1; α } whch have no nteger souton. The non-exstence of odd perfect numbers aso foows from the sequence of prme factors of ncreasng magntude n the factorzaton of σ(n), when one of three specfed reatons s satsfed, and constrants on the bass and exponents otherwse.. The Exstence of Dfferent Prme Dvsors n the Repunt Factors of the Sum of Dvsors To prove the nonexstence of odd perfect numbers, t sha be demonstrated the product of repunts n the expresson for σ(n) contans an excess of prme dvsors of σ(n), such that the perfect number condton σ(n) = N cannot be satsfed. The exstence of dstnct prme dvsors n the quotents (+1)4m+ and qα+1 q, = 1,..., foows from a theorem on the prme factors of the quotents qα +1 q where q and α + 1 are odd prmes. A restrcton to the east possbe number of dstnct prme factors n a product q α +1 q q α +1 q yeds the three equatons, where the compement has been consdered prevousy [11]. It s shown that the thrd constrant cannot be satsfed f α = α, and a new prme dvsor occurs n one of the repunts f the other two constrants equatons or α α n the thrd condton. If the nequaty q α +1 q qα +1 q (.1) q hods, then ether the sets of prmtve dvsors of qα +1 and q α +1 q are not dentca

4 or the exponents of the prme power dvsors are dfferent, gven that qα +1 q Let q > q. Snce q α +1 q. q α +1 = q q α +1 α +1 q α +1 = qα +1 q α +1 q α +1 q α +1 [( q q ) α +1 (1 + qα +1 q α +1 q α +1 q α q 4α + 1 q α +1 q 4α + )] +... (.) ths equas [ q α +1 ( ) ] α +1 q q α + ǫ +1 q ( ) ( α +1 q q α +1 q α +1 ǫ q q α +1 q α ] [ ] α When q < q < q α +1 (q α α +1 [1+ (α +1) α +1 ), ǫ vaue of the remander term s q 4α qα q α +1 ) (.3) < 1. The exact ǫ qα +1 q α +1 = q α +1 q α +1 q α +1 q α +1 q α +1 (q α +1 ) (.4) whch yeds the aternatve condtons q < q < 1 q α +1 q α +1 α+1 q3 α +1 [q 4α + (q α +1 )+q α +1 q α +1 q α +1 q α +1 (q α +1 ) α +1 α +1 (α +1) α q +1 (α +1) for the remander term to be ess than 1. Snce the entre quotent s ], t can be an nteger or a fracton wth the denomnator ntroductng no new dvsors other than factors of q α ony f q α +1 q α +1 contans a of the dvsors of q α +1, presumng that q α +1 s canceed. Smary, f q < q [ q α +1 (q α +1 ) +1 qα q ] α +1 α +1 [1+ (α +1) α +1 and ], the remander term must be fractona and must have a hgher power of one of the prme dvsors or a dstnct prme dvsor, uness q α +1 has a factor whch s dfferent from the dvsors of q α +1, whch typcay occurs f the odd prmes q, q are suffcenty arge and α, α 1, as q α +1 q α +1 ( q q ) α +1. Exampe 1. Consder the prme dvsors of pars of repunts and the ntegraty of the 3

5 quotents qn q n when q, q and n are odd prmes. The frst exampe of an nteger rato for odd prme bases and exponents s qα +1 q α +1 = = 938, but the quotent 93 9 = ( ) ntroduces a new prme dvsor. For q, q 1, the rato qα +1 α +1 q q α +1 q, whch cannot be nteger for odd prmes q, q, mpyng that one of the repunts, wth α = α, has a new prme dvsor or q α +1 contans a hgher power of one of the prme factors. The atter possbty s excuded because, the numerator and denomnator are rased to the same power n the mt of arge q, q. α +1 Theorem 1. The par of ntegers qα +1 q and q q, q > q do not have dentca sets of prme dvsors f the bases and exponents are odd prmes. Proof. There are three known postve nteger soutons to the exponenta Dophantne equaton xm y n, m, n > 1, 3 = 6 6, 31 = 5 = 53 5 and 8191 = 13 = [14][9][31] and no equates of ths type have been estabshed yet for odd prme bases and exponents. It w be assumed ntay that qα +1 s an evdent consequence of the proof. Let q = p h ph s s (p h ph s s + 1) α+1 p h 1s 1...p h s s (p h p h s s + 1) α +1 p h 1s 1...p h s s q q and q = p h p h s s. Then α +1 q, unt ths nequaty = α α (α + 1)(p h ph s s ) (p h ph s s = α α (α + 1)(p h p h s s ) (p h p h s s (.5) Let P be a prmtve dvsor of the q α +1. Consder the congruence c 0 + c 1 x c α x α 0 (mod P), c t > 0, t = 0, 1,,..., α. There s a unque souton x 0 to the congruence reaton f(x) c 0 + c 1 x c n x n 0 (mod P) wthn [x 0 ǫ, x 0 + ǫ] [4], where Settng c t = ( ) α +1 t+1, f (q ) = ) α ) α ǫf (x 0 ) + ǫ! f (x 0 ) +... < P (.6) ( ) ( ) α + 1 α (q ) α (q ) α 3 4 (.7)

6 ( ) the constrant (.6) mpes a bound on ǫ of 1 q α +1 α. Conseqenty, f q q < ( 1 ) q (.8) α + 1 α the prme P s not a common factor of both repunts. The number of repunts wth prmtve dvsor P w be bounded by the number of nteger soutons to the congruence reaton. For P to be a dvsor of q α +1, p h 1 1 p h...p h s s aso woud have to satsfy the congruence reaton when α = α. If p h 1 1 ph...ph s s = p h 1 1 p h...p h s s + np, then p h 1 1 p h...p h s s s another souton to the congruence. Therefore gcd(q, q ) = p mn(h 1,h 1 ) 1...p mn(h s,h s ) s np, and, as P cannot equa any of the prme dvsors p k, gcd(q, q ) = p mn(h 1,h 1 ) 1...p mn(h s,h s ) s n. Then, q = q +kgcd(q, q )P for some nteger q k, and P q gcd(q,q ). q However, f P s a prme dvsor of qα +1 and q α +1 q, and α = α, P (q q )(q α Snce gcd(q q, q α P q q or + (α + 1)q α q (α + 1)q q α + q α ) (.9) + (α + 1)q α q (α + 1)q q α + q α ) = 1, ether P q α + q α. When P q q, t may satsfy the dvsbty condton for the congruence reaton. However, there aso woud be a + (α + 1)q α q (α + 1)q q α prmtve dvsor whch s a factor of q α +q α q +...+q α q +q α, and not q q. Then p h 1 1 ph...ph s s < p h 1 1 p h...p h s s + P. If there s ony one souton to the congruence α α (α + 1)x x α 0 (mod P) ess than P, a contradcton s obtaned. When one of the congruences s not satsfed for at east one prmtve dvsor P, ths prme s not a common factor of both repunts. If α α, q α +1 = q α +1 = α k=0 α k =0 ω n = e π n (q ω k α +1) (q ω k α +1) (.10) Quotents of products of near factors n q α +1 and q α +1 generay w not nvove canceaton of nteger dvsors because products of powers of the dfferent unts of unty 5

7 cannot be equa uness the exponents are a mutpes of the prmes α +1 or α +1. The sumsets whch gve rse to equa exponents can be enumerated by determnng the ntegers s 1,..., s t such that the sums are ether congruent to 0 moduo α + 1 and α + 1. It s apparent that the entre nteger sets {1,,..., α } and {1,,..., α } cannot be used for unequa repunts. The number of sequences satsfyng the congruence reatons for each repunt must equa tk =α +1 (t k ) and t =α +1 (t ), wth sequences of ntegers whch sum to a non-zero vaue gvng rse to canceaton of compex numbers n the product beng ncuded. Consder two products t km=1 (q ω s m α +1 ) and t k n=1 (q ω s n α +1 ). Upper and ower bounds for these products are (q ) t k < t k m=1 t (q ) t < n=1 (q ω s m α +1 ) < (q + 1) t k (q ω s n α +1 ) < (q + 1) t (.11) Snce the mnmum dfference between prmes s, one of the nequates (q + 1) t k (q ) t, (q + 1) t (q ) tk (q + 1) t k > (q ) t or (q + 1) t > (q ) tk w be satsfed when t t k. The frst two nequates mpy that the factors of the repunts defned by the products t km=1 (q ω s m α +1 ) and t k n=1 (q ω s n α +1 ) are dstnct. If ether of the next two nequates hod, the factors possby coud be equa when (q ) t k = (q ) t or (q + 1) t k = (q + 1) t. In the frst case, t = n t k, q = (q ) n, n >. Ths reaton hods for a t k and t such that k t k = n t. However, α + 1 and α + 1 are prme, so that ths equaton s not vad. When q + 1 = (q + 1) n, n, the reaton k t k = n t agan eads to a contradcton. The dentfcaton of the products n equaton (.11) for each correspondng k, s necessary, snce any addtona product woud gve rse ether to a new prme factor after approprate rescang, or a dfferent power of the same number, whch woud woud prevent a canceaton of an extra prme, descrbed ater n the proof. The nequates (q ) t < (q ) t k < (q + 1) t mpy that t n(q ) n(q ) < t k < t n(q + 1) n(q ) (.1) If these nequates hod for two pars of exponents (t k1, t 1 ), (t k, t ), the nterva [ ] t n(q ) n(q ), t n(q +1) n(q contans t t ) t k1. The fractons t km tk cannot be equa to t m 1 n t n m, n as ths woud mpy that t k t prme fracton when α α. = α +1 α +1, whch s not possbe snce α +1 α +1 6 for a s an rreducbe

8 Then Then t k [ ] t n(q ) n(q ), t n(q +1) n(q f ) As t α + 1, ths nequaty s vad when n t k1 t t k 1 1 t 1 t (.13) t ( ) q + 1 < n(q ) q t 1 t (.14) q n(q ) > 3(α + 1) (.15) Snce the arthmetc prmtve factor of qn q, n 6 s Φ n(q) = 1 k n (q e πk n ) gcd(k,n)=1 or Φ n(q) n p, where p s the argest prme factor of both gcd(n,3) and Φ n(q) [1][][4][3][35], any prme, whch s a prmtve dvsor of qα +1, dvdes Φ α +1(q ). It foows that these q prmes can be obtaned by approprate mutpcaton of the products t km=1 (q ω s m α +1 ) and t k n=1 (q ω s n α +1 ). Athough these products may not be the prmtve dvsors, they are rea, and mutpcaton of t 1 m=1 (q ω s m α +1 ) by κ 1 R can be compensated by t m =1 (q ω s m α +1 ) by κ 1 to obtan the nteger factor. Snce products of two compex near factors (q e πk 1 α +1 )(q e πk 1 α +1 ) are rea, et x 1 = (q e πk 1 α +1 )(q e πk 1 α +1 ) x = (q e πk α +1 )(q e πk α +1 ) y 1 = (q e πk 3 α +1 )(q e πk 3 α +1 ) y = (q e πk 4 α +1 )(q e πk 4 α +1 ) (.16) α +1 The occurrence of the same prme dvsors n the two repunts qα +1 q and q q yeds reatons of the form κ 1 x 1 = P 1 1 = P h 1 1 κ 1 y 1 κ 1 x = P = P (.17) h κ 1 y for two prme factors mpes P h 1 h 1 1 = x h 1 x h1 1 y 1 y (.18) 7

9 whch cannot be satsfed by the prme P 1. For three prme factors, yedng the equaton κ 1 x 1 = P 1 1 = P h 1 1 κ 1y 1 κ 1 κ x = P = P h κ 1 κ y (.19) κ x 3 = P 3 3 = P h 3 κ y 3 P h 1 h 1 1 P h 3 h 3 3 = (x 1x x 3 ) h y 1 y y 3 (.0) However, (x 1x ) h y 1 y ntroduces a mnmum of two dfferent prmes, whereas x h 3 y3 contans at east one more prme dvsor. Aternatvey, ths fracton equas (x 1 x ) ( h ) (y 1 y ) 1 (x x 3 ) ( h) (y y 3 ) 1 (x 3x 1 ) ( h) (y 3 y 1 ) 1 (.1) Each term n the product contans n prmes, n, and canceaton between the fractons eads to the deeton of a maxmmum of n prmes, snce canceaton of a of the prmes woud mpy that the rato of a power of one term and the other term s a prme power, whch s not possbe based on the form of the near compex factors. Consequenty, the product (.1) ntroduces at east three dstnct prmes. Contnung ths factorzaton for products of more than three prme powers, t foows that there s a dstnct prme dvsor amongst the factors of q α +1 and q α +1, wth q, q, α + 1, α + 1 beng odd prmes. Snce the prme dvsors of the repunts can be obtaned by rescang of products of the form (.11), t 1 and t can be set equa, provded that the factor of a power of a prme s ncuded to match the ntervas. Then, P h (q ) < (q ) t k 1 < P h (q + 1) and t k1 [ n(q )+h np n(q ), n(q +1)+h np n(q ) ]. Agan, for some k 1, k, t k 1 t 1 t k t f α α, and t k1 t k 1. The nequates P h (q ) < (q ) t k < P h (q +1) arse because each of πk πk α the terms y = (q e +1 α )(q e +1 ), whch s matched wth a correspondng product of near factors t k sm =1 (q ω s m α +1 ), has the same upper and ower bound. However, ( ) q ] n +1 q t k f < 1 whch s mpes q > 5. The [ n(q )+h np n(q ), n(q +1)+h np n(q ) n(q ) equaty s aso vad because t k = n(q +1)+h np n(q ) ony f P h = (q ) tk (q +1) whch mpes that q = (q + 1) h, h 1. Then t = h t k, and f h > 1, summaton over k, gves α + 1 = h (α + 1) whch s not possbe as α + 1 and α + 1 are prme. If h = 1, t k = t and α + 1 must be set equa to α + 1. Settng q = 3 and q = 5, t can be proven by nducton that one of the repunts 3α +1 and 5α +1 4 has a dstnct prme 8

10 dvsor. Frst, 33 = 13, 35 = 11 11, 53 5 = 31 and 55 4 = Secondy, when α + 1, there are ony prmtve dvsors. For the known soutons to the equaton xm x = yn y, one of the prme bases s. Snce q = 1, the theorem s crcumvented because the bounds (.11) are satsfed for a arger set of prmes q and exponents t k. Furthermore, the ntegers sets {1,,..., α } and {1,,..., α } are used entrey n the products to gve the same nteger, whch must then be a prme. The exstence of soutons to the nequates 1 < (q ) α < 3 α mpes that these bounds do not excude the equaty of α +1 q α + 1, q, α + 1. and qα+1 q for some If the prmes whch dvde ony q α +1, are factors of q or q, they woud be partay canceed n a comparson of qα +1 and q α +1. Any dvsor of q whch q s a factor of qα +1 q aso must dvde α + 1. When α + 1 and α + 1 are prme, ths dvsor woud have to be α + 1 or α + 1. An excepton to the resut concernng the occurrence of a dstnct prme factor n one of the repunts coud occur f equatons of the form q q α +1 q (α + 1) ν qα +1 q (α + 1) ν 1 qα +1 q = (α + 1) ν qα +1 q = qα +1 q = (α + 1) ν qα +1 q (.) q are satsfed, as the set of prme dvsors of the repunts woud be dentca f α +1 α +1 q n the frst reaton, α + 1 qα+1 q q n the second condton and α + 1 α +1 q, α + 1 n the thrd reaton. The condtons wth ν = ν 1 = ν = 1 foow f dfferent qα+1 q powers of the other prmes do not arse. However, q p 0 (mod pν ) ony f q p 0 (mod p), and snce q p q 0 (mod p), ths s possbe when p q. If p q, then 9

11 q p q p and qp q 0 (mod pν ), ν. Settng ν = ν 1 = ν gves q α +1 q (α + 1) qα +1 q (α + 1) qα +1 q = (α + 1) qα +1 q = qα +1 q = (α + 1) qα +1 q (.3) qα+1 wth α + 1 q and α + 1 qα+1 q. It foows that ether α + 1 or α + 1 s a prme whch dvdes ony one of the repunts. Furthermore, q and q are ntegers whch are not rescaed, such that dstnct prme dvsors arse n the products of the remanng near factors. If the exponents α +1 and α + 1 are unequa, they represent factors whch do not dvde both repunts. When the exponents α + 1 and α + 1 are equa, t woud be necessary for n to be equa to α +1 one, whch s not feasbe snce q q. It foows aso that qα +1 q and q q cannot be equa, and the orgna assumpton of ther nequaty s vad. However, by the frst two reatons n Eq.(.3), there exsts a prme whch s not a dvsor of both repunts. Exampe. An exampe of congruence wth more than one souton ess than P s (α + 1) + α (α + 1)x + (α + 1)α (α ) 3! + (α + 1)α (α )(α )(α 3) x 4 = 0 (mod 11) 5! x + (α + 1)α (α )(α ) x 3 4! (.4) whch s soved by x =, 4 when α + 1 = 5. Ths s consstent wth the nequaty (.6), snce ǫ = when x 0 =. Consequenty, 35 = and 55 4 = both have the dvsor 11 and the dstnct prme dvsor arses n the arger repunt. Indeed, 35 woud not have a dfferent prme factor from a repunt qα k +1 k q k that has 11 as a dvsor. A set of prmes {3, q k,...} and exponents {5, α k,...} does not represent an excepton to the Theorem 1 f 35 s chosen to be the frst repunt n the product, ntroducng the prme dvsor 11. Each subsequent repunt then woud have a dstnct prme factor from the prevous repunt n the sequence. 10

12 3. Formuaton of the Condton for Perfect Numbers n terms of the Coeffcents of Repunts Let N = ( + 1) 4m+1 =1 qα If σ(n) N, or a q α +1 q ( + 1) [q α q 1 b 1...b a 1...a = =1 [13] and the coeffcents {a } and {b } be defned by = b ( + 1) 4m+ q α +1 q... qα +1 q = ( + 1) (b 1...b ) 1 (a 1...a ) 1 ( + 1) m+1 =1 q α gcd(a, b ) = 1 (3.1) ] 1 ( + 1) 4m+ ( ( + 1) 4m+ ) q α ( +1 q ( + 1) 4m+ ] +1 ( + 1) 4m+ ( + 1) 4m+1 [ =1 ) (+1) q +1 q α qα (3.) (3.3) When > 5 s odd, there exsts an odd nteger o and an even nteger e such that = e, so that ( ) ( ) ( ) ( ) b 1...b b13 a b46 a 5 b3o,3 =... o a 3o b3o +1b 3o + a 1...a a 13 b a 46 b 5 a 3o,3 o b 3o a 3o +1a 3o + ( ) (3.4) b b... s a a t wth s, t Z. It has been proven that b 3ī,3ī a 3ī ( + 1) s for any choce of a 3ī,3ī b 3ī t a 3ī, a 3ī, a 3ī and b 3ī, b 3ī, b 3ī consstent wth Eq.(3.1) [11]. Smary, b a ( + 1) s t so that b 3ī,3ī a 3ī,3ī a 3ī b 3ī b 3 +1b 3 + a 3 +1a 3 + ( + 1) ρ 3ī χ 3ī = ( + 1) ˆρ 3 + ˆχ s t s t (3.5)

13 where the fractons are square-free and gcd( ρ 3ī, χ 3ī ) = 1, gcd(ˆρ 3 +, ˆχ 3 +) = 1. * Then, b 1...b a 1...a = ( + 1) ρ 1 χ 1... ρ 3 o χ 3o When = o + 3 e > 4 for odd 0 and even e, b 1...b a 1...a = ( + 1) ( + 1) 4m+ ) ˆρ e +,... ˆρ s (3.6) ˆχ e +, ˆχ t ˆρ ˆχ... ˆρ o, ˆχ o, ρ 3e ρ s (3.7) χ 3e +1 χ t If the products for odd and o ( ρ3ī ī=1 χ 3ī o ( ˆρī, ī=1 ˆχ ī, ) e =1 ) e =1 ( ˆρ3o +, ˆχ 3o +, ( ρo χ o ) ) (3.8) (3.9) for even are not the squares of ratona numbers, b 1...b ( + 1) s s odd a 1...a t ( b 1...b + 1) 4m+ ) ( + 1) s a 1...a t s even (3.10) whch woud mpy the nequaty (3.3) and the non-exstence of an odd perfect number. 4. Exampes of Integers satsfyng the Ratonaty Condton A set of ntegers N = ( + 1) 4m+1 =1 qα whch satsfy the condton of ratonaty of [ ( + 1) qα q 1... qα +1 q ] 1 ( + 1) 4m+ (4.1) * The notaton has been changed from that of reference [11] wth a dfferent choce of ndex for ρ, χ. 1

14 s gven n the foowng st: (4.) None of these ntegers satsfy the condton σ(n) N the frst nteger s =. For exampe, the sum of dvsors of σ( ) = (4.3) such that new prme factors 7, 13, 19, 31, 43, 67, 73, 181, 367 are ntroduced. The ncuson of these prme factors n the nteger N eads to yet addtona prmes, and then the ack of cosure of the set of prme factors renders t mpossbe for them to be pared to gve even powers n σ(n) wth the excepton of ( + 1). It may be noted that the decompostons of repunts wth prme bases of comparabe magntude and exponent 6 ncude factors that are too arge and cannot be matched easy wth factors of other repunts. It aso can be estabshed that repunts wth prme bases and other exponents do not have square-free factors that can be easy matched to provde 13

15 a cosed sequence of such parngs. Ths can be ascertaned from the parta st U 5 (6, 5) = 55 = U 6 (6, 5) = 3906 = U 5 (8, 7) = 801 U 5 (1, 11) = U 5 (14, 13) = U 5 (18, 17) = U 7 (4, 3) = 1093 U 7 (6, 5) = U 9 (4, 3) = 9841 U 3 (3, 31) = 993 = (4.4) The entre set of ntegers satsfyng the ratonaty condton s therefore restrcted to a rng of prme bases and powers and exponents 4m + 1 = 5, α = 1 wth a gven set of prme factors occurrng n the sum-of-dvsors functon. The frst prme of the form + 1 whch arses as a coeffcent D n the equaty q 3 q = Dy q prme (4.5) s Ths prme s too arge to be the bass for the factor (+1)4m+, snce t woud gve rse to many other unmatched prme factors n the product of repunts and the ratonaty condton woud not be satsfed. Amongst the coeffcents D whch are composte, the east nteger wth a prme dvsor of the form + 1 s 183, obtaned when q = 13. However, the repunt wth base 61 st gves rse to factors whch cannot be matched snce 61 6 = = (4.6) 60 Therefore, the ratonaty condton provdes confrmaton of the nonexstence of odd perfect numbers, whch, however, can be proven wth certanty ony through the methods descrbed n ths work. 5. On the Non-Exstence of Coeffcents of Repunts satsfyng the Perfect Number Condton Based on Theorem 1, t s proven that addtona prme dvsors arse n the sumof-dvsors functon and a reaton equvaent to the perfect number condton cannot be 14

16 satsfed by the prmes + 1 and q, = 1,...,. Theorem. There does not exst any set of odd prmes { + 1; q 1,..., q } such that the coeffcents {a } and {b } satsfy the equaton [ b 1...b = ( + 1) a 1...a ( + 1) 4m+ ] +1 =1 q α. Proof. It has been observed that b 1 a 1 ( + 1) s t by the non-exstence of mutpy perfect numbers wth ess than four prme factors [8][9], [ b 1 b ( + 1) a 1 a ( + 1) 4m+ ] 3 q α 1 1 q α (5.1) by the non-exstence of perfect numbers wth three prme dvsors [10], and proven that b 1 b b 3 a 1 a a 3 ( + 1) s t so that the nequaty s vad for = 1,, 3. σ(n) N Suppose that there are no odd ntegers N of the form ( + 1) 4m+1 = so that =1 qα wth [ b 1...b ( + 1) a 1...a ( + 1) 4m+ ] =1 q α (5.) If there exsts a perfect number wth prme factors {+1, q 1,..., q }, then b 1...b a 1...a must have ) τ τ(u 4m+ ( +, + 1), =1 q ) dstnct prme factors, where ( (+1) 4m+ U 4m+ (+, +1) s the Lucas number (+1)4m+ and τ(u 4m+ (+, +1), =1 q ) denotes the number of common dvsors of the two ntegers. However, equaty σ(n) q α +1 ( (+1) 4m+ and N aso mpes that =1 q has at east + τ dfferent prme dvsors and a maxmum of + 1 prme factors. If there s no canceaton between (+1) 4m+ and =1 qα ( U 4m+ ( +, + 1) =, mutpcaton of =1 U α +1(q + 1, q ) = =1 q by ) ( ) ntroduces τ new prme dvsors (+1) 4m+ (+1) 4m+ ) q α +1 and b 1...b a 1...a woud have + dstnct prme factors. However, f gcd(u 4m+ ( +, + 1), U α +1(q + 1, q )) = 1 for a, the repunt U 4m+ ( +, + 1) must ntroduce addtona prme dvsors. It foows that ( + 1) 4m+ 8k = ī I q α (5.3) 15

17 must be vad for some nteger set I. There are no nteger soutons to x n x = y x 1(mod 4), n (mod 4) (5.4) and there s no odd nteger satsfyng these condtons. A varant of ths proof has been [ ( q obtaned by demonstratng the rratonaty of α +1 =1 q 8k(+1) (+1) ) ]1 when 4m+ gcd(u α+1 (q + 1, q ), U 4m+ ( +, + 1)) = 1 [8]. q α +1 When the number of prme factors of =1 q s ess than + 1, there must be at east two dvsors of U 4m+ ( +, + 1) whch do not arse n the decomposton of ths product. Whe one of the factors s, + 1 s not a dvsor, mpyng that any other dvsor must be q for some. It has been assumed that there are no prme sets {+1; q 1,..., q } satsfyng the perfect number condton. Ether b 1...b a 1...a does not have + 1 factors, or f t does have + 1 factors, then =1 =1 q α +1 q ( + 1) 4m+1 ī, q α +1 q has factors but q α t (5.5) for some prme q ī, where q t U 4m+ ( +, + 1). Mutpcaton by U α +1(q + 1, q ) must contan the factor q αī, because (+1)4m+ ī ony woud ntroduce the two prmes, q and not q ī, snce =1 U α +1(q + 1, q ) contans prmes, ncudng + 1 and excudng q ī. Interchangng the roes of the prmes n the set {q, = 1,..., }, t foows that the prme equatons q α +1 q q α +1 q ( + 1) 4m+ = ( + 1) h q α = ( + 1) h q αī ī = q α (5.6) must hod, where h 0. Snce the second equaton has no nteger souton, k 1 [11], t foows that b 1...b a 1...a must not have + 1 prme factors. There cannot be ess than + 1 dfferent factors of q α +1 q (+1) 4m+ b 1...b a 1...a, as each new repunt ntroduces at east one dstnct prme dvsor by Theorem 1 and the factorzaton of contans at east two new prmes. Consequenty, ths woud mpy b 1...b a 1...a has at east + prme factors and b 1...b a 1...a has a mnmum of +3 prme dvsors, whch s arger 16

18 than the number necessary for equaty between U 4m+ (+, +1) =1 U α +1(q +1, q ) and ( + 1) =1 qα. If the maxmum number of prme factors, + 1, s attaned for =1 U α +1(q + 1, q ), then the ony addtona prme dvsor arsng from mutpcaton wth U 4m+ (+, +1) s. However, snce both and k + 1 dvde the repunt( wth base + ) 1, ths property 1 does not hod uness the prme factors of k + 1 and (+1) 4m+ can be ncuded k+1 n the set {q, = 1..., }. There are then a tota of + prme factors n b 1...b a 1...a [ ] +1 can be absorbed nto =1 qα. 8k (+1) 4m+ ony f The repunt then can be expressed as ( + 1) 4m+ = {K} q t (5.7) where {K} {1,..., q }. By the non-exstence of odd perfect numbers wth prme factors + 1, q, = 1...,, ether U 4m+ ( +, + 1) =1 U α +1(q + 1, q ) has ess than + 1 factors or =1 q α +1 q ( + 1) 4m+1 {K} {q ī } q α {K} {q ī } q α t (5.8) for some ī {1,..., }. If the product of repunts for the prme bass { + 1, q 1,..., q } has ess than +1 factors, qα +1 q ntroduces at east two new prme factors. Even f one of these dvsors s + 1, the other factor must be q ī for some ī. Interchange of the prmes q, = 1,..., agan yeds the reatons n equaton (5.6). If the product (5.8) ncudes prmes, and not q ī, then q αī must be a factor of qα+1 ī Interchangng the prmes, t foows that the product (5.8) ncudes ī qα. q. The prme dvsors n U α +1(q +1, q ) ether can be abeed q for some {1,..., 1} or equas +1. whe +1 does not dvde U 4m+ ( +, +1), t can occur n the other repunts qα +1 for = 1,...,. The prme q = q ī aso may not be a dvsor of (+1) 4m+. q One choce for q s a prme dvsor of k + 1. If k + 1 s prme, the factors of can be compared. Snce the atter quotent s equa to (k+1) α +1 k (+1) m+1 and (+1)4m+ [( +1) m+1 +1], consder settng m equa to α. By Theorem 1, prmtve dvsor P dvdes both repunts f = np + k or k = np mpyng n =, P = k. However, f k, 1 + (k + 1) (k + 1) α α k (mod k) (k+1)α +1 17

19 and k = α + 1 for prme exponents α + 1. Suppose (k+1)k P n k = k P m and. If a prmtve dvsor rk + 1, r Z, dvdes both repunts, (+1) k = k (k + 1) k = (rk + 1)(x ), x Z, ( + 1) k = (rk + 1)(x ), x Z, so that Ths reaton woud mpy (k + 1) k x = ( + 1)k x (5.9) x (k + 1) k (k + 1) k x = x( + 1) k ( + 1) k x (5.10) and therefore x = b( + 1) k, x = a( + 1) k. However, the equaton s then a( + 1) k (k + 1) k a( + 1) k = b( + 1) k (k + 1) k b(k + 1) k (5.11) whch cannot be satsfed by any ntegers a, b. Not a prmtve dvsors of the two repunts are dentca. For the excepton, k = 1, α + 1 = 5, 4m + = 10n, (k+1)α +1 k = 11, (+1) 4m+ has other prme factors n addton to 11. If m α, t can be demonstrated that there s a prmtve dvsor of (k+1)α +1 k whch s not a factor of (+1)4m+ by usng the comparson of the near factors n the decomposton of each numerator n Theorem 1, snce (k) n, n and + (k + ) n, n for any k > 1. q In genera, ether there exsts a prme factor of qα +1 (+1) 4m+ whch does not dvde or there are more than + prmes n the decomposton of the product of repunts. The exstence of a dstnct prme dvsor requres a separate demonstraton for composte exponents. Let p 1 (4m + ), p (4m + ) be two prme dvsors of 4m +. Then qα +1 q has a prme factor dfferent from the dvsors of (+1)p1(4m+) and (+1) p (4m+) by Theorem 1. Whe the unon of the sets of prme dvsors of the two repunts s contaned n the factorzaton of (+1)p 1 (4m+)p (4m+), the repunt wth the composte exponent w have a prmtve dvsor, whch does not beong to the unon of the two sets and equas a 1 p 1 p +1. If ths prme dvdes qα +1 q, a 1 p 1 p +1 = a (α +1)+1. Ether α + 1 4m + or the prmtve dvsor equas a 1 (α + 1)p 1 p + 1. Suppose (a 1 (α + 1) + 1)(x + 1) = ( + 1)p 1p p 1 p (mod 4) (5.1) Snce p 1, p are odd prmes, ether a 1 0 (mod 4) or a 1 (mod 4), so that the prmtve dvsor equas 4c(α + 1)p 1 p + 1 when p 1 p 1 (mod 4) or (4c + )(α + 1)p 1 p + 1 f p 1 p 3 (mod 4). Let the prmtve dvsor P have the form 4c(α + 1)p 1 p + 1 so that (4c(α + 1)p 1 p + 1)(y + 1) = qα +1 q 18 α + 1 (mod q ) (5.13)

20 whch mpes that y + 1 = κ [α + χ (q )] s ether the mutpe of an mprmtve dvsor, κ (α + 1) or t s the mutpe of a prmtve dvsor. Consder the equaton (4c(α + 1)p 1 p + 1)κ (α + 1) = qα +1 q (5.14) wth α q. If (4c(α + 1)p 1 p + 1)κ (α + 1) α + 1 (mod q ) (5.15) q (4c(α + 1)p 1 p + 1)κ or (4c(α + 1)p 1 p + 1)κ q α (mod q ). Snce α + 1 κ, κ = κ 3 (α + 1) + 1. Let (z(q ) + 1)(α + 1) = qα +1 q (5.16) Then z = α + q α + 1 (α + (α )(q + 1) q α ) (5.17) s nteger and z(q ) = 4c(α +1) κ 3 p 1 p +κ 3 (α +1)+4c(α +1)p 1 p and α +1 κ so that κ = κ 3 (α + 1) + 1. Let (z(q ) + 1)(α + 1) = qα +1 q (5.18) Then z = α + q α + 1 (α + (α )(q + 1) q α ) (5.19) s nteger and z(q ) = 4c(α + 1) κ 3 p 1 p + κ 3 (α + 1) + 4c(α + 1)p 1 p In the atter case, the product of the prmtve dvsors takes the form b(α +1)+1 so that κ [(α +1)+χ (q )] = b(α +1)+1 snce α +1 s prme. The two congruence reatons [(b ) + (b(α + 1)4cp 1 p ](α + 1) (mod q ) (5.0) (b κ )(α + 1) (mod q ) mpy [κ + (b(α + 1) + 1)4cp 1 p ](α + 1) 0 (mod q ) (5.1) When α + 1 q, t foows that q κ + (b(α + 1) + 1)4cp 1 p. Snce every prmtve dvsor s congruent to 1 moduo α + 1, κ = κ 3 (α + 1) + 1 and q κ 3 (α + 1) + (b(α + 1) + 1)4cp 1 p. 19

21 The factorzatons ( + 1) 4m+ = q α +1 = 4m+1 k=0 α k =0 (( + 1) ω k 4m+) (q ω k α +1 ) (5.) yed rea factors whch can be dentfed ony f (( + 1) ) t k = () t k = (q ) t k or ( + ) t k = (q + 1) t k. Then, = (q ) n, t k = n t k or + = (q + 1) n, t k = n t k. Snce k t k = 4m +, k t k = α + 1, 4m + = n (α + 1). If 4m + s the product of two prmes p 1 p, α + 1 must equa one of the prmes, p. The congruence (5.15) becomes [(4c(α + 1) p 1 + 1)κ ](α + 1) 0 (mod q ) (5.3) If = (q ) p 1, then (+1)p 1 p = ((q ) p 1+1) p1p (q ) = p p 1 1 p + ( p 1 p ) (q ) p 1 p (q ) p 1(p 1 p ) +(q ) p 1(p 1 p ) When α +1 q, α +1 p 1 p + ( p 1 p ) (q ) p 1 p (q ) p 1(p 1 p ) + (q ) p 1(p 1 p ). However, qα +1 q α + 1 (mod q ), whereas (+1)p 1 p p 1 (α + 1) (mod q ), p 1 > 1. The repunts have the same prme dvsors ony f p 1 1 (mod q ), whch mpes that p 1 = ρ(q ) + 1. Then ((q ) ρ(q ) +1) ρ(q )(α +1) ncudes at east seven new factors. If + = (q (q ) ρ(q ) + 1) p 1, then (+1)p 1 p (p 1 ) p1p p 1 (mod q ). If p 1 1 (mod q ), 1 + ( p 1 1) ( p 1 ) p 1p p 1 p α + 1 (mod q ) ony f p 1 1 (mod q ). When p 1 n+1 (mod q ), (p 1 ) p 1 p p 1 (n+1)p1p n whch s not dvsbe by α + 1 f p n. When α + 1 n, (n)p 1 p n p 1 p (mod n) whch woud be congruent to α + 1 ony f p 1 1 (mod n) so that p 1 4α + 3. The exponent s a product of a mnmmum of three prmes and ntroduces at east seven dfferent dvsors n the product of repunts. A smar concuson s obtaned f 4m + = p 1..p s, s 3. If every prme dvsor of (+1)4m+ the foowng equatons are obtaned s dstnct from the factors of =1 q α +1 q, q α +1 q ( + 1) 4m+ =1 = ( + 1) h q α = h = 4m + 1 (5.4) 0

22 whch ony has the souton k = 0. The number of equa prme dvsors n qα q 0 and (+1)4m+ can be chosen to be greater than 1, but equaty of σ(n) and N mpes that each dstnct prme dvsor q of the repunt qα +1 appears n the factorzaton wth the exponent α. Consequenty, q t woud be nconsstent wth the perfect number condton for dvsors of qα 0 0 than q 0 to exst. If the prme dvsor q 0 of qα q 0 +1 q 0 other s a factor of (+1)4m+, then one formuaton s of the perfect number condton for the nteger N = ( + 1) 4m+1 q α q α +1 q q α q 0 ( + 1) 4m+ = ( + 1) h q α 0 = q h 0 0 = q α 0 h 0 0 (5.5) The ast reaton n equaton (5.5) has no soutons wth k 1 snce (+1)4m+ has at east four dfferent prme dvsors,,k + 1, the prme factors of (+1)m+1 and ts prmtve dvsors. Furthermore, as the number of prme dvsors of (+1)4m+ s ess than seven, qα 0 0 equaton (5.5). +1 q 0 aso shoud have a dfferent prme factor whch s contrary to the Snce k 1 n the decomposton N = ( + 1) 4m+1 =1 qα, the quotent q α +1 (+1) m+1, k 1 has a dstnct prme dvsor from the factors of =1 q because of ts exstence n the factorzaton of (+1)p 1 (m+1) by Theorem 1. There woud be then at east + 3 prme factors of σ(n) mpyng that N s not an odd perfect number. 1

23 6. A Proof of the Odd Perfect Number Conecture Theorem 3. There are no odd perfect numbers. Proof. The exponents α + 1, = 1,..., w be assumed to be prme, snce repunts wth composte exponents have at east three prme dvsors [11]. Addtonay, t has been estabshed that there are at most two soutons for fxed x and y f y 7 [6]. If a = y δ, b = x δ, c = y x δ, δ = gcd(x, y ) and s s the east nteger such that x s 1 (mod by n 1 ), where (x, y, m 1, n 1 ) s a presumed souton of the Dophantne equaton, then m m 1 s a mutpe of s f (x, y, m, n ) s another souton wth the same bases x, y [6]. As x < y, x can be dentfed wth q, y wth wth q and δ wth gcd(q, q ). Gven that the frst exponents are α +1 and (( α ) +1, the ) constrant on a second exponent q of q then woud be m (α + 1) = ιϕ δ q α +1 where ι Q, wth ι Z when q q. Ths constrant can be extended to m 1 = n 1 = 1, snce t foows from the equatons (y )x m (x)y n = y x, ax m by n = c, whch hod aso for these vaues of the exponents. Based on the trva souton to these equatons for an arbtrary par of odd prmes q, q, the frst non-trva ( souton ) for the exponent of q woud be greater q than or equa to than 1 + ι(q )ϕ δ. Ths exponent ntroduces new prme dvsors (( q )) 1+ι(q)ϕ whch are factors of q δ q and therefore does not mnmze the number of prme factors n the product of repunts. Imprmtve prme dvsors can be ntroduced nto equatons genercay reatng the two unequa repunts and mnmzng the number of prme factors n the product q α +1 q q α +1 q the east number of unmatched prme dvsors n σ(n) w be attaned f there are pars (q, q ) satsfyng one of the three reatons. Gven an odd nteger N = ( + 1) 4m+1 =1 qα q α +1 q (α + 1) qα +1 q (α + 1) qα +1 q = (α + 1) qα +1 q = qα +1 q = (α + 1) qα +1 q (6.1) +1 qα q As woud not ntroduce any addtona prme dvsors f the frst reaton n equaton (6.1) s satsfed, the product of two pars of repunts of ths knd, wth prme bases

24 (q, q ), (q k, q k ), yeds a mnmum of three dstnct prme factors, f two of the repunts are prmes. In the second reaton, (q, α +1) and (q, α +1) are nterchanged, whereas n the the thrd reaton, an addtona prme dvsor s ntroduced when α +1 α +1. Equaty of σ(n) and N s possbe ony when the prme dvsors of the product of repunts qα+1 aso arse n the decomposton of N. If the two repunts q and q α k +1 k q k are prme, they w be bases for new repunts [ ] q α +1 αn1 +1 q q α +1 q [ ] q α k +1 αn +1 k q k q α k +1 k q k = = [ α q q +1 q (q α ) q [ q k q k (q α k k ) q α k +1 k q k ] αn1 +1 ] αn +1 These new quotents are ether addtona prme dvsors or satsfy reatons of the form [q α +1 ] αn1 +1 q q α +1 q = (α n1 + 1) qα t1 +1 t 1 q t1 (6.) (6.3) to mnmze the ntroducton of new prmes. Furthermore, α n1 + 1 s the factor of esser magntude, [ [ q α t+1 α t q q ] +1 αn1 +1 ] 1 > q t q (q α ) (6.4) q q t The number of prme dvsors of N s mnmzed f the repunt qα t +1 t t s then the bass of another repunt [ α q t +1 ] αn3 +1 t q t [ α q t +1 ] t q t > [q α +1 ] αn1 +1 q q α +1 q s a prme. However, (6.5) snce α n3 1. An nfnte sequence of repunts of ncreasng magntude s generated, mpyng the non-exstence of odd ntegers N wth prme factors satsfyng one of the reatons n equaton (6.1). If the thrd reaton n equaton (6.1) hods, (α t + 1) [q α +1 ] αn1 +1 q q α +1 q 3 = (α n1 + 1) qα t1 +1 t 1 q t1 (6.6)

25 The nequaty (6.4) s st satsfed, and agan, repunts of ncreasng magntude are ntroduced n the sum of dvsors. +1 qα q α +1 If the repunts and q are not prme, then the product of the four q repunts wth bases q, q, q k, q k woud have a mnmum of fve dfferent prme dvsors. The product of (+1)4m+, wth at east two dstnct prme dvsors, and =1 q α +1 q possesses a mnmum of + 3 dfferent prme factors and the perfect number condton cannot be satsfed. When none of the three reatons hod n equaton (6.1) hod, by Theorem 1, there agan exsts a prmtve dvsor whch s not a common dvsor of both repunts. It can be assumed that the ast repunt qα +1 q has a prme exponent snce t w ntroduce at east three prme dvsors f the exponent s composte. The new prme dvsor may be denoted q f t does not equa + 1, and nterchangng q wth q ī and + 1, t can be deduced that U 4m+ ( +, + 1) =1 U α +1(q + 1, q ) w not be dvsbe by ī ī 1,...,, ī ī, wth the excepton of one vaue 0. The prme q 0 w not be a factor of =1 U α +1(q + 1, q ). Then q αī +1 ī q ī q α q 0 ( + 1) 4m+ = q h bar ī = ( + 1) 4m+1 = q h 0 0 ī 0 (6.7) The ast equaton s equvaent to ( + 1) m+1 = y1 ( + 1) m = y h 0 y 1 y = q 0 (6.8) whch has no nteger soutons for k and m. There are no prme sets { + 1; q 1,..., q } whch satsfy these condtons wth h ī and h 0 even. Thus, there are no odd ntegers N = (+1) 4m+1 =1 qα such that the prmes and exponents {q, α +1} satsfy none of the reatons n equaton (6.1) and equaty between σ(n) and N. For a odd ntegers, σ(n) N. 4

26 References [1] A. S. Bang, Tatheoretske Undersogeser, Tdsskrft for Mathematk 5 (1886), [] Yu. Bu, G. Hanrot and P. M. Vouter, Exstence of prmtve dvsors of Lucas and Lehmer numbers, J. für de rene und angewandte Mathematk 539 (001), [3] F. de Bessy (1657), n: Oeuvres de Huygens, II, Correspondence, No. 389; Ouvres de Fermat, 3, Gauther-Vars, Pars, 1896, p.567. [4] G. D. Brkhoff and H. S. Vandver, On the ntegra of a n b n, Ann. Math. 5 no. (1904), [5] R. P. Brent, G. L. Cohen and H. J. J. te Ree, Improved Technques for Lower Bounds for Odd Perfect Numbers, Math. Comp. 57 (1991) [6] Y. Bugeaud and T. N. Shore, On the Dophantne Equaton xm x Math. 07(1) (00) = yn y, Pac. J. [7] E. Cataan, Mathess 8 (1888) ; Mem. Soc. Sc. Lège () 15 (1888) [8] R. D. Carmchae, Mutpy Perfect Odd numbers wth Three Prme Factors, Amer. Math. Monthy 13 (1906), [9] R. D. Carmchae, Mutpy Perfect Numbers of Four Dfferent Prmes, Ann. Math. 8 (1907), [10] G. L. Cohen, On the Largest Component of an Odd Perfect Number, J. Austra. Math. Soc. 4 (1987) [11] S. Davs, A Ratonaty Condton for the Exstence of Odd Perfect Numbers, Internatona Journa of Mathematcs and Mathematca Scences, Vo. 003, No. 0 (003), [1] R. Descartes to M. Mersenne (1638), Oeuvres de Descartes, II, eds. C. Adam and P. Tannery, Cerf, Pars, 1898, p. 49. [13] L. Euer, Tractatus de Numerorum Doctrna, 109 n: Opera Omna I 5 Auctortate et Impenss Socetats Scentarum Naturaum Hevetcae, Genevae, MCMXLIV. [14] R. Goormaghtgh, Nombres te que A = 1 + x + x x m = 1 + y + y y n, L Intermedare des Mathematcens 3 (189),

27 [15] T. Goto and Y. Ohno, Odd Perfect Numbers have a Prme Factor Exceedng 10 8, preprnt (006). [16] O. Grun, Über ungerade Vokommene Zahen, Math. Zet. 55 (195) [17] P. Hags Jr., An Outne of a Proof that Every Odd Perfect Number has at Least Eght Prme Factors, Math. Comp. 34 (1983) [18] P. Hags Jr., Sketch of a Proof that an Odd Perfect Number Reatvey Prme to 3 has at Least Eeven Prme Factors, Math. Comp. 40 (1983) [19] K. G. Hare, More on the Tota Number of Prme Factors of an Odd Perfect Number, Math. Comp. 74 (005) [0] K. Hare, New Technques for Bounds on the Tota Number of Prme Factors of an Odd Perfect Number, math.nt/ [1] D. E. Iannucc, The Second Largest Prme Dvsors of an Odd Perfect Number exceeds Ten Thousand, Math. Comp. 68 (1999) [] D. E. Iannnucc, The Thrd Largest Prme Dvsor of an Odd Perfect Number exceeds One Hundred, Math. Comp. 69 (000) [3] M. Jenkns, Odd Perfect Numbers have a Prme Factor Exceedng 10 7, Math. Comp. 7 (003) [4] M. Kshore, Odd Integers N wth Fve Dstnct Prme Factors for whch 0 < σ(n) N < + 10, Math. Comp. 3 (1978) [5] M. Kshore, Odd Perfect Numbers not Dvsbe by 3, Math. Comp. 40 (1983) [6] N. Kobtz, p-adc Numbers, p-adc Anayss and Zeta Functons (sprnger-verag, 1977) [7] P. P. Nesen, Odd Perfect Numbers have at Least Nne Dfferent Prme Factors, Math. Comp. 76 (007) [8] K. K. Norton, Remarks on the Number of Factors of an Odd Perfect Number, Acta Arth. 6 (1960) [9] Y. Nesterenko and T. N. Shorey, On the Dophantne Equaton xm x Arth. 83 (1998) = yn y, Acta [30] O. Ore, On the Averages of the Dvsors of a Number, Amer. Mat. Monthy, 55 (1948)

28 [31] T. N. Shorey. On the Equaton ax m by n = k, Indag. Math. 48 (1986) [3] C. L. Stewart, On Dvsors of Fermat, Fbonacc, Lucas and Lehmer Numbers, Proc. London Math. Soc. Seres 3 35 (1977) [33] J. Syvester, Sur es Nombres Parfats, C. R. CVI (1888) [34] T. Yamada, Odd Perfect Numbers have a Speca Form, Cooq. Math. 103 (005) [35] K. Zsgmondy, Zur Theore der Potenzreste, Monatsh. Math. 3 (189)