arxiv: v1 [math.nt] 9 Nov 2010

Transcription

1 REDUCING THE ERDŐS-MOSER EQUATION 1 n + 2 n + + n = ( + 1) n MODULO AND 2 JONATHAN SONDOW AND KIEREN MACMILLAN arxiv: v1 [math.nt] 9 Nov 2010 Abstract. An oen conjecture of Erdős and Moser is that the only solution of the Diohantine equation in thetitle is thetrivial solution 1+2 = 3. Reducingtheequation modulo and 2, we give necessary and sufficient conditions on solutions to the resulting congruence and suercongruence. A corollary is a new roof of Moser s result that the conjecture is true for odd exonents n. We also connect solutions of the congruence to rimary seudoerfect numbers and to a result of Zagier. The roofs use divisibility roerties of ower sums as well as Lerch s relation between Fermat and Wilson quotients. 1. Introduction Around 1953, Erdős and Moser studied the Diohantine equation (1.1) 1 n +2 n + + n = ( +1) n and made the following conjecture. Conjecture 1. The only solution of (1.1) in ositive integers is the trivial solution 1+2 = 3. Moser [13] roved the statement when n is odd or < In 1987 Schinzel showed that in any solution, is even [12,. 800]. An extension of Schinzel s theorem to a generalization of equation (1.1) was given in 1996 by Moree [10, Proosition 9]. For a recent elementary roof of a secial case, see MacMillan and Sondow [9, Proof of Proosition 2]. Many other results on the Erdős-Moser equation (1.1) are nown, but it has not even been established that there are only finitely many solutions. For surveys of wor on this and related roblems, see Butse, Jaje, and Mayerni [1], Guy [4, D7], and Moree [11]. In the resent aer, we first aroximate equation (1.1) by the congruence (1.2) 1 n +2 n + + n ( +1) n (mod ). In Section 2, we give necessary and sufficient conditions on n and (Theorem 1), and we show that if a solution factors into a roduct of 1,2,3, or 4 rimes, then = 2,6,42, or 1806, resectively (Proosition 1). In Section 3, we relate solutions to rimary seudoerfect numbers and to a result of Zagier. In the final section, Theorem 1 is extended to the suercongruence (Theorem 2) 1 n +2 n + + n (+1) n (mod 2 ). Our methods involve divisibility roerties of ower sums, as well as Lerch s formula relating Fermat and Wilson quotients Mathematics Subject Classification. Primary 11D61; Secondary 11D79, 11A41. Key words and hrases. Chinese Remainder Theorem, congruence, Diohantine equation, Egytian fraction, Erdős-Moser equation, Fermat quotient, erfect, ower sum, rimary seudoerfect number, rime, seudoerfect, square-free, suercongruence, Wilson quotient. 1

