arxiv: v1 [math.nt] 1 Sep 2017

Transcription

1 ON THE DIOPHANTINE EQUATION (x+1) k +(x+) k +...+(x) k = y n ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN arxiv: v1 [math.nt] 1 Sep 017 Abstract. In this work, we give upper bounds for n on the title equation. Our results depend on assertions describing the precise exponents of and 3 appearing in the prime factorization of T k (x) = (x+1) k +(x+) k (x) k. Further, on combining Baker s method with the explicit solution of polynomial exponential congruences (see e.g. [6]), we show that for x 13,k 1,y and n 3 the title equation has no solutions. 1. Introduction Let x and k be positive integers. Write S k (x) = 1 k + k +...+x k for the sum of the k th powers of the first x positive integers. The Diophantine equation S k (x) = y n, (1.1) in unknown positive integers k,n,x,y with n has a rich history. In 1875, the classical question of Lucas [1] was whether equation (1.1) has only the solutions x = y = 1 and x = 4, y = 70 for (k,n) = (,). In 1918, Watson [1] solved equation (1.1) with (k,n) = (,). In 1956, Schäffer [17] considered equation (1.1). He showed, for fixed k 1 and n, that (1.1) possesses at most finitely many solutions in positive integers x and y, unless (k,n) {(1,),(3,),(3,4),(5,)} (1.) where, in each case, there are infinitely many such solutions. There are several effective and ineffective results concerning equation (1.), see the survey paper [8]. Schäffer s conjectured that (1.) has the unique non-trivial (i.e. (x, y) (1,1)) solution, namely (k,n,x,y) = (,,4,70). In 004, Jacobson, Pintér, Walsh [10] and Bennett, Győry, Pintér [3], proved that the Schäffer s conjecture 010 Mathematics Subject Classification. 11D41, 11D61. Key words and phrases. Power sums, powers, polynomial-exponential congruences, linear forms in two logarithms. 1

2 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN is true if k 58, k is even n = and k 11, n is arbitrary, respectively. In 007, Pintér [15], proved that the equation S k (x) = y n, in positive integers x,y,n with n > (1.3) has only the trivial solution (x,y) = (1,1) for odd values of k, with 1 k < 170. In 015, Hajdu [9], proved that Schäffer s conjecture holds under certain assumptions on x, letting all the other parameters free. He also proved that the conjecture is true if x 0,3 (mod 4) and x < 5. The main tools in the proof of this result were the -adic valuation of S k (x) and local methods for polynomial-exponential congruences. Recently Bérczes, Hajdu, Miyazaki and Pink [6], provided all solutions of equation (1.1) with 1 x < 5 and n 3. Now we consider the Diophantine equation for fixed positive integers k and d. (x+1) k +(x+) k +...+(x+d) k = y n (1.4) In 013, Zhang and Bai [], considered the Diophantine equation (1.4) with k =. They first proved that all integer solutions of equation (1.4) such that n > 1 and d = x are (x,y) = (0,0), (x,y,n) = (1,±,),(,±5,),(4,±18,) or (x,y) = ( 1, 1) with n. Secondly, they showed that if p ±5 (mod 1) isprime, p dandv p (d) 0 (mod n), thenequation(1.4)hasnointegersolution (x,y) with k =. In 014, the equation (x 1) k +x k +(x+1) k = y n x,y,n Z, n, (1.5) was solved completely by Zhang [], for k =,3,4 and the next year, Bennett, Patel and Siksek [4], extend Zhang s result, completely solving equation (1.5) in the cases k = 5 and k = 6. In 016, Bennett, Patel and Siksek [5], considered the equation (1.4). They gave the integral solutions to the equation (1.4) using linear forms in logarithms, sieving and Frey curves where k = 3, d 50, x 1 and n is prime. Let k be even, and let r be a non-zero integer. Recently, Patel and Siksek [14], showed that for almost all d (in the sense of natural density), the equation x k +(x+r) k +...+(x+(d 1)r) k = y n, x,y,n Z, n has no solutions. Let k,l be fixed integers. More recently, Soydan [0], considered the equation (x+1) k +(x+) k +...+(lx) k = y n, x,y 1,n Z, n (1.6)

