Jonathan Sondow 209 West 97th Street, New York, New York

Similar documents
arxiv: v5 [math.nt] 6 Dec 2012

Infinitely Many Quadratic Diophantine Equations Solvable Everywhere Locally, But Not Solvable Globally

#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

On the Multiplicative Order of a n Modulo n

#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS

ARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

Verifying Two Conjectures on Generalized Elite Primes

Representing Integers as the Sum of Two Squares in the Ring Z n

arxiv: v5 [math.nt] 22 Aug 2013

Diophantine Equations and Congruences

#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS

On the Diophantine Equation x 2 = 4q n 4q m + 9

March 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011

Then we characterize primes and composite numbers via divisibility

Mersenne and Fermat Numbers

Small Zeros of Quadratic Forms Mod P m

LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS

arxiv: v2 [math.nt] 7 May 2013

Some sophisticated congruences involving Fibonacci numbers

p-adic Properties of Lengyel s Numbers

BOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia

Congruences modulo 3 for two interesting partitions arising from two theta function identities

CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN

On generalizing happy numbers to fractional base number systems

FERMAT S LAST THEOREM

p 4 )(α p ) p 5 p

On the irreducibility of a polynomial associated with the Strong Factorial Conjecture

Number Theory Naoki Sato

arxiv: v2 [math.nt] 9 Oct 2018

An Overview of Witt Vectors

HENSEL S LEMMA KEITH CONRAD

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract

Pythagorean triples and sums of squares

SOME SUMS OVER IRREDUCIBLE POLYNOMIALS

Dirichlet s Theorem on Arithmetic Progressions

Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China

MA3H1 TOPICS IN NUMBER THEORY PART III

On the smallest point on a diagonal quartic threefold

On Erdős and Sárközy s sequences with Property P

#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS

#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS

Quadratic Reciprocity

MATH 3240Q Introduction to Number Theory Homework 7

An Estimate For Heilbronn s Exponential Sum

MATH 361: NUMBER THEORY EIGHTH LECTURE

CONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION

Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013

RECIPROCITY LAWS JEREMY BOOHER

CONGRUENCES MODULO 4 OF CALIBERS OF REAL QUADRATIC FIELDS. 1. Definitions and results

Intrinsic Approximation on Cantor-like Sets, a Problem of Mahler

Infinitely Many Insolvable Diophantine Equations

NOTES. The Primes that Euclid Forgot

BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO

Arithmetic Consequences of Jacobi s Two-Squares Theorem

A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,

A FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE

#A6 INTEGERS 15A (2015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I. Katalin Gyarmati 1.

By Evan Chen OTIS, Internal Use

MATH342 Practice Exam

A Curious Property of the Decimal Expansion of Reciprocals of Primes

THE DIOPHANTINE EQUATION x 4 +1=Dy 2

The Fibonacci Quarterly 44(2006), no.2, PRIMALITY TESTS FOR NUMBERS OF THE FORM k 2 m ± 1. Zhi-Hong Sun

p-adic Measures and Bernoulli Numbers

HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES

ISOSCELES TRIANGLES IN Q 3. Matt Noble Department of Mathematics, Middle Georgia State University, Macon, Georgia

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001

Around Prime Numbers And Twin Primes

Gaps in Semigroups. Université Pierre et Marie Curie, Paris 6, Equipe Combinatoire - Case 189, 4 Place Jussieu Paris Cedex 05, France.

ERRATA AND SUPPLEMENTARY MATERIAL FOR A FRIENDLY INTRODUCTION TO NUMBER THEORY FOURTH EDITION

The inverse Goldbach problem

MA3H1 Topics in Number Theory. Samir Siksek

ON THE SUPERCONGRUENCE CONJECTURES OF VAN HAMME

16 The Quadratic Reciprocity Law

arxiv: v1 [math.nt] 4 Nov 2015

Practice Final Solutions

PARTITIONS AND (2k + 1) CORES. 1. Introduction

2 Asymptotic density and Dirichlet density

Applicable Analysis and Discrete Mathematics available online at HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS

2 Asymptotic density and Dirichlet density

arxiv:math/ v1 [math.nt] 5 Apr 2006

1. Introduction. = (2n)! (n N)

GAUSSIAN INTEGERS HUNG HO

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields

We collect some results that might be covered in a first course in algebraic number theory.

A supersingular congruence for modular forms

Explicit Bounds for the Sum of Reciprocals of Pseudoprimes and Carmichael Numbers

Math 261 Exam 2. November 7, The use of notes and books is NOT allowed.

A CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO p. 1. Introduction

ON THE DISTRIBUTION OF THE PARTIAL SUM OF EULER S TOTIENT FUNCTION IN RESIDUE CLASSES