2 2 JONATHAN SONDOW AND KIEREN MACMILLAN As alications of Theorems 1 and 2, we rerove Moser s result that Conjecture 1 is true for odd exonents n (Corollary 1), and for even n we show that a solution to (1.1) cannot be a rimary seudoerfect number with 8 or fewer rime factors (Corollary 5). In a aer in rearation, we will give other alications of our results to the Erdős-Moser equation. 2. The Congruence 1 n +2 n + + n ( +1) n (mod ) We will need a classical lemma on ower sums. (An emty sum will reresent 0, as usual.) Definition 1. For integers n 0 and a 1, let Σ n (a) denote the ower sum Set Σ n (0) := 0. Σ n (a) := 1 n +2 n + +a n. Lemma 1. If n is a ositive integer and is a rime, then { 1 (mod ), ( 1) n, Σ n () 0 (mod ), ( 1) n. Proof. Hardy and Wright s roof [5, Theorem 119] uses rimitive roots. For a very elementary roof, see MacMillan and Sondow [8]. We now give necessary and sufficient conditions on solutions to (1.2). Theorem 1. Given ositive integers n and, the congruence (2.1) 1 n +2 n + + n ( +1) n (mod ) holds if and only if rime imlies (i). n 0 (mod ( 1)), and (ii) (mod ). In that case is square-free, and if n is odd, then = 1 or 2. Proof. First note that if n,, are any ositive integers with, then (2.2) Σ n () = / h=1 ((h 1)+j) n Σ n() (mod ). Now assume that (i) and (ii) hold whenever rime. Then, using Lemma 1, both Σ n () and / are congruent to 1 modulo, and so Σ n () 1 (mod ), by (2.2). Thus, as (ii) imlies is square-free, is a roduct of distinct rimes each of which divides Σ n () 1. It follows that Σ n () 1 (mod ), imlying (2.1). Conversely, assume that (2.1) holds, so that Σ n () 1 (mod ). If rime, then (2.2) gives Σ n() 1 (mod ), and so Σ n () 0 (mod ). Now Lemma 1 yields both ( 1) n, roving (i), and Σ n () 1 (mod ), imlying (ii). If n is odd, then by (i) no odd rime divides. As is square-free, = 1 or 2. Corollary 1. The only solution of the Erdős-Moser equation with odd exonent n is 1+2 = 3. Proof. Given a solution with n odd, Theorem 1 imlies = 1 or 2. But = 1 is clearly imossible, and = 2 evidently forces n = 1.

3 REDUCING THE EQUATION 1 n +2 n + + n = ( +1) n MODULO AND 2 3 Recall that, when x and y are real numbers, x y (mod 1) means that x y is an integer. Corollary 2. A given ositive integer satisfies the congruence (2.1), for some exonent n, if and only if the Egytian fraction congruence 1 (2.3) (mod 1) holds, where the summation is over all rimes dividing. In that case, is square-free, and n is any number divisible by the least common multile LCM{ 1 : rime }. Proof. Condition (2.3) is equivalent to the congruence (2.4) 1+ 0 (mod ), which in turn is equivalent to condition (ii) in Theorem 1, since each imlies is square-free. The theorem now imlies the corollary. Remar 1. In (2.3) we write 1 (mod 1), rather than the equivalent 0 (mod 1), in order to contrast the condition with that in Definition 2 of the next section. For solutions to the congruence (2.1), we determine the ossible values of with at most four (distinct) rime factors. First we rove a lemma. (An emty roduct will reresent 1, as usual.) Lemma 2. Let = 1 2 r, where the i are rimes. If satisfies the integrality condition (2.3), then for any subset S { 1,..., r }, there exists an integer q = q(r,s) such that (2.5) q S = 1+ S Proof. This follows from Corollary 2 and Theorem 1 condition (ii), using the Chinese Remainder Theorem. For an alternate roof, denote the summation in (2.5) by Σ, and note that (2.3) imlies 1+Σ 1+ 0 (mod ), for each S. Then, since is square-free, S divides 1+Σ, and the lemma follows. Proosition 1. Let be a roduct of r rimes. Suose 1 n +2 n + + n (+1) n (mod ), for some exonent n > 0; equivalently, suose (2.3) holds. If r = 0,1,2,3,4, then = 1,2,6,42,1806, resectively. Proof. Theorem 1 imlies = 1 2 r, where 1 < 2 < < r are rimes. (r = 0,1). If r = 0, then = 1. If r = 1, then = 1 is rime, and (2.4) yields 2, so that = 2. (r = 2). For = 1 2, congruence (2.4) gives 2 ( 1 + 1). Since , it follows that 2 = As 2 and 1 are rime, 2 = 3 and 1 = 2, and hence = 6. (r = 3,4). In general, if = 1 r, where 1 < < r are rimes, then by Lemma 2, for i = 1,...,r there exists an integer q i such that q i i = i +1. In articular, (2.6) q r r = 1 r 2 r Hence if r > 2, so that r 1 < r 1, then q r < 1 r 2. We also have q r q r 1 r 1 = q r ( 1 r 2 r +1) = 1 r 2 ( 1 r 1 +1)+q r,.

4 4 JONATHAN SONDOW AND KIEREN MACMILLAN and so (2.7) r 2 < r 1 ( 1 r 2 +q r ) < 2 1 r 2. Now tae r = 3, so that = Then q 2 2 = and q 3 3 = , for some integers q 2 and q 3. By (2.7) we have 1 < 2 ( 1 +q 3 ) < 2 1. Hence 2 = 1 +q 3. Substituting q 3 = 2 1 into q 3 3 = yields 1 ( 2 3 1). As 1 ( ), we conclude that 1 2. Therefore 1 = 2. Then 3 (2 2 +1). As 3 > 2, we get 3 = Then we have 2 (2 3 +1) = , and so 2 3. Therefore 2 = 3, and hence 3 = 7. Thus = = 42. Finally, tae r = 4. Lemma 2 with S = { 1,..., r } and r = 4 gives an integer q such that q = 1 ( ) < , so that q 1 < 4. Hence q = 1, and 1 = 2 or 3. Now ( 1 1) = 1 ( )+1 < , and so ( 1 1) 2 < 3 1. This imlies 1 = 2 and 2 = 3. Thus = Then (2.6) and (2.7) give q 4 4 = and 3 < 3 (6+q 4 ) < 12. The only solution is (q 4, 3, 4 ) = (1,7,43), and so = = This comletes the roof. Examle 1. Tae = 1806 in Corollary 2. Since 1806 = and = 1, and since LCM(1,2,6,42) = 42, one solution of (2.1) is (mod 1806). 3. Primary Pseudoerfect Numbers Recall that a ositive integer is called erfect if it is the sum of all its roer divisors, and seudoerfect if it is the sum of some of its roer divisors [4, B2]. Definition 2. (From [1].) A rimary seudoerfect number is an integer K > 1 that satisfies the Egytian fraction equation 1 (3.1) K + 1 = 1, K where the summation is over all rimes dividing K. Multilying (3.1) by K, we see that K is square-free, and that every rimary seudoerfect number, excet 2, is seudoerfect. Corollary 3. Every rimary seudoerfect number K is a solution to the congruence (2.1), for some exonent n. Proof. This is immediate from Definition 2 and Corollary 2. A riori, the equality (3.1) is a stronger condition than the congruence (2.3) in Corollary 2. However, (3.1) and (2.3) may in fact be equivalent, because all the nown solutions of (2.3) also satisfy (3.1) see [1]. In other words, rimary seudoerfect numbers may be the only solutions to the congruence (2.1), excet for = 1. According to [1], Table 1 contains all rimary seudoerfect numbers K with r 8 (distinct) rime factors. In articular, for each r = 1,2,...,8, there exists exactly one such K (as conjectured

5 REDUCING THE EQUATION 1 n +2 n + + n = ( +1) n MODULO AND 2 5 by Ke and Sun [6] and by Cao, Liu, and Zhang [2]). No K with r > 8 rime factors is nown. As with erfect numbers, no odd rimary seudoerfect number has been discovered. Table 1. (from [1]) The rimary seudoerfect numbers K with r 8 rime factors r K rime factors , ,3, ,3,7, ,3,11,23, , 3, 11, 23, 31, , 3, 11, 17, 101, 149, , 3, 11, 23, 31, 47059, , Table 1 was obtained in [1] using comutation and comuter search techniques. Note that the cases r = 1,2,3,4 follow a fortiori from our Proosition 1. Table 2. The nown solutions to 1 n +2 n + + n ( +1) n (mod ) n is any multile of Table 2 was calculated from Table 1, using Corollaries 2 and 3. Examle 2. The simlest case of the congruence (2.1) in which has 8 rime factors is j (mod ). Zagier gave three characterizations of the numbers 1, 2, 6, 42, We add two more. Proosition 2. Each of the following five conditions is equivalent to {1,2,6,42,1806}. (i) The congruence a +1 a (mod ) holds, for all a. (ii) = 1 2 r, where r 0, the i are distinct rimes, and ( i 1). (iii) = 1 2 r, where r 0 and i = 1 i 1 +1 is rime, i = 1,...,r. (iv) is a roduct of at most 4 rimes, and 1 n +2 n + + n ( +1) n (mod ), for some exonent n. (v) Either = 1 or is a rimary seudoerfect number with 4 or fewer rime factors.

6 6 JONATHAN SONDOW AND KIEREN MACMILLAN Proof. For (i), (ii), (iii), see thesolution to the firstroblem of Zagier [14]. Proosition 1 yields (iv). Corollary 3 and (iv) give (v). 4. Suercongruences If the conditions in Theorem 1 are satisfied, the following corollary shows that the congruence (2.2) can be relaced with a suercongruence (comare Zudilin [15]). Corollary 4. If 1 n +2 n + + n ( +1) n (mod ) and rime, then (4.1) Σ n () Σ n() (mod 2 ). Proof. By Theorem 1, it suffices to rove the more general statement that, if rime and ( 1) n, and if either = 2 or n is even, then (4.1) holds. Set a = / in the equation (2.2). Exanding and summing, we see that Σ n () aσ n ()+ 1 2 a(a 1)nΣ n 1() (mod 2 ). If > 2, then ( 1) n imlies ( 1) (n 1), and Lemma 1 gives Σ n 1 (). In case = 2, either a = /2 = 1 or 2 n, and each imlies 2 (1/2)a(a 1)n. In all cases, (4.1) follows. For an extension of Theorem 1 itself to a suercongruence, we need a definition and a lemma. Definition 3. By Fermat s and Wilson s theorems, for any rime the Fermat quotient (4.2) and the Wilson quotient are integers. q (j) := j 1 1, j, W := ( 1)!+1 Lemma 3 (Lerch [7]). If is an odd rime, then the Fermat and Wilson quotients are related by Lerch s formula 1 q (j) W (mod ). Proof. Given a and b with ab, set j = ab in (4.2). Substituting a 1 = q (a) + 1 and b 1 = q (b)+1, we deduce Eisenstein s relation [3] which imlies q (ab) q (a)+q (b) (mod ), 1 q (( 1)!) q (j) (mod ). On the other hand, setting j = ( 1)! = W 1 in (4.2) and exanding, the hyothesis 1 2 leads to q (( 1)!) W (mod ). This roves the lemma.

7 REDUCING THE EQUATION 1 n +2 n + + n = ( +1) n MODULO AND 2 7 Theorem 2. For n = 1, the suercongruence (4.3) 1 n +2 n + + n ( +1) n (mod 2 ) holds if and only if = 1 or 2. For n 3 odd, (4.3) holds if and only if = 1. Finally, for n 2 even, (4.3) holds if and only if rime imlies (i). n 0 (mod ( 1)), and (ii). +1 (n(w +1) 1) (mod 2 ). Proof. To rove the first two statements, use Theorem 1 together with the fact that the congruences 1 n +2 n 1 (mod 4) and 3 n ( 1) n 1 (mod 4) all hold when n 3 is odd. Now assume n 2 is even. Let denote a rime. By Theorem 1, we may assume that (i) holds if, and that is square-free. It follows that the suercongruence (4.3) is equivalent to the system Σ n () ( +1) n (mod 2 ),. Corollary 4 and exansion of ( +1) n allow us to write the system as Since n is at least 2 and ( 1) n, we have Σ n() 1+n (mod 2 ),. Σ n () Σ n ( 1) (mod 2 ) 1 = (j 1 ) n/( 1). Substituting j 1 = 1+q (j) and exanding, the result is 1 ( Σ n () 1+ n ) 1 q 1 (4.4) (j) 1 n q (j) (mod 2 ), since n/( 1) n (mod ). Now Lerch s formula (if is odd), together with the equality q 2 (1) = 0 and the evenness of n (if = 2), yield Σ n () 1 nw (mod 2 ). Summarizing, the suercongruence (4.3) is equivalent to the system It in turn can be written as (4.5) ( 1 nw ) 1+n (mod 2 ),. +1 ( n(w +1) 1 ) (mod 2 ),. On the right-hand side, we substitute (mod 2 ) (deduced from (4.5) multilied by ), and arrive at (ii). This comletes the roof.

8 8 JONATHAN SONDOW AND KIEREN MACMILLAN Corollary 5. Let n 2 be even and let K be a rimary seudoerfect number with r 8 rime factors. (i). Then (n,k) is a solution of the suercongruence (4.3) if and only if either K = 2, or K = 42 and n 12 (mod 42). (ii). The suercongruence (4.6) 1 n +2 n + +K n (K +1) n (mod K 3 ) holds if and only if K = 2 and n 4. (iii). The Erdős-Moser equation has no solution (n,) with = K. Proof. (i). We use Table 1. (r = 1). Theorem 2 with = = 2 imlies (n,2) is a solution to (4.3). (This can also be seen directly from (4.3): both sides are congruent to 1 modulo 4.) (r = 2). Suose = 2 3 is a solution to (4.3). Since 2 n, condition (ii) in Theorem 2 with = 2 gives = (mod 4), a contradiction. Therefore, there is no solution with = 6. (r = 3). For = 2 3 7, condition (i) in Theorem 2 requires 6 n. Then (ii) is satisfied for = 2 and 3. For = 7, we need 6+1 7((103+1)n 1) (mod 49), which reduces to 3n 1 (mod 7). Since also 6 n, only n 12 (mod 42) gives a solution with = 42. (r = 4). If = , condition (ii) with = 2 rules out any solution. (r = 5). For = , condition (i) gives 3 n. As (mod 9), by (ii) 3 there is no solution. (r = 6,7,8). For the numbers K in Table 1 with r = 6,7,8 rime factors, conditions (i) and (ii) require +1 (mod 2 ), for = 2,3,2, resectively. But the requirement is violated in each case, and so no solution exists. (ii). Part (i) imlies that the only ossible solutions (n,k) of (4.6) are K = 2, and K = 42 with n 12 (mod 42). It is easy to chec that (n,k) = (2,2) is not a solution. To see that (n,2) is a solution when n 4 is even, we need to show that 1+2 n 3 n (mod 2 3 ). Since 1+2 n = 1+4 n/2 1 (mod 8) and 3 n = 9 n/2 = (1+8) n/2 1 (mod 8), the case K = 2 is roved. Now suose (4.6) holds with K = 42 and n 12 (mod 42). Since by setting n = 6n 1 we infer that (4.7) (K +1) n 1+nK n(n 1)K2 (mod K 3 ), Σ n (42) n n (mod 2 3 ). But as n 4 is even, each of the 42 terms in the sum Σ n (42) is congruent to 1 or 0 modulo 8 according as the term is odd or even, and so Σ n (42) 21 (mod 8). This contradicts (4.7), roving (ii). (iii). This follows from (ii) and the fact that if = 2 in the Erdős-Moser equation, then evidently n = 1.

9 REDUCING THE EQUATION 1 n +2 n + + n = ( +1) n MODULO AND 2 9 Examle 3. The simlest cases of (i) are (mod 2 2 ) and (mod 42 2 ). An examle of (ii) is (mod 2 3 ). (More generally, one can show that for any ositive integers n and d.) 1 n +2 n 3 n (mod 2 d ), if 2 d 1 n, In light of Theorem 1 and Corollary 4, it is natural to as whether Theorem 2 has an analogous corollary about suercongruences modulo 3. Conjecture 2. If 1 n +2 n + + n (+1) n (mod 2 ) and rime, then Σ n () Σ n() (mod 3 ). Examle 4. For = 2,3,7, one can comute that ( ) (mod 3 ). In fact, for = 2,3,7 it aears that Σ n (42) 42 Σ n() (mod 3 ) holds true not only when n 12 (mod 42), but indeed for all n 0 (mod 6). One reason may be that, for = 7 (but not for = 2 or 3), aarently 6 n imlies 2 Σ n 1 (). (Comare Σ n 1 () in the roof of Corollary 4.) Acnowledgments We are very grateful to Wadim Zudilin for contributing Theorem 2 and some of the other results in Section 4. The first author thans both the Max Planc Institute for Mathematics for its hositality during his visit in October 2008 when art of this wor was done, and Pieter Moree for rerints and discussions of his articles on the Erdős-Moser equation. The second author thans Angus MacMillan and Dr. Stanley K. Johannesen for sulying coies of hard-to-locate aers, and Drs. Jurij and Daria Darewych for underwriting art of the research. References N [1] W. Butse, L. M. Jaje, and D. R. Mayerni, On the equation N = 1, seudoerfect numbers, and erfectly weighted grahs, Math. Com. 69 (2000), [2] Z. Cao, R. Liu and L. Zhang, On the equation s ( 1 1 x j ) + (x 1 x s) = 1 and Znám s roblem, J. Number Theory 27 No. 2 (1987), [3] F. G. Eisenstein, Eine neue Gattung zahlentheoretischer Funtionen, welche von zwei Elementen abhaengen und durch gewisse lineare Funtional-Gleichungen definiert werden, Verhandlungen der Koenigl. Preuss. Aademie der Wiss. zu Berlin (1850), 36 42; rerinted in Mathematische Were, vol. 2, , Chelsea, New Yor, [4] R. Guy, Unsolved Problems in Number Theory, 3rd ed., Sringer, New Yor, [5] G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, 5th ed., Oxford University Press, Oxford, [6] Z. Ke and Q. Sun, On the reresentation of 1 by unit fractions, Sichuan Daxue Xuebao 1 (1964), [7] M. Lerch, Zur Theorie des Fermatschen Quotienten a 1 1 = q(a), Math. Ann. 60 (1905), [8] K. MacMillan and J. Sondow, Proofs of ower sum and binomial coefficient congruences via Pascal s identity, Amer. Math. Monthly (to aear); available at htt://arxiv.org/abs/ [9] K. MacMillan and J. Sondow, Divisibility of ower sums and the generalized Erdős-Moser equation, rerint (2010); available at htt://arxiv.org/abs/ [10] P. Moree, Diohantine equations of Erdős-Moser tye, Bull. Austral. Math. Soc. 53 (1996),

10 10 JONATHAN SONDOW AND KIEREN MACMILLAN [11] P. Moree, Moser s mathemagical wor on the equation (m 1) = m, rerint (2009); available at htt:// [12] P. Moree, H. Te Riele, and J. Urbanowicz, Divisibility roerties of integers x, satisfying (x 1) = x, Math. Com. 63 (1994), [13] L. Moser, On the Diohantine equation 1 n +2 n + +(m 1) n = m n, Scrita Math. 19 (1953), [14] D. Zagier, Problems osed at the St. Andrews Colloquium, 1996, available at htt://www-grous.dcs.st-and.ac.u/~john/zagier/problems.html. [15] W. Zudilin, Ramanujan-tye suercongruences, J. Number Theory 128 (2009), West 97th Street, New Yor, NY 10025, USA address: jsondow@alumni.rinceton.edu 49 Lessard Avenue, Toronto, Ontario, Canada, M6S 1X6 address: ieren@alumni.rice.edu