Perfect powers from products of consecutive terms in arithmetic progression

Abstract

We prove that for any positive integers x, d and k with gcd(x, d) = 1 and 3 < k < 35, the product x(x + d) · · · (x + (k − 1)d) cannot be a perfect power. This yields a considerable extension of previous results of Győry et al. and Bennett et al., which covered the cases where k ≤ 11. We also establish more general theorems for the case where x can also be a negative integer and where the product yields an almost perfect power. As in the proofs of the earlier theorems, for fixed k we reduce the problem to systems of ternary equations. However, our results do not follow as a mere computational sharpening of the approach utilized previously; instead, they require the introduction of fundamentally new ideas. For k > 11, a large number of new ternary equations arise, which we solve by combining the Frey curve and Galois representation approach with local and cyclotomic considerations. Furthermore, the number of systems of equations grows so rapidly with k that, in contrast with the previous proofs, it is practically impossible to handle the various cases in the usual manner. The main novelty of this paper lies in the development of an algorithm for our proofs, which enables us to use a computer. We apply an efficient, iterated combination of our procedure for solving the new ternary equations that arise with several sieves based on the ternary equations already solved. In this way, we are able to exclude the solvability of the enormous number of systems of equations under consideration. Our general algorithm seems to work for larger values of k as well, although there is, of course, a computational time constraint.

Powers from products of $k$ terms in progression: finiteness for small $k$

“…For small values of k, finiteness results for (1.1) (under coprimality assumptions) have been obtained for k ≤ 82 in [1,Theorem 1.4] and, in completely explicit form for k ≤ 34, in [10]. The techniques of [1] do not allow for substantial strengthening of these results, however.…”

Diophantine equations with products of consecutive values of a quadratic polynomial

“…One can cite for examples [4,[8][9][10][11][12][13]16,17,20,21]. In particular, Laishram and Shorey [16,17], Győry [11], Győry et al [12,13], and Bennett et al [4] give several finiteness results concerning the solutions of Eq. (2) under some assumptions.…”

Rational function variant of a problem of Erdös and Graham

“…[(5, 60)] (7,9) [(1, 3) , (5, 30)] (7,11) [ (3,12) , (−6, 12)] (8,12) [(2, 6)] (10,11) [(−6, 6)] (11,14) [(1, 2)] (11,15) [(−6, 4)] (12,14) [(−7, 12)] (13,15) [(−8, 24)]…”