PRIME NUMBERS YANKI LEKILI

Algebraic Number Theory

1 Integers and the Euclidean algorithm

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS

MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems

6 Binary Quadratic forms

Transcription:

#A34 INTEGERS 11 (2011) REDUCING THE ERDŐS-MOSER EQUATION 1 n + 2 n + + k n = (k + 1) n MODULO k AND k 2 Jonathan Sondow 209 West 97th Street, New York, New York jsondow@alumni.rinceton.edu Kieren MacMillan 55 Lessard Avenue, Toronto, Ontario, Canada kieren@alumni.rice.edu Received: 2/13/11, Acceted: 4/4/11, Published: 5/27/11 Abstract An oen conjecture of Erdős and Moser is that the only solution of the Diohantine equation in the title is the trivial solution 1+2 = 3. Reducing the equation modulo k and k 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. The roofs use divisibility roerties of ower sums as well as Lerch s relation between Fermat and Wilson quotients. Examles are rovided using rimary seudoerfect numbers. 1. Introduction Around, Erdős and Moser made the following conjecture. Conjecture 1. (Erdős-Moser) The only solution of the Diohantine equation is the trivial solution 1 + 2 = 3. 1 n + 2 n + + k n = (k + 1) n (1) Using rime number theory, Moser [10] roved the statement for odd exonents n. By considering (1) modulo k, k+2, 2k+1, and 2k+3, and combining the information so obtained, Moser also showed that if a solution with even n exists, then both n and k must exceed 10 106. This bound was later imroved by several authors the current record is 10 10 9, obtained by Gallot, Moree, and Zudilin [3] using continued fractions. On the other hand, it has not even been roved that the Erdős-Moser equation (1) has only finitely many solutions. For surveys of work on this and related roblems, see Butske, Jaje, and Mayernik [1], Guy [4, D7], and Moree [8, 9].

INTEGERS: 11 (2011) 2 The next section gives necessary and sufficient conditions on solutions of the congruence 1 n + 2 n + + k n (k + 1) n (mod k) (2) in Theorem 3, which was roved imlicitly by Moser in [10]. An alication is a new roof of his result that Conjecture 1 is true for odd exonents n. We also connect Theorem 3 with rimary seudoerfect numbers. In Section 3, we extend the theorem by giving necessary and sufficient conditions on solutions to the suercongruence modulo a square 1 n + 2 n + + k n (k + 1) n (mod k 2 ) (3) in Theorem 10. Here the conditions involve the Wilson quotient, and the roof uses Lerch s formula relating Fermat and Wilson quotients. In the final section, we consider two suercongruences modulo a cube, and make a conjecture about one of them. 2. Congruences We will use a well-known congruence for ower sums. Lemma 2. If n is a ositive integer and is a rime, then 1 n + 2 n + + n 1 (mod ), ( 1) n, 0 (mod ), ( 1) n. Proof. See Hardy and Wright [5, Theorem 119] for the standard roof using rimitive roots, or MacMillan and Sondow [7] for a recent elementary roof. We now give necessary and sufficient conditions on solutions to (2). Theorem 3. Given ositive integers n and k, the congruence holds if and only if rime k imlies (i) n 0 (mod ( 1)), and (ii) k + 1 0 (mod ). 1 n + 2 n + + k n (k + 1) n (mod k) (4) In that case, k is square-free, and if n is odd, then k = 1 or 2.

INTEGERS: 11 (2011) 3 Proof. Note first that if n, k and are any ositive integers with k, then S n (k) := 1 n + 2 n + + k n = k/ h=1 ((h 1) + j) n k S n() (mod ). (5) Now assume (i) and (ii) hold when rime k. Then, using Lemma 2, both S n () and k/ are congruent to 1 modulo, and (5) gives S n (k) 1 (mod ). Thus, as (ii) imlies k is square-free, k is a roduct of distinct rimes each of which divides S n (k) 1. It follows that S n (k) 1 (mod k), imlying (4). Conversely, assume that (4) holds, so that S n (k) 1 (mod k). If rime k, then (5) gives (k/) S n () 1 (mod ), and so S n () 0 (mod ). Now Lemma 2 yields both ( 1) n, roving (i), and S n () 1 (mod ), imlying (ii). If n is odd, then by (i) no odd rime divides k. As k is square-free, k = 1 or 2. Here is an easy consequence, due to Moser. Corollary 4. 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 3 imlies k = 1 or 2. But k = 1 is clearly imossible, and k = 2 evidently forces n = 1. Solutions to (4) are related to the notion of a rimary seudoerfect number, defined by Butske, Jaje, and Mayernik [1] as an integer K > 1 that satisfies the Egytian fraction equation 1 K + 1 = 1, K where the summation is over all rimes dividing K. In articular, K is squarefree. By comutation, they found all such numbers K with eight or fewer rime factors (see [1, Table 1]). The first few are K = 2, 6, 42, 1806, 47058,.... Here is the connection between such numbers and solutions of the congruence (4). (Recall that for real numbers, x y (mod 1) means that x y is an integer.) Corollary 5. The ositive integers n and k satisfy the congruence (4) if and only if n is divisible by the least common multile LCM{ 1 : rime k} and k satisfies the Egytian fraction congruence 1 k + k 1 1 (mod 1). (6) In articular, every rimary seudoerfect number K gives a solution k = K to (4), for some exonent n.