3 ON THE DIOPHANTINE EQUATION (x + 1) k + (x+) k +...+(x) k = y n 3 in integers. He proved that the equation (1.6) has only finitely many solutions in positive integers, x,y,k,n where l is even, n and k 1,3. He also showed that the equation (1.6) has infinitely many solutions where n, l is even and k = 1,3. In this paper, we are interested in the integer solutions of the equation T k (x) = y n (1.7) where T k (x) = (x+1) k +(x+) k +...+(x) k (1.8) for positive integer k. We provide upper bounds for n and give some results about equation (1.7).. The main results Our main results provide upper bounds for the exponent n in equation (1.7) in terms ofand 3-valuationsv and v 3 of some functions ofxand x,k. Further, on combining Theorem.1 with Baker s method and with a version of the local method (see e.g. [6]), we show that for x 13,k 1,y and n 3 equation (1.7) has no solutions. For a prime p and an integer m, let v p (m) denote the highest exponent v such that p v m. Theorem.1. (i) Assume first that x 0 (mod 4). Then for any solution (k,n,x,y) of equation (1.7), we get n { v (x) 1, if k = 1 or k is even, v (x), if k 3 is odd. (ii) Assume that x 1 (mod 4) and k = 1, then for any solution (k,n,x,y) of equation (1.7), we get n v (3x+1) 1.

4 4 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN Suppose next that x 1,5 (mod 8) and x 1 (mod 3) with k 1. Then for any solution (k,n,x,y) of equation (1.7), we get v (7x+1) 1, if x 1 (mod 8) and k=, v ((5x+3)(3x+1)), if x 1 (mod 8) and k = 3, v (3x+1), if x 5 (mod 8) and k 3 is odd, 1, if x 5 (mod 8) and k is even, n, if x 9 (mod 16) and k 4 is even, 3, if x 9 (mod 16) and k 5 is odd or if x 17 (mod 3) and k 4 is even, 4, if x 17 (mod 3) and k 5 is odd. (iii) Suppose now that x 0 (mod 3) and k is odd or x 0,4 (mod 9) and k is even. Then for any solution (k,n,x,y) of equation (1.7), v 3 (x), if x 0 (mod 3) and k = 1, v 3 (x) 1, if x 0 (mod 9) and k is even, n v 3 (kx ), if x 0 (mod 3) and k > 3 is odd, v 3 (x (5x+3)), if x 0 (mod 3) and k = 3, v 3 (x+1) 1, if x 4 (mod 9) and k is even. Theorem.. Assume that x 1,4 (mod 8) or x 4,5 (mod 8). Then Eq. (1.7) has no solution with k = 1 or k is even, respectively. Theorem.3. Consider equation (1.7) in positive integer unknowns (x, k, y, n) with x 13,k 1,y and n 3. Then equation (1.7) has no solutions. 3. Auxiliary results 3.1. Bernoulli polynomials. The Bernoulli polynomials B q (x) are defined by ze zx e z 1 = B q (x)z q, z < π. q! q=0 Their expansion around the origin is given by q ( ) q B q (x) = B i x q i, (3.1) i i=0 where B n = B n (0) for (n = 0,1,,...) are the Bernoulli numbers. For the following properties of Bernoulli Polynomials, we refer to Haynsworth and Goldberg, [1], pp (see also Rademacher, [16]): B k = B k (0), k = 0,1,,... (3.)

5 ON THE DIOPHANTINE EQUATION (x + 1) k + (x+) k +...+(x) k = y n 5 B k+1 (0) = B k+1 (1) = B k+1 = 0, k = 1,,... (3.3) B k (1 x) = ( 1) k B k (x) (3.4) B k (x)+b k (x+ 1 ) = 1 k B k (x) (3.5) ( 1) k+1 B k+1 (x) > 0, k = 1,,... 0 < x < 1 (3.6) The polynomials S k (x) are strongly connected to the Bernoulli polynomials since S k (x) may be expressed as S k (x) = 1 k +1 (B k+1(x+1) B k+1 (0)). (3.7) 3.. Decomposition of the polynomials S k (x) and T k (x). We start by statingsomewell-knownpropertiesofthe polynomials k (x) whichwewill needlater; see e.g. [16] for details. If k = 1, then S 1 (x) = x(x+1) while, if k > 1, we can write { 1 C S k (x) = k x (x+1) R k (x), if k > 1 is odd, 1 C k x(x+1)(x+1)r k (x), if k > 1 is even. wherec k is apositive integerand R k (x) isapolynomialwith integercoefficients. By T k (x) = S k (x) S k (x) the polynomial T k (x) is also in a strong connection with the Bernoulli polynomials. This connection is shown in the below Lemma. Lemma 3.1. T k (x) = B k+1(x+1) B k+1 (x+1) k +1 where B q (x) is the q-th Bernoulli polynomial defined by (3.1). (3.8) Proof. It is an application of the equality N 1 n=m n k = 1 k +1 {B k+1(n) B k+1 (M)} which is given by Rademacher in [16], pp Secondly, applying Lemma 3.1 to equation (1.7), we have the following:

6 6 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN Lemma 3.. If k = 1, then T 1 (x) = x(3x+1), while for k > 1 we can write (i) T k (x) = 1 D k x(x+1)m k, if k is even, (ii) T k (x) = 1 D k x (3x+1)M k, if k > 1 is odd where D k is a positive integer and M k (x) is a polynomial with integer coefficients. Proof. (i) Firstly we prove that x = 0 and x = 1 are roots of the polynomial T k (x) where k is even. By (3.8), we have It is clear that x = 0 and x = 1 T k (x) = B k+1(x+1) B k+1 (x+1). (3.9) k +1 satisfy (3.9) by using (3.3) and (3.4). Secondly we show that x = 0 and x = 1 are simple roots of T k(x) for k even. Since for the Bernoulli polynomials B n (x) we have and we may write db n (x) dx = nb n 1 (x) T k (x) = (k +1)(B k(x+1) B k (x+1)) (3.10) T k(x) = k(k +1)(4B k 1 (x+1) B k 1 (x+1)). (3.11) Ifk iseven, thent k (0) = (k+1)(b k(1) B k (1)) = (k+1)b k (1) 0. Sox = 0isasimplerootofT k (x). Similarly,sinceT k ( 1 ) = (k+1)(b k(0) B k ( 1 )) 0 it follows that x = 1 is the simple root of T k(x) where k is even. (ii) Now by (3.4) and (3.9) we see that x = 1 3 is a root of T k(x) whenever k > 1 is odd. Using (3.4), (3.6), (3.8) and (3.9), we have T k ( 1 3 ) = 0 T k ( 1 3 ). So x = 1 3 is a simple root of T k(x) where k is odd. Similarly we can show that x = 0 is a double root of T k (x) if k is odd. So, the proof is completed Congruence properties of S k (x). In this subsection we give some useful lemmas which will be used to prove some of our main results. Lemma 3.3. ([19], Lemma 1) If p is a prime, d, q N, k Z +, m 1 p d N {0} and m p d N {0}, then S k (qm 1 +m ) qs k (m 1 )+S k (m ) (mod p d ). (3.1) Proof. The proof is similar to Lemma 1 in [19].

7 ON THE DIOPHANTINE EQUATION (x + 1) k + (x+) k +...+(x) k = y n 7 Lemma 3.4. ([9], Lemma 3.) Let x be a positive integer. Then we have v 3 (x(x+1)), if k = 1, v 3 (x(x+1)(x+1)) 1, if k is even, v 3 (S k (x)) = 0, if x 1 (mod 3) and k 3 is odd, v 3 (kx (x+1) ) 1, if x 0, (mod 3) and k 3 is odd. Lemma 3.5. ([19], Theorem 3) Let p be an odd prime and let m and k be positive integers. (i) For some integer d 1, we can write m = qp d +r pd 1 p 1 = qpd +rp d 1 +rp d + +rp 0, where r {0,1,...,p 1} and 0 q r m (mod p). (ii) In the case of m 0 (mod p), we have { p d 1 (mod p d ), if p 1 k, S k (m) 0 (mod p d ), if p 1 k. (iii) In the case of m 1 (mod p), we have { p d 1 (q +1) (mod p d ), if p 1 k, S k (m) 0 (mod p d ), if p 1 k. (iv) In the case of m p 1 (mod p), we have { p d 1 (q + 1 S k (m) ) (mod pd ), if p 1 k, 0 (mod p d ), if p 1 k Linear forms in logarithms. For an algebraic number α of degree d over Q, we define the absolute logarithmic height of α by the following formula: ( h(α) = 1 d log a 0 + logmax { 1, α (i) }), d i=1 where a 0 is the leading coefficient of the minimal polynomial of α over Z, and α (1),α (),...,α (d) are the conjugates of α in the field of complex numbers. Let α 1 and α be multiplicatively independent algebraic numbers with α 1 1 and α 1. Consider the linear form in two logarithms: Λ = b logα b 1 logα 1, where logα 1,logα are any determinations of the logarithms of α 1,α respectively, and b 1,b are positive integers. We shall use the following result due to Laurent [11].

8 8 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN Lemma 3.6 ([11], Theorem ). Let ρ and µ be real numbers with ρ > 1 and 1/3 µ 1. Set σ = 1+µ µ, λ = σlogρ. Let a 1,a be real numbers such that where a i max{1, ρ logα i log α i +Dh(α i )} (i = 1,), Let h be a real number such that { ( h max D log We assume that D = [Q(α 1,α ) : Q]/[R(α 1,α ) : R]. ( b1 a + b a 1 ) ) +logλ , λ, Dlog }. a 1 a λ. Put H = h λ + 1 σ, ω = H, θ = H + 1 H. Then we have log Λ Ch a 1 a ωθh log ( C h ) a 1 a with where C 0 = h = h+ λ σ, C = C µ 0 λ 3 σ, C = Cσωθ λ 3 µ, ( ω ω 9 + 8λω5/4 θ 1/4 3 a 1 a H + 4 ( ) ) λω. 1/ 3 a 1 a H 3.5. A Baker type estimate. LetA = {,3,6,7,10,11}and considerequation (1.7) with x A. The following lemma provides sharp upper bounds for the solutions n,k of the equation (1.7) and will be used in the proof of Theorem.3. Lemma 3.7. Let A = {,3,6,7,10,11} and consider equation (1.7) with x A in integer unknowns (k,y,n) with k 83,y and n 3 a prime. Then for y > 4x we have n n 0, for y > 10 6 even n n 1 holds, and for y 4x we have k k 1, where n 0 = n 0 (x),n 1 = n 1 (x) and k 1 = k 1 (x) are given in Table 1. Proof. In the course of the proof we will always assume that x A and we distinguish three cases according to y > 4x, y > 10 6 or y 4x. Case I. y > 4x

9 ON THE DIOPHANTINE EQUATION (x + 1) k + (x+) k +...+(x) k = y n 9 x n 0 (y > 4x ) n 1 (y > 10 6 ) k 1 (y 4x ) 7, 500 3, 00 45, , , , , , , , , , , , 000 1, 450, , , 000 1, 750, 000 Table 1. Bounding n and k under the indicated conditions We may suppose, without loss of generality, that n is large enough, that is n > n 0. (3.13) Further, by k 83 we easily deduce that for every x A we have and (x+1) k +(x+) k + +(x) k < (x) k, (3.14) (x+1) k +(x+) k + +(x 1) k < (x 1) k. (3.15) Since y > 4x by (1.7), (3.14) and x we get that k n. (3.16) Using (3.16) and the fact that n is odd we may write k in the form k = Bn+r with B 1, 0 r n 1. (3.17) We show that in (3.17) we have r 0. On the contrary, suppose r = 0. Then, using (1.7) and (3.15) we infer by (3.17) that (x 1) k > (x+1) k +(x+) k + +(x 1) k = y n (x) k = y n (x) Bn Hence = (y (x) B )(y n 1 + +(x) B(n 1) ) (x) B(n 1). n < log(x) ( ) + log ( log Blog x x 1 x x 1 This together with x 11 and B 1 implies n < 8, which contradicts (3.13). Thus, r 0. On dividing equation (1.7), by y n we obviously get 1 (x)k y n ). = s yn, (3.18)

10 10 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN where s = (x+1) k +...+(x 1) k. Using (3.17) and (3.18) we infer that ( ) (x) B n (x)r 1 y = s yn. (3.19) Put { rlog(x) nlog y (x) if r > 0, Λ r = B (3.0) r log(x) nlog (x)b y if r < 0. In what follows we find upper and lower bounds for log Λ r. We distinguish two subcases according to respectively. If 1 (x)k y n 1 (x)k y n or 1 (x)k y n < 0.795, then by (1.7) and (3.14) we immediately obtain a contradiction, so we may assume that the latter case holds. It is well known (see Lemma B. of [18]) that for everyz R with z 1 < one has logz < z 1. (3.1) On applying inequality (3.1) with z = (x) k /y n we get by (3.18), (3.19), (3.0) and (x) k y n that Observe that (1.7) implies Λ r < s yn. (3.) k < nlogy logx. (3.3) Thus by (3.), (3.15) and (3.3) we infer that log Λ r < log( ) x x 1 (logy)n+log4. (3.4) log(x) Next, for a lower bound for log Λ r, we shall use Lemma 3.6 with ( ) y (x),x,n,r if r > 0, (α 1,α,b 1,b ) = ( B ) (x) B y,x,n, r if r < 0. Using (1.7) and (3.14) one can easily check that α 1 > 1 and α > 1. We show that α 1,α are multiplicatively independent. Assume the contrary. Then the set of prime factors of y coincides with that of x. This implies that y must be even. But for x A we easily see that y is odd, which is a contradiction, proving that α 1 and α are multiplicatively independent. Now, we apply Lemma 3.6 for every x A with (ρ, µ) = (7.7, 0.57). (3.5)

11 ON THE DIOPHANTINE EQUATION (x + 1) k + (x+) k +...+(x) k = y n 11 In what follows we shall derive upper bounds for the quantities ρ logα i log α i +Dh(α i ), (i = 1,) occurring in Lemma 3.6. Since D = 1 and α > 1, for i = we get For i = 1 we obtain ρ logα log α +Dh(α ) = (ρ+1)logx. (3.6) ρ logα 1 log α 1 +Dh(α 1 ) < ρ+1 logx+logy, (3.7) To verify that (3.7) is valid we shall estimate logα 1 and h(α 1 ) from above, by using equation (1.7), i.e. s+(x) Bn+r = y n. Observe ( ) { (x) B h(α 1 ) = h logmax{(x) B logy if r > 0,,y} = y log(x) B if r < 0. If r > 0, then ( y α n 1 = (x) B so ) n = (x) r + s ( = (x)r 1+ s ) (x) Bn (x) k < (x) r (as s < (x) k ), logα 1 < log n + r n log(x) log n + n 1 n log(x), whence ρ logα 1 log α 1 +Dh(α 1 ) < ( log < nlog(x) + n 1 ) (ρ 1) log(x)+logy n which by (3.5) and x clearly implies (3.7). If r < 0, then ( ) (x) α n B n ( 1 = = (x) r 1 s ) y y n < (x) r = (x) r, so logα 1 < r n log(x) n 1 n log(x), and log(x) B = logα 1 +logy < n 1 n log(x)+logy, and we get ρ logα 1 log α 1 +Dh(α 1 ) < ( ) n 1 n 1 < (ρ 1)+ log(x)+logy, n n which by (3.13) again implies (3.7). In view of (3.6) we can obviously take for every x A a = (ρ+1)log(x), (3.8)

12 1 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN while for the values a 1 we use the upper bound occurring in (3.7). Namely, we can take a 1 as a 1 = ρ+1 log(x)+logy if x A (3.9) Since µ = 0.57 we get σ = and λ = logρ, (3.30) whence by (3.5), (3.8), (3.9), (3.30) and y > 4x we easily check that for every x A a 1 a > λ holds. Now, we are going to derive an upper bound h for the quantity { ( ( b1 max D log + b ) ) +logλ , λ, Dlog }. a a 1 Using D = 1, (3.5), (3.8), (3.9), (3.30) and y > 4x, for the values of h occurring in Lemma 3.6 we obtain h = logn+ε, with ε = ε(x) given in Table. x ε Table. Choosing the parameter h = logn + ε occurring in Lemma 3.6 if the case y > 4x Further, by (3.13) we easily check that for the above values of h assumptions of Lemma 3.6 concerning the parameter h are satisfied. Using (3.13) again we obtain a lower bound for H and hence upper bounds for ω and θ. Moreover, using these values of ω and θ by (3.5), (3.8), (3.9), (3.30) and y > 4x for x A we obtain Table 3. x H ω θ C 0 C C h log n log n log n log n log n log n Table 3. Lower bounds for H and upper bounds for ω,θ,c 0,C,C,h occurring in Lemma 3.6 if y > 4x

13 ON THE DIOPHANTINE EQUATION (x + 1) k + (x+) k +...+(x) k = y n 13 By Lemma 3.6 we obtain log Λ r > Ch a 1 a ωθh log(c h a 1 a ), (3.31) whence on comparing (3.4) with (3.31) we get ( Ch a 1 a ωθ n < + logy logy h + log(c h a 1 a ) + log4 logy logy ) logx log x. (3.3) x 1 Finally, using (3.8), (3.9) and y > 4x for x A, by Table 3 we easily see that inequality (3.3) contradicts (3.13), proving the desired bounds for n in this case. Case II. y > 10 6 We work as in the previous case. Namely, we apply Lemma 3.6 again, the only difference is that in this case for y we may write y > We may suppose, without loss of generality, that n is large enough, that is Further, we choose µ = 0.57 uniformly, and set { 9.6 if x =,3,6,7 ρ = 9.3 if x = 10,11. n > n 1. (3.33) (3.34) As before, we may take a 1 and a as in (3.9) and (3.8). Thusby (3.34), (3.9), (3.8) andy > 10 6 forthe valuesofhoccurringin Lemma 3.6 we obtain h = logn+ε, with ε = ε(x) given in Table 4. x ε Table 4. Choosing the parameter h = logn + ε occurring in Lemma 3.6 if y > 10 6 On combining (3.8), (3.9), (3.33), (3.34) with y > 10 6 and with Table 4 we obtain Table 5.

14 14 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN x H ω θ C 0 C C h log n log n log n log n log n log n Table 5. Lower bounds for H and upper bounds for ω,θ,c 0,C,C,h occurring in Lemma 3.6 if y > 10 6 By Lemma 3.6 we obtain log Λ r > Ch a 1 a ωθh log(c h a 1 a ), (3.35) whence on comparing (3.4) with (3.35) we obtain ( Ch a 1 a ωθ n < + logy logy h + log(c h a 1 a ) + log4 logy logy ) logx log x. (3.36) x 1 Finally, using (3.8), (3.9) and y > 10 6, by Table 5 we see that (3.36) contradicts (3.33), proving the validity of the desired bounds for n in this case. Case III. y 4x In order to obtain the desired upper bounds for k we may clearly assume that k is large, namely k > k 1. (3.37) Since y 4x we have by (1.7) that Hence by (3.38), we can write n > k/. (3.38) n = Bk +r with B 1, 0 r k. (3.39) Further, using the same argument as in Case I, by x A and k 83 we may suppose that in (3.39) we have r 0. We divide our equation (1.7) by (x) k. Then, by (3.39) we infer y r ( y B x ) k 1 = s xk, (3.40) where s = (x+1) k + k + +(x 1) k. Thus, y r ( y B x) k > 1. Put Λ r = b logα b 1 logα 1, (3.41)

15 ON THE DIOPHANTINE EQUATION (x + 1) k + (x+) k +...+(x) k = y n 15 where ( ) x,y,k,r if r > 0, y (α 1,α,b 1,b ) = ( B ) y B x,y,k, r (3.4) if r < 0. It is easy to see α 1 > 1 and α > 1, moreover similarly to Case I we obtain that α 1 and α are multiplicatively independent. We find upper and lower bounds for log Λ r. Since for every z R with z > 1 we have logz < z 1 it follows by (3.40), (3.41), (3.4) and (3.15) that ( ) x log Λ r < k log +log. (3.43) x 1 For a lower bound, we again use Lemma 3.6. We choose µ = 0.57 uniformly, and we set for every x A ρ = 6.. (3.44) Moreover, using the same argument as in Case I by y 4x we may take and Since µ = 0.57 we get a 1 = 1.0 (ρ+3)log(x), (3.45) a = (ρ+1)logx. (3.46) σ = and λ = logρ, (3.47) whence by (3.44), (3.45), (3.46), (3.47) we easily check that for every x A a 1 a > λ holds. Now, we are going to derive an upper bound h for the quantity { ( ( b1 max D log + b ) ) +logλ , λ, Dlog }. a a 1 Using (3.44), (3.45), (3.46), (3.47) for h occurring in Lemma 3.6 we obtain h = logn+ε, with ε = ε(x) given in Table 6. x ε Table 6. Choosing the parameter h = logn + ε occurring in Lemma 3.6 if the case y 4x On combining (3.37), (3.44), (3.45), (3.46), (3.47) with Table 6 we obtain Table 7. Further, on using Table 7 and Lemma 3.6 we obtain log Λ r > Ch a 1 a ωθh log(c h a 1 a ), (3.48)

16 16 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN x H ω θ C 0 C C h log k log k log k log k log k log k Table 7. Lower bounds for H and upper bounds for ω,θ,c 0,C,C,h occurring in Lemma 3.6 if y 4x whence, on comparing (3.43) with (3.48) we get k < Ch a 1 a + ωθh +log(c h a 1 a ) ( ). log x x 1 Finally, using (3.44), (3.45), (3.46), by Table 7 we obtain the desired bounds for k in this case. Thus our lemma is proved. 4. Formulas for v (T k (x)),v 3 (T k (x)) For the proofs of our main results, we will need formulas for v (T k (x)) and v 3 (T k (x)). The heart of the proof of Lemma 4. is the following lemma Lemma 4.1. For q,k,t 1 and q 1 (mod ), we have { v (T k ( t t 1, if k = 1 or k is even, q)) = t, if k 3 is odd. Proof. We shall follow the proof of Lemma 1 of Macmillian-Sondow [13]. We induct on t. Now we introduce the following equality T k (x) = S k (x) S k (x), (4.1) which we will use frequently on this work. Since S k ( q) is even and S k (q) is odd, by using (4.1). we get v (T k (q)) = 0 and so Lemma 4.1 holds for t = 1. By Lemma 3. with x = t q, it also holds for all t 1 when k = 1. Now we assume inductively that (4.1) is true for fixed t 1.

17 ON THE DIOPHANTINE EQUATION (x + 1) k + (x+) k +...+(x) k = y n 17 Let m be a positive integer, we can write the power sum S k (m) as [ m m k ] S k (m) = m k + ((m j) k +(m+j) k ) =m k + j=1 By (4.1), putting x = m, we have j=1 i=0 ( ) k m k i j i i [ k ] ( ) k =m k + m k i S i (m). i i=0 (4.) T k (m) = S k (m) S k (m) (4.3) Now we consider (4.3) with m = t q. If k is even, we extract the last terms of the summations of S k (m) and S k (m), then we can write as and S k ( t+1 q) = kt q k + ts k( t k q) ( ) k t 1 + t+1 t(k i ) q k i S i ( t q) i + t 1 Hence we have k i=0 S k ( t q) = k(t 1) q k + t 1S k( t 1 q) i=0 t ( ) k (t 1)(k i ) q k i S i ( t 1 q). i T k ( t q) = k(t 1) q k ( k 1)+ t 1 [ S k( t q) t 1 S k( t 1 q) t ] t 1 + t+1 k i=0 k i=0 ( ) k t(k i ) q k i S i ( t q) i ( ) k (t 1)(k i ) q k i S i ( t 1 q). i By the induction hypothesis, the fraction is actually an odd integer. Since k(t 1) > t 1, we get that v (T k ( t q)) = t 1, as desired. Now we consider the case k 3 is odd. Similarly to the former case, we have S k ( t+1 q) = tk q k + t kq S k 1( t k 3 q) ( ) k t 1 + 3t+1 t(k i 3) q k i S i ( t q) i i=0

18 18 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN and + 3t From here, we get S k ( t q) = k(t 1) q k + t kq S k 1( t 1 q) k 3 i=0 t ( ) k (t 1)(k i 3) q k i S i ( t 1 q). i T k ( t q) = k(t 1) q k ( k 1)+ t kq[ S k 1 ( t q) t 1 S k 1( t 1 q) t ] 3t + 3t+1 k 3 i=0 ( ) k t(k i 3) q k i S i ( t q) i k 3 i=0 Again by induction, the fraction is an odd integer. ( ) k (t 1)(k i 3) q k i S i ( t 1 q). i Sincek(k 1) > (t )andk andq areodd, weeseethatv (T k ( t q)) = t, as required. This completes the proof of Lemma. Lemma 4.. (i) Let x be a positive even integer. Then we have, { v (x) 1, if k = 1 or k is even, v (T k (x)) = v (x), if k 3 is odd. (ii) Let x be a positive odd integer. If x is odd and k = 1, then for any solution (k,n,x,y) of (1.7) we get v (T k (x)) = v (3x+1) 1. If x 1,5 (mod 8) and x 1 (mod 3) with k 1, then we have v (7x+1) 1, if x 1 (mod 8) and k=, v ((5x+3)(3x+1)), if x 1 (mod 8) and k = 3, v (3x+1), if x 5 (mod 8) and k 3 is odd, 1, if x 5 (mod 8) and k is even, v (T k (x)) =, if x 9 (mod 16) and k 4 is even, 3, if x 9 (mod 16) and k 5 is odd or if x 17 (mod 3) and k 4 is even, 4, if x 17 (mod 3) and k 5 is odd.

19 ON THE DIOPHANTINE EQUATION (x + 1) k + (x+) k +...+(x) k = y n 19 If x 3,7 (mod 8), then for any solution (k,n,x,y) of (1.7), we obtain v (T k (x)) = 0. Proof. (i) Firstly, if k is even, since x+1 is always odd, then we have v ( x(x+1) ) = v (x) 1. Putting x = t q where q is odd and t 1, we get v ( t q( t+1 q +1) ) = v ( t 1 q) = t 1. Secondly if we consider the case k 3 is odd, then v ( x (3x+1) ) = v (x ). 4 Putting x = t q, we have v (( t q) ) = v ( t ) = t. Finally, in the case of k = 1, we have Set x = t q, we have So, the proof is completed. v ( x(3x+1) ) = v (x) 1. v ( t q) 1 = t 1. (ii) Since S 1 (x) = x(x+1), S (x) = x(x+1)(x+1) 6 and S 3 (x) = ( x(x+1) ) for any positive integer x, by (4.1) if x is odd or x 1 (mod 8), then the statement is automatic for k = 1 or k =, 3, respectively. Next we consider the case x 5 (mod 8) and k 3 is odd. Since 3x+1 0 (mod 8), we have 3x+1 = d r with d 3, r. So we obtain v (3x+1) = d (4.4) Since x is odd, T k (x) has exactly odd terms. Putting x = d r 1 3 in (1.8), we have T k ( d r 1 ) = ( )k [( d r+) k +( d r+5) k + +(3 d 1 r) k + +( d+1 r ) k ] (4.5) which has (3 d 1 r) k as the middle term of expansion. Considering (4.5) in modulo d with k(d 1) > d, we obtain T k ( d r 1 3 ) 0 (mod d ). Then we have v (T k ( d r 1 3 )) = v ( d t) = d with t. By (4.4), the statement follows in this case, as well.

20 0 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN Now we consider the case x 5 (mod 8) and k is even. We distinguish two cases. Assume first k 4 is even. Using the polynomial Q k (x) = x k +(x+1) k +(x+) k k (x 1) k (4.6) and the equality we obtain T k (x) = Q k (x) x k +(x 1) k +(x) k (4.7) T k (x) Q k (x) (mod 8). Then we have v (T k (x)) = v (Q k (x)) (4.8) Applying Lemma 4. (i) on the polynomial Q k (x) we obtain v (Q k (x)) = v (x 1) 1 and hence the statement follows also in this case. For the case k =, by (4.1) we get also v (T k (x)) = v (7x+1) 1 = 1. Next we consider the case x 9 (mod 16) and k 5 is odd. By (4.7) we have T k (x) Q k (x)+8 (mod 16) (4.9) UsingLemma4.(ii),wehavev (Q k (x)) = v (x 1). So,wegetv (Q k (x)) = 4 and Q k (x) = 4 t, t (4.10) By (4.9) and (4.10), the statement follows in this case. Now we consider the case x 9 (mod 16) and k 4 is even. By (4.7) we have T k (x) Q k (x) (mod 16) (4.11) Using Lemma 4. (i), we get v (Q k (x)) = v (x 1) 1. So we get v (T k (x)) = v (Q k (x)) = with (4.11). Next we consider the case x 17 (mod 3) and k 4 is even. We distinguish two cases. If k = 4 then, T 4 (x) Q 4 (x)+16 (mod 3) (4.1) Using Lemma 4. (i) we obtain v (Q 4 (x)) = 3 and Q 4 (x) = 3 r, r (4.13) By (4.1) and (4.13), we get v (T 4 (x)) = 3. For the case k 6 is even, by (4.7) we have T k (x) Q k (x) (mod 3) Similar to the former cases, we obtain v (T k (x)) = 3.

21 ON THE DIOPHANTINE EQUATION (x + 1) k + (x+) k +...+(x) k = y n 1 Now we consider x 17 (mod 3) and k 5 is odd, by (4.7) we have T k (x) Q k (x)+16 (mod 3) (4.14) By Lemma 4. (ii), we have v (Q k (x)) = 6. With (4.14) similar to the former cases, we get v (T k (x)) = 4. or Next we consider the case x 3 (mod 8). By (4.7) we obtain T k (x) Q k (x)+ (mod 8) T k (x) Q k (x) (mod 8) where k is odd or even, respectively. In both cases we obtain v (Q k (x)) = 0 using Lemma 4.. Then the statement follows in this case. or Now we consider the case x 7 (mod 8). By (4.7) we get T k (x) Q k (x)+6 (mod 8) T k (x) Q k (x)+ (mod 8) where k is odd or even, respectively. In both cases, we get v (Q k (x)) = 0 using Lemma 4.. Then the statement follows in this case, as well. So, the proof of Lemma is completed. Lemma 4.3. Assume that k is not even if x 5 (mod 9). Then we have v 3 (x), if k=1, v 3 (x) 1, if x 0 (mod 3) and k is even, v 3 (kx ), if x 0 (mod 3) and k > 3 is odd, v 3 (T k (x)) = v 3 (x (5x+3)), if x 0 (mod 3) and k = 3, 0, if x ±1 (mod 3) and k 3 is odd, 0, if x,8 (mod 9) and k is even, v 3 (x+1) 1, if x 1 (mod 3) and k is even. Proof. When k = 1, T 1 (x) = x(3x+1). Then statement is shown automatically. When x 0 (mod 3) and k is even, by (3.1) we have S k (x) S k (x) (mod 3 d ),with p=3. (4.15) Considering (4.1) in modulo 3 d, with (4.15) we have T k (x) S k (x) (mod 3 d ). (4.16)

22 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN Using Lemma 3.5 (ii) and (4.16), we get T k (x) 3 d 1 q (mod 3 d ). And hence v 3 (T k (x)) = d 1. This is desired case. When x 0 (mod 3) and k > 3 is odd, writing x = q3 d with k = 3 γ k and q 3, by Lemma 3.4 we have Using (4.1) and (4.17), we get v 3 (S k (x)) = v 3 (S k (x)) = γ +d 1 (4.17) T k (x) 0 (mod 3 γ+d ). And hence v 3 (T k (x)) = v 3 (kx ) = γ +d. When x 0 (mod 3) and k = 3, we have T 3 (x) = x (5x+3)(3x+1) 4. Since 3x+1 1 (mod 3), the statement follows in this case. When x 1 (mod 3) and k 3 is odd, using Lemma 3.4, v 3 (S k (x)) = v 3 (kx (x +1) ) 1 and v 3 (S k (x)) = 0. By (4.1) the statement follows in this case. When x (mod 3) and k 3 is odd, using Lemma 3.4, similar to the former case we obtain v 3 (T k (x)) = 0 with (4.). When x 8 (mod 9) or x (mod 9) and k is even, by (4.1) and Lemma 3.4 we get v 3 (S k (x)) = v 3 (x(x + 1)(4x + 1)) 1 or v 3 (S k (x)) = v 3 (x(x + 1)(x+1)) 1, respectively. If x 8 (mod 9), then v 3 (S k (x)) = 0 and hence v 3 (T k (x)) = v 3 (S k (x)). If x (mod 9), then v 3 (S k (x)) = 0 and hence v 3 (T k (x)) = v 3 (S k (x)). Assume now that x 1 (mod 3) and k is even. Applying Lemma 3.5 (iv), with (4.) we obtain T k (x) 3 d 1 ( 1 ) (mod 3d ). And hence v 3 (T k (x)) = d 1. By Lemma 3.5, we write x = q3 d +r 3d 1 where r 1 (mod 3), 0 q r x (mod 3). So we get x+1 = 3 d (q +1). Since v 3 (x + 1) 1 = d 1, the statement follows in this case. So the proof is completed. 5. Proofs of the main results Now we are ready to prove our main results. We start with Theorem.1, since it will be used in the proofs of the other statements.

23 ON THE DIOPHANTINE EQUATION (x + 1) k + (x+) k +...+(x) k = y n 3 Proof of Theorem.1. (i)sincex 0 (mod 4),byLemma4.wehavev (T k (x)) > 0, i.e T k (x) is even. Thus if (1.7) satisfies, then v (y) > 0 and we have { nv (y) = v (y n v (x) 1, if k is even, ) = v (T k (x)) = v (x), if k is odd. implying the statement in this case. (ii) As now x 1,5 (mod 8) and x 1 (mod 3) with k 1, Lemma 4. (ii) implies that v (T k (x)) > 0. Hence (1.7) gives v (y) > 0 and we have v (7x+1) 1, if x 1 (mod 8) and k=, v ((5x+3)(3x+1)), if x 1 (mod 8) and k = 3, v (3x+1), if x 5 (mod 8) and k 3 is odd, 1, if x 5 (mod 8) and k is even, nv (y) = v (T k (x)) =, if x 9 (mod 16) and k 4 is even, 3, if x 9 (mod 16) and k 5 is odd or if x 17 (mod 3) and k 4 is even, 4, if x 17 (mod 3) and k 5 is odd. And if x 1 (mod 4) and k = 1, then Lemma 4. (ii) also implies that v (T k (x)) > 0. Hence (1.7) gives v (y) > 0 and we obtain nv (y) = v (y n ) = v (T k (x)) = v (3x+1) 1. Implying the statement in this case, as well. So,the proof of the case (ii) is completed. (iii) Suppose now that x 0 (mod 3) and k is odd or x 0,1 (mod 3) and k is even, by Lemma 4.3 implies that v 3 (y) > 0 and we have v 3 (x), if x 0 (mod 3) and k=1, v 3 (x) 1, if x 0 (mod 3) and k is even, nv 3 (y) = v 3 (T k (x)) = v 3 (kx ), if x 0 (mod 3) and k > 3 is odd, v 3 (x (5x+3)), if x 0 (mod 3) and k = 3, v 3 (x+1) 1, if x 1 (mod 3) and k is even. So, the proof of Theorem.1 is completed. Proof of Theorem.. Observe that since x 4 (mod 8), we have v (T k (x)) = v (x) 1 = 1. Hence if k = 1 or k is even then by part (i) of Theorem.1 we obtain n 1, which is impossible. Since x 5 (mod 8), we have v (T k (x)) = 1. Hence if k is even then by part (ii) of Theorem.1 we obtain n 1, which

24 4 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN is impossible. Since x 1 (mod 8), we have v (T k (x)) = v (3x + 1) 1 = 1. Hence if k = 1 then by part (ii) of Theorem.1 we obtain n 1, which is impossible. Thus, the proof is completed. Proof of Theorem.3. Let x 13 and consider equation (1.7) in unknown integers(k,y,n)withk 1,y andn 3. Wedistinguishtwocasesaccording to x {,3,6,7,10,11} or x {4,5,8,9,1,13}, respectively. Assume first that x {,3,6,7,10,11} is fixed. In this case for k 83 a direct computation shows that T k (x) is not a perfect n th power, so equation (1.7) has no solution. Now we assume that k 83. Now we split the treatment into 3 subcases according to the size of y. If y 4x then Lemma 3.7 shows that k k 1. Further, if 4x < y 10 6 then we get n n 0 by Lemma 3.7 and thus T k (x) 10 6n0, which in turn gives k < 6n 0log10 log(x). So for each x under the assumption y 10 6 we get a bound for k and we check for each k below this bound and each x {,3,6,7,10,11} if T k (x) has a prime factor p with p y. If not, then we are done, however, if such a p exists, then we also show, that for at least one such p we have ν p (T k (x)) 1, which shows that n 1. For y < 10 6, 3 n 1 we get again very good bound for k and a direct check will show that equation (1.7) has no solutions. Now it is only left the case y > 10 6, in which case we get n < n 1 by Lemma 3.7, and for each fixed 3 n n 1 we proceeded as follows. Recall that x {,3,6,7,10,11} is fixed, and we also fixed 3 n n 1. We took primes of the form p := in + 1 with i Z and we considered equation (1.7) locally modulo these primes. More precisely, we took the smallest such prime p 1 and put o 1 := p 1 1. Then for all values of k = 1,...,o 1 we checked whether T k (x) (mod p 1 ) is a perfect power or not, and we built the set K(o 1 ) of all those values of k (mod o 1 ) for which T k (x) (mod p) was a perfect power. In principle this provided a list of all possible values of k (mod o 1 ) for which we might have a solution. Then we considered the next prime p of the form p := in+1 with i Z and we defined o := LCM(o 1,p 1). We expanded the set K(o 1 ) to the set K 0 (o ) of all those numbers 1,...,o which are congruent to elements of K(o 1 ) modulo o 1. Then we considered equation (1.7) modulo p and we excluded from the set K 0 (o ) all those elements k for which T k (x) (mod p ) is not a perfect power. This way we got the set K(o ) of all possible values of k (mod o ) for which we might have a solution. Continuing this procedure by taking new primes p 3,p 4,... of the form in + 1 with i Z, we finished this procedure when the set K(o i ) became empty, proving that equation (1.7) has no solution for the given x and n.

25 ON THE DIOPHANTINE EQUATION (x + 1) k + (x+) k +...+(x) k = y n 5 Suppose now that in equation (1.7) we have x {4,5,8,9,1,13}. A direct application of Theorem.1 to equation (1.7) shows that for each x {4,5,8,9,1,13} we may write n 5. Finally, for every x {4,5,8,9,1,13} and n {3,4,5} we apply the same procedure as above in the case y > 10 6 to conclude that equation (1.7) has no solution for the given x and n. This finishes the proof of our theorem. Remark. The algorithms described in the above proof have been implemented in the computer algebra package MAGMA[7]. We mention that the running time of the programme proving that we have no solution for x = 11 and 3 n n 1 was more than days on an Intel Xeon X5680 (Westmere EP) processor. For x = 11 to perform the computation up to the bound n < n 0 would have been too long. This is the reason we had to use our bound n 1 proved in Lemma 3.7 under the assumption y > Acknowledgements. The research was supported in part by the University of Debrecen, and by grants K (A.B.) and NK10408 (A.B.) of the Hungarian National Foundation for Scientific Research. This paper was supported by the János Bolyai Scholarship of the Hungarian Academy of Sciences. The research was granted by the Austrian Science Fund (FWF) under the project P 4801-N6 (I.P.). The fourth author was supported in part by the Scientific and TechnologicalResearchCouncilofTurkey(TÜBİTAK) under19-international Postdoctoral Research Scholarship Program together with the Research Fund of Uludağ University under Project No: F-015/3. References [1] M. Abramowitz, I. A. Stegun, Handbook of Mathematical Functions, Dover, New York, (1965). [] M. Bai, Z. Zhang, On the Diophantine equation (x+1) +(x+) +...+(x+d) = y n, Functiones Approx. Com. Math. 49 (013), [3] M. A. Bennett, K. Győry, Á. Pintér, On the Diophantine equation 1k + k +...+x k = y n, Compos. Math. 140 (004), [4] M. A. Bennett, V. Patel, S. Siksek, Superelliptic equations arising from sums of consecutive powers, Acta Arith. 17 (016), [5] M. A. Bennett, V. Patel, S. Siksek, Perfect powers that are sums of consecutive cubes, Mathematika 63 (016), [6] A. Bérczes, L. Hajdu, T. Miyazaki, I. Pink, On the equation 1 k + k +...+x k = y n, J. Number Theory 163 (016), [7] W. Bosma, J. Cannon, C. Playoust The Magma algebra system. I. The user language, J. Symbolic Comput. 4 (1997), [8] K. Győry, Á. Pintér,On the equation 1k + k x k = y n, Publ. Math. Debrecen 6 (003), [9] L. Hajdu, On a conjecture of Schäffer concerning the equation 1 k + k +...+x k = y n, J. Number Theory 155 (015),

26 6 ATTILA BÉRCZES, ISTVÁN PINK, GAMZE SAVAŞ, AND GÖKHAN SOYDAN [10] M. Jacobson, Á.Pintér, G.P.Walsh, A computational approach for solving y = 1 k + k +...+x k, Math. Comp. 7 (003), [11] M. Laurent, Linear forms in two logarithms and interpolation determinants II, Acta Arith. 133 (008), [1] É. Lucas, Question 1180, Nouvelles Ann. Math 14 (1875), 336. [13] K. MacMillian, J. Sondow, Divisibility of power sums and the generalized Erdős-Moser equation, Elem. Math. 67 (01), [14] V. Patel, S. Siksek,On powers that are sums of consecutive like powers, Research in Num. Theory (017), to appear. [15] Á. Pintér, On the power values of power sums, J. Number Theory 15 (007), [16] H. Rademacher, Topics in Analytic Number Theory, Springer-Verlag, Berlin, (1973). [17] J. J. Schäffer, The equation 1 p + p +...+n p = m q, Acta Math. 95 (1956), [18] N. P. Smart, The Algorithmic Resolutions of Diophantine Equations, Cambridge University Press, Cambridge, (1998). [19] J. Sondow, E.Tsukerman, The p-adic order of power sums, the Erdős-Moser equation and Bernoulli numbers, arxiv: v1 [math.nt], 1 Jan 014. [0] G. Soydan, On the Diophantine equation (x + 1) k + (x + ) k (lx) k = y n, Publ. Math. Debrecen (017), to appear. [1] G. N. Watson, The problem of the square pyramid, Messenger of Math 48 (1918), 1-. [] Z. Zhang, On the Diophantine equation (x 1) k + x k + (x + 1) k = y n, Publ. Math. Debrecen 85 (014), Attila Bérczes, University of Debrecen, Institute of Mathematics, H-403 Debrecen, Hungary address: berczesa@science.unideb.hu István Pink, University of Debrecen, Institute of Mathematics, H-403 Debrecen, Hungary address: pinki@science.unideb.hu Gamze Savaş, Department of Mathematics, Uludağ University, Bursa, Turkey address: gamzesavas91@gmail.com Gökhan Soydan, Department of Mathematics, Uludağ University, Bursa, Turkey address: gsoydan@uludag.edu.tr