INTEGERS: 11 (2011) 4 Proof. Condition (6) is equivalent to the congruence 1 + k k 0 (mod k), (7) which in turn is equivalent to condition (ii) in Theorem 3, since each imlies k is square-free. The theorem now imlies the corollary. Examle 6. Since 47058 = 2 3 11 23 31 and 1 47058 + 1 2 + 1 3 + 1 11 + 1 23 + 1 31 = 1, we see by comuting LCM(1, 2, 10, 22, 30) = 330 that one solution of (4) is 1 330 + 2 330 + + 47058 330 47059 330 (mod 47058). Examles 11 and 14 give a fortiori two other cases of the congruence (4) with k = K a rimary seudoerfect number. We exlore this relation more thoroughly in a aer in rearation. 3. Two Suercongruences Modulo a Square If the conditions in Theorem 3 are satisfied, the following corollary shows that the congruence (5) can be relaced with a suercongruence. Corollary 7. If 1 n + 2 n + + k n (k + 1) n (mod k) and rime k, then 1 n + 2 n + + k n k (1n + 2 n + + n ) (mod 2 ). (8) Proof. By Theorem 3, it suffices to rove the more general statement that, if rime k and ( 1) n, and if either k = 2 or n is even, then (8) holds. Set a = k/ in the equation (5). Exanding and summing, we see that S n (k) as n () + 1 2 a(a 1)nS n 1() (mod 2 ). If > 2, then ( 1) n imlies ( 1) (n 1), and Lemma 2 gives S n 1 (). In case = 2, either a = k/2 = 1 or 2 n, and each imlies 2 (1/2)a(a 1)n. In all cases, (8) follows. For an extension of Theorem 3 itself to a suercongruence, we need a definition and a lemma.

INTEGERS: 11 (2011) 5 Definition 8. By Fermat s and Wilson s theorems, for any rime the Fermat quotient q (j) := j 1 1 ( j), (9) and the Wilson quotient w := ( 1)! + 1 are integers. Lemma 9. (Lerch [6]) 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 (9). Substituting a 1 = q (a) + 1 and b 1 = q (b) + 1, we deduce Eisenstein s relation [2] q (ab) q (a) + q (b) (mod ), which imlies 1 q (( 1)!) q (j) (mod ). On the other hand, setting j = ( 1)! = w 1 in (9) and exanding leads, as 1 is even, to q (( 1)!) w (mod ). This roves the lemma. We now give necessary and sufficient conditions on solutions to (3). Theorem 10. For n = 1, the suercongruence 1 n + 2 n + + k n (k + 1) n (mod k 2 ) (10) holds if and only if k = 1 or 2. For n 3 odd, (10) holds if and only if k = 1. Finally, for n 2 even, (10) holds if and only if rime k imlies (i) n 0 (mod ( 1)), and (ii) k + 1 (n(w + 1) 1) (mod 2 ).

INTEGERS: 11 (2011) 6 Proof. To rove the first two statements, use Theorem 3 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 3, we may assume that (i) holds if k, and that k is square-free. It follows that the suercongruence (10) is equivalent to the system S n (k) (k + 1) n (mod 2 ), k. Corollary 7 and exansion of (k + 1) n allow us to write the system as k S n() 1 + nk (mod 2 ), k. Since n is at least 2 and ( 1) n, we have S n () S n ( 1) (mod 2 ) 1 = (j 1 ) n/( 1). Substituting j 1 = 1 + q (j) and exanding, the result is 1 S n () 1 + n 1 q 1 (j) 1 n q (j) (mod 2 ), (11) 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 S n () 1 nw (mod 2 ). Summarizing, the suercongruence (10) is equivalent to the system k ( 1 nw ) 1 + nk (mod 2 ), k. It in turn can be written as k + 1 k n(w + 1) 1 (mod 2 ), k. (12) On the right-hand side, we substitute k (mod 2 ) (deduced from (12) multilied by ), and arrive at (ii). This comletes the roof. Examle 11. Given any solution of (10) with n > 1 and k a rimary seudoerfect number having eight or fewer rime factors, one can show that k = 2 or 42 (see Corollary 5 in [11], an early version of the resent aer). Examle 14 illustrates the case k = 2. For k = 42, the simlest examle is 1 12 + 2 12 + + 42 12 43 12 (mod 42 2 ).

INTEGERS: 11 (2011) 7 4. Two Suercongruences Modulo a Cube In light of the extension of Theorem 3 to Theorem 10, it is natural to ask whether Corollary 7 extends as well. Numerical exeriments suggest that it does. Conjecture 12. If 1 n + 2 n + + k n (k + 1) n (mod k 2 ) and rime k, then 1 n + 2 n + + k n k (1n + 2 n + + n ) (mod 3 ). Examle 13. For = 2, 3, and 7, one can comute that 1 12 + 2 12 + + 42 12 42 1 12 + 2 12 + + 12 (mod 3 ). In fact, for = 2, 3, and 7 it aears that S n (42) (42/) S 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 S n 1 (). (Comare S n 1 () in the roof of Corollary 7.) Just as Corollary 7 heled in the roof of Theorem 10, a roof of Conjecture 12 might hel in extending Theorem 10 to necessary and sufficient conditions on solutions to the suercongruence 1 n + 2 n + + k n (k + 1) n (mod k 3 ). Examle 14. Given any solution with n > 1 and k a rimary seudoerfect number having eight or fewer rime factors, one can show that k = 2. The smallest case is 1 4 + 2 4 3 4 (mod 2 3 ). More generally, for any ositive integers n and d we have 1 n + 2 n 3 n (mod 2 d ), if 2 d 1 n. Acknowledgments We are very grateful to Wadim Zudilin for contributing the results in Section 3, and to the anonymous referee whose suggestions led to imrovements in the exosition. The first author thanks both the Max Planck Institute for Mathematics for its hositality during his visit in October 2008 when art of this work was done, and Pieter Moree for rerints and discussions of his articles on the Erdős-Moser equation. The second author thanks 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 [1] W. Butske, L. M. Jaje, and D. R. Mayernik, On the equation N 1 + 1 = 1, seudoerfect N numbers, and erfectly weighted grahs, Math. Com. 69 (2000), 407 420; also available at htt://www.ams.org/journals/mcom/2000-69-229/s0025-5718-99-01088-1/.

INTEGERS: 11 (2011) 8 [2] F. G. Eisenstein, Eine neue Gattung zahlentheoretischer Funktionen, welche von zwei Elementen abhaengen und durch gewisse lineare Funktional-Gleichungen definiert werden, Verhandlungen der Koenigl. Preuss. Akademie der Wiss. zu Berlin (1850), 36 42; rerinted in Mathematische Werke, vol. 2, 705 711, Chelsea, New York, 1975. [3] Y. Gallot, P. Moree, and W. Zudilin, The Erdős-Moser equation 1 k +2 k + +(m 1) k = m k revisited using continued fractions, Math. Com. 80 (2011), 1221 1237; also available at htt://arxiv.org/abs/0907.1356. [4] R. Guy, Unsolved Problems in Number Theory, 3rd ed., Sringer, New York, 2004. [5] G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, D. R. Heath-Brown and J. H. Silverman, eds., 6th ed., Oxford University Press, Oxford, 2008. [6] M. Lerch, Zur Theorie des Fermatschen Quotienten a 1 1 = q(a), Math. Ann. 60 (1905), 471 490. [7] K. MacMillan and J. Sondow, Proofs of ower sum and binomial coefficient congruences via Pascal s identity, Amer. Math. Monthly 118 (2011), 549 551; also available at htt: //arxiv.org/abs/1011.0076. [8] P. Moree, A to hat for Moser s four mathemagical rabbits, Amer. Math. Monthly 118 (2011), 364 370; also available at htt://arxiv.org/abs/1011.2956. [9] P. Moree, Moser s mathemagical work on the equation 1 k + 2 k +... + (m 1) k = m k, Rocky Mountain J. Math. (to aear); available at htt://arxiv.org/abs/1011.2940. [10] L. Moser, On the Diohantine equation 1 n + 2 n + + (m 1) n = m n, Scrita Math. 19 (1953), 84 88. [11] J. Sondow and K. MacMillan, Reducing the Erdős-Moser equation 1 n +2 n +...+k n = (k+1) n modulo k and k 2 (2010, rerint); available at htt://arxiv.org/abs/1011.2154v1.

2024 © sciencedocbox.com Privacy Policy | Terms of Service | Feedback