Abstract
Products of terms of arithmetic progressions yielding a perfect power have been long investigated by many mathematicians. In the particular case of consecutive integers, various finiteness results are known for the polynomial values of such products. In the present paper we consider generalizations of these result in various directions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A classical result of Erdős and Selfridge [11] says that the product of consecutive positive integers is never a perfect power, that is, the equation
has no solutions in positive integers x, k, y, n with \(k\ge 2\) and \(n\ge 2\). This result and also Eq. (1) has been generalized into various directions. Here we only mention those directions and results which are important from our viewpoint.
The first extension of the problem we mention is when on the left hand side of (1), we omit a term from the product, that is, we consider the equation
in positive integers x, k, y, n with \(k\ge 2\) and \(n\ge 2\), where \(0\le j\le k-1\). Confirming a conjecture of Erdős and Selfridge, Saradha and Shorey [20, 21] proved that the only solutions of the above equation are given by
The second direction of extensions we mention (which probably attracted the most attention) is when instead of products of consecutive integers one takes products of terms of an arithmetic progression. More precisely, one considers the equation
in positive integers x, d, k, y, n with \(k\ge 2\), \(n\ge 2\) with \(\gcd (x,d)=1\). Under certain (mild, necessary) conditions Darmon and Granville [9] proved that for fixed k and n, this equation has only finitely many solutions in x, d, y. (See also Győry, Hajdu and Saradha [14] for a further generalization.) Recently, Bennett and Siksek [2] proved that if k is large enough, then this equation has only finitely many solutions in x, d, y, n. On the other hand, for small values of k, namely for \(k<35\), a result of Győry, Hajdu and Pintér [13] in accordance with a conjecture of Erdős says that (under certain trivial necessary restrictions) this equation has no solutions at all. We also mention that combining the two directions mentioned above, Saradha and Shorey [22] provided results for equations of the above shape, with one term of the progression missing from the product on the left hand side.
The third direction of extensions we refer to is when in (1) in place of \(y^n\) on the right hand side we take an arbitrary polynomial, that is, we consider the equation
in integers x, k, y, where \(g(y)\in {{\mathbb {Q}}}[y]\). Here we recall a result of Kulkarny and Sury [18] who could completely describe when this equation can have infinitely many solutions in x, y, for k fixed. Further, in the particular case where g(y) is of the shape \(ay^n+b\), Yuan [26] could give effective upper bounds for x, y, while Bilu et al. [5] could prove an ineffective finiteness theorem for x, k, y, n. We also mention that if \(g(y)=\left( {\begin{array}{c}y\\ n\end{array}}\right) \) then all solutions are completely described by results of Erdős [10] and Győry [12].
In this paper we consider a common generalization of the above approaches. Namely, we study the equation
in integers x, d, k, y with \(d\ne 0\), \(k\ge 3\) and \(0\le j\le k-1\), where \(g(y)\in {{\mathbb {Q}}}[y]\). Note that the choice \(j=0\) (or \(j=k-1\)) gives back the classical case, where we have a full product on the left hand side. We shall prove various finiteness results concerning Eq. (2). First, we completely describe those cases where for fixed k and d, (2) has infinitely many solutions in x, y. In the particular case where g(y) is of the form \(g(y)=ay^n+b\), we are able to provide effective upper bounds for the solutions x, y, as well. We also prove that the polynomials appearing on the left had side, up to some special (completely described) cases are indecomposable. We mention that there are many results in the literature which are related in the sense that they concern equal values or polynomial values of terms of families of combinatorial polynomials. We cannot survey the extremely huge literature, we only refer to the papers [1, 4, 8, 15,16,17, 24] and the references there.
The structure of the paper is the following. In the next section we provide our main results. We give their proofs in the third section. The main tools we use are the Bilu–Tichy theorem [6] and Baker’s method (through results of Schinzel and Tijdeman [23] and Brindza [7]). However, to make them work we need to combine several arguments of combinatorial nature, as well.
2 Main results
For the smooth formulation of our main results, we introduce the following notation. Let k, j, d be integers with \(d\ne 0\), \(k\ge 3\) and \(0\le j\le k-1\), and put
Consider the equation
(which is a reformulation of (2)) in integers x, y with \(k\ge 3\) and \(0\le j\le k-1\), where \(g(y)\in {{\mathbb {Q}}}[y]\). (Note that for \(k<3\) the equation is trivial or empty.)
Now we can formulate our general theorem. This is ineffective in the sense that it only guarantees the finiteness of the solutions of (3) (apart from the exceptional cases), but it does not give an upper bound for the solutions.
Theorem 2.1
Let \(k\ge 8\) and \(g(y)\in {{\mathbb {Q}}}[y]\) with \(\deg g\ge 2\). Then Eq. (3) has only finitely many integer solutions x, y, unless we are in one of the following cases:
-
(i)
k, j are arbitrary, and \(g(y)=f_{k,j}(h(y))\) with some non-constant \(h(y)\in {{\mathbb {Q}}}[y]\),
-
(ii)
k is odd, \(j=0,k-1\) and g(y) is of the form \(g(y)=h_1^*(h(y))\) where \(h(y)\in {{\mathbb {Q}}}[y]\) has at most one root of odd multiplicity,
-
(iii)
k is odd, \(j=(k-1)/2\) and g(y) is of the form \(g(y)=h_2^*(h(y))\) where \(h(y)\in {{\mathbb {Q}}}[y]\) has at most one root of odd multiplicity.
Here we have
and
Remark
The condition \(\deg g\ge 2\) in the above statement is clearly necessary. Further, it is well-known (see also our Lemma 3.4 later on) that if h(y) fulfils the prescribed property in parts (ii) and (iii), then Eq. (3) can have infinitely many integer solutions.
In the case where g(y) is of the form \(ay^n+b\), we are able to give an effective result, bounding x, y, n. In particular, note that here also the exponent n is a variable, so in fact this theorem concerns families of polynomials g(y).
Theorem 2.2
Let \(k\ge 8\), \(0\le j\le k-1\) and let \(a,b\in {{\mathbb {Q}}}\) with \(a\ne 0\). Then for all solutions of the equation
in integers x, y, n with \(n\ge 2\) we have \(\max (|x|,|y|,n)<C\), where C is an effectively computable constant depending only on k, a, b. Here we use the convention that for \(|y|\le 1\) we have \(n=2,3\).
Remark
One can easily check that we have
(see also Theorem 2.3). This shows that (4) with \(k=7\), \(j=3\) and \(a=1\), \(b=36d^6\), \(n=2\) hence also (3) with \(k=7\), \(j=3\) and \(g(y)=y^2-36d^6\) have infinitely many integer solutions x, y. Thus the assumption \(k\ge 8\) in Theorems 2.1 and 2.2 is necessary.
For the formulation of our last theorem, we need to introduce some new notation. Let K be a field and \(F\in K[x]\). Then
is a decomposition of F over K, which is called non-trivial if
Two decompositions \(F(x)=G_1(G_2(x))\) and \(F(x)=H_1(H_2 (x))\) are called equivalent if there exists a linear polynomial \(\tau (x)\in K[x]\) such that we have \(G_1(x)=H_1(\tau (x))\) and \(H_2(x)= \tau (G_2(x))\). We say that the polynomial F(x) is decomposable over K if it has at least one nontrivial decomposition over K – otherwise F(x) is called indecomposable.
Our last theorem shows that up to some special cases, the polynomials \(f_{k,j}(x)\) are indecomposable. This property (similarly e.g. to the papers [1, 8]) plays an important role in the proof of our ineffective statement – however, we also find it of independent interest. Note that the cases with \(j=0,k-1\) could be derived from Theorem 4.3 of [8].
Theorem 2.3
For any \(k\ge 2\) and \(0\le j\le k-1\) the polynomial \(f_{k,j}(x)\) is indecomposable over \({{\mathbb {Q}}}\), except for the following cases:
-
(i)
if \(k=7\), \(j=3\) then we have a decomposition of the form \(f_{k,j}(x)=(x^3+9dx^2+20d^2x+6d^3)^2-36d^6\),
-
(ii)
if k is odd and \(j=0\) then all non-trivial decompositions of \(f_{k,j}(x)\) are equivalent to \(f_{k,j}(x)=h_1^*\left( \left( x+\frac{(k+1)d}{2}\right) ^2\right) \),
-
(iii)
if k is odd and \(j=(k-1)/2\) then all non-trivial decompositions of \(f_{k,j}(x)\) not equivalent to the one in (i) for \((k,j)=(7,3)\), are equivalent to \(f_{k,j}(x)=h_2^*\left( \left( x+\frac{(k+1)d}{2}\right) ^2\right) \),
-
(iv)
if k is odd and \(j=k-1\) then all non-trivial decompositions of \(f_{k,j}(x)\) are equivalent to \(f_{k,j}(x)=h_1^*\left( \left( x+\frac{(k-1)d}{2}\right) ^2\right) \).
Here, \(h_1^*\) and \(h_2^*\) are given in Theorem 2.1.
3 Proofs
In this section we give the proofs of our theorems. In this, we follow a reverse order: we start with the proof of Theorem 2.3, then we follow with the proof of Theorem 2.2, and we conclude with the proof of Theorem 2.1. The reason is that as we shall see, this is the ‘logical’ way to follow.
In our arguments we shall need several lemmas. The first two consider certain properties of the derivatives and shifts of the polynomials \(f_{k,j}(x)\). In fact, we can simplify our treatment due to the observation that in these studies the parameter d does not play an important role. That is, instead of the polynomials \(f_{k,j}(x)\) it is sufficient to study the polynomials
The reason why this simplification is possible is that we have
We start with describing the root structure of the polynomials \(p_{k,j}'(x)\) (which is in fact rather simple).
Lemma 3.1
For every \(k\ge 3\) and \(0\le j\le k-1\), the roots of the polynomial \(p_{k,j}'(x)\) are real and simple, and there is a root in each interval
Proof
The statement is a trivial consequence of Rolle’s theorem. Note that the cases \(j=0,k-1\) are already treated in the proof of Proposition 3.4 of [4]. \(\square \)
Our next lemma concerns the common roots of the derivatives and shifts of the polynomials \(p_{k,j}(x)\).
Lemma 3.2
For any \(k\ge 3\) and \(0\le j\le k-1\) we have
Proof
If \(k \le 5\) then \(\deg p_{k,j}'(x)\le 4\) and the statement is trivial. So we may assume that \(k\ge 6\). Further, for \(j=0,k-1\) the statement immediately follows from Proposition 3.4 of [4]. Thus we may also assume that \(0<j<k-1\). In what follows, we shall use these assumptions without any further mentioning. Write \(\alpha _1,\ldots ,\alpha _{k-2}\) for the roots of \(p_{k,j}'(x)\). By Lemma 3.1 we know that these roots are distinct, and (renumbering them if necessary) we have
We give an upper bound for the number of \(\alpha _i\)-s satisfying
for any fixed \(\lambda \in {{\mathbb {C}}}\). For this, put
We would like to calculate the sign changes of \(P_{k,j}^*(x)\) inside certain intervals. We note that we take the polynomial \(p_{k,j}\) at x and \(x-1\) (not at other shifts of x) to make this analysis simple - in this way the problem reduces to the study of a quadratic polynomial. Indeed, as we have
we may restrict our attention to
We need to understand the behavior of \(P_{k,j}(x)\) (and ultimately of \(P_{k,j}^*(x)\)) on certain subintervals of \((-\,k+1,0)\). A simple consideration gives that for \(-k+1<x<0\) we have
where
This shows that \(P_{k,j}(x)\), and hence \(P_{k,j}^*(x)\) changes sign on the interval \((-\,k+1,0)\) at most three times: at the two roots of \(q_1(x)\) and between \(-j\) and \(-j+1\). (Note that the root of \(q_2(x)\) is between \(-j\) and \(-j+1\).) The relevance of this fact is shown by the following observation. Suppose that \(P_{k,j}^*(x)\) is positive on some interval \((-\,i,-i+1)\), with \(0<i\le k-2\). If \(i\ge j\), then \(\alpha _{k-i}\in (-\,i,-i+1)\) and \(\alpha _{k-i-1}\in (-\,i-1,-i)\), and we have
that is,
A similar phenomenon occurs for \(i<j\), while in the case where \(P_{k,j}^*(x)\) is negative on some interval \((-\,i,-i+1)\), the above relation just turns around. Altogether, we see that the sequence
changes strict monotonicity at most three times. In other words, the above sequence is the union of at most four strictly monotone sequences, hence it can contain at most four equal terms. This proves our claim. \(\square \)
Now we can give the proof of Theorem 2.3.
Proof of Theorem 2.3
We may clearly assume that \(\deg f_{k,j}\ge 4\), that is, \(k\ge 5\). Observe that in view of (5), it is sufficient to deal with the polynomials \(p_{k,j}\) instead of \(f_{k,j}\). So suppose that \(p_{k,j}(x)\) has a non-trivial decomposition of the form \(p_{k,j}(x)=G(H(x))\) with \(G,H\in {{\mathbb {Q}}}[x]\). It is well-known (see e.g. the proof of Theorem 4.3 of [8]) that then we have
Thus, by Lemma 3.2, we obtain that \(\deg H \le 4\). Let \(\gamma _1,\ldots ,\gamma _t\) be the (complex) roots of G. They are all simple, because \(p_{k,j}(x)\) has only simple roots. Hence, assuming without loss of generality that G and H are monic, we have
We consider the cases \(\deg H=2,3,4\) separately.
Let first \(\deg H=2\). Then necessarily \(k-1=\deg p_{k,j}\) is even; put \(k-1=2t\). Further, we have
where \(a_1,\ldots ,a_{2t}\) is a permutation of \(0,1,\ldots ,j-1,j+1,\ldots ,k-1\). Writing \(b_1\) for the coefficient of x in H(x),
follows. By summing up these identities we obtain
As \(t=(k-1)/2\), this yields that \((k-1)/2\) divides j. Since \(0\le j \le k-1\), we get \(j=0,(k-1)/2,k-1\).
If \(j=0\) then \(b_1=k\) and (after re-ordering if necessary) we get
This gives the decomposition
with
We claim that any other decomposition of \(p_{k,0}(x)\) with \(\deg H=2\) is equivalent to the above one. For this, suppose that we have a decomposition
over \({{\mathbb {Q}}}\) with \(\deg H_0=2\). Write \(H_0(x)=\alpha (x-\beta )^2+\gamma \) with \(\alpha ,\beta ,\gamma \in {{\mathbb {Q}}}\). Then the above decomposition is equivalent to \(P((x-\beta )^2)\) with some polynomial P having rational coefficients. However, this shows that the roots of \(p_{k,0}\) are symmetric with respect to \(\beta \), so \(\beta =(k+1)/2\). This proves our claim, and by (5) we easily get the corresponding decomposition of \(f_{k,0}(x)\).
If \(j=k-1\) then \(b_1=k-2\), and a similar argument shows that we have
and up to equivalence, this is the only decomposition of \(p_{k,k-1}(x)\) with \(\deg H=2\). Also, we get the corresponding decomposition of \(f_{k,k-1}(x)\). Note that these cases are handled by Lemma 4.3 of [8], but for the sake of completeness, we wanted to present a full argument.
Finally, if \(j=(k-1)/2\) then we have \(b_1=k-1\), and (after re-ordering if necessary) we obtain
In this case we have
with
The fact that any decomposition of \(p_{k,(k-1)/2}(x)\) with \(\deg H=2\) is equivalent to this follows by a simple argument as in case of \(j=0\). From these, the description of the decomposition of \(f_{k,(k-1)/2}(x)\) easily follows.
Let now \(\deg H=3\). Then necessarily \(3\mid k-1\); put \(k-1=3t\). Further, we have
where \(a_1,a_2,\ldots ,a_{3t}\) is a permutation of \(0,1,\ldots ,j-1,j+1,\ldots ,k-1\). Similarly as in case of \(\deg H=2\), we have
where \(b_1\) is the coefficient of x in H(x). Adding up the above identities, we obtain \(tb_1=k(k-1)/2-j\), so
Observe that for any \(0\le j\le k-1\) the polynomials \(p_{k,j}(x)\) and \(p_{k,k-1-j}(x)\) can be obtained from each other by a linear transformation. Hence, without loss of generality we may assume that \(j\ge (k-1)/2\). Thus, we obtain that only the following possibilities may occur: k is even and
or k is odd and
To handle these cases, we need to go deeper. For this, observe that (6) yields that the elementary symmetric polynomials of any triple \(a_{3r-2},a_{3r-1},a_{3r}\), except for their products, coincide. This implies that for any r with \(1\le r\le t\) we have
Since \(j>0\), one of the \(a_i\)-s is zero. Without loss of generality we may assume that \(a_1=0\). Then we get
Further, now we also have
Thus \(a_2\) and \(a_3\) are roots of the polynomial
Now in view of the possible pairs \((j,b_1)\), we obtain that F(x) is one of
A simple calculation shows that these polynomials have real roots only for \(k<9\), so we may restrict to these cases. Recall that \(3\mid k-1\), so we have \(k=4,7\). If \(k=4\), then in a decomposition \(p_{k,j}(x)=G(H(x))\) with \(\deg H=3\) we have \(\deg G=1\), which is a trivial decomposition. So we are left with the only possibility \(k=7\). Here we easily get that the only case which gives rise to a decomposition is \(j=3\) and \((a_1,a_2,a_3)=(0,4,5)\), \((a_4,a_5,a_6)=(1,2,6)\). Then we get the decomposition
From the argument it is clear that any other decomposition of \(p_{7,3}(x)\) of the form G(H(x)) with \(\deg H=3\) is equivalent to the above one. This immediately yields the corresponding decomposability of \(f_{7,3}(x)\).
Finally, let \(\deg H=4\). Then we see that \(4\mid k-1\); let \(k-1=4t\). Further, now we have
where \(a_1,a_2,\ldots ,a_{4t}\) is a permutation of \(0,1,\ldots ,j-1,j+1,\ldots ,k-1\). Writing \(b_1\) for the coefficient of x in H(x) again, we get
Adding up the above equalities, we conclude that
In particular, \(k-1\mid 4j\). Further, similarly as in case of \(\deg H=3\), we may assume that \(j\ge (k-1)/2\). Thus we are left with the following possibilities:
To handle these cases, observe that since all the elementary symmetric polynomials of the quadruples \(a_{4r-3},a_{4r-2},a_{4r-1},a_{4r}\,(1\le r\le t)\) coincide except for their product, for any \(\ell =1,2,3\) and \(1\le r\le t\) we have
Adding up these identities for \(r=1,\ldots ,t\) we obtain
and
Now we pick the quadruple \(a_{4r-3},a_{4r-2},a_{4r-1},a_{4r}\) containing 0. Without loss of generality we may assume that here \(r=1\) and \(a_1=0\). Then we check the possibilities in turn.
If \((j,b_1)=((k-1)/2,2k-2)\) then we have
A simple calculation e.g. with Maple shows that this system of equations has no solutions in distinct positive integers \(a_2,a_3,a_4\) for \(k\ge 8\). However, if \(k<8\) then \(4\mid k-1\) gives \(k=5\), when \(p_{k,j}(x)\) cannot have a non-trivial decomposition of the required form. Hence our claim follows in this case.
For \((j,b_1)=((3k-3)/4,2k-3)\) we have
Now a (Maple) calculation, taking resultants and using symmetry in \(a_2,a_3,a_4\) gives that \(a_2,a_3,a_4\) should be the (distinct positive integer) roots of the polynomial
This polynomial has its unique local maximum at
however, the value of the above polynomial at \(x_1\) is negative for \(k\ge 7\). So \(k\le 6\), and our statement follows similarly as before also in this case.
Finally, if \((j,b_1)=(k-1,2k-4)\) then we have
A simple (Maple) calculation shows that it is not possible with distinct positive integers \(a_2,a_3,a_4\) for \(k\ge 7\). Hence, the proof of the theorem is complete. \(\square \)
Now we turn to the proof of Theorem 2.2. For this, we need two lemmas (which will be needed later on, as well), together with some new notation. Let \(f(x)\in {{\mathbb {Z}}}[x]\) of degree d and height (i.e, maximum of the absolute values of the coefficients) H, and A be a non-zero integer. Consider the equation
in \(x,y,n\in {{\mathbb {Z}}}\) with \(n\ge 2\). Our first lemma is a result of Bérczes, Brindza and Hajdu [3]. Note that the first result of this type is due to Tijdeman [25] and Schinzel and Tijdeman [23].
Lemma 3.3
If f(x) has at least two different roots, then for all solutions x, y, n of (8) with \(|y|>1\) we have
Here \(C_1(A,d,H)\) is an effectively computable constant depending only on A, d and H.
Our second lemma is the main result of Brindza [7]. To its formulation we need some new notation. Let S be a finite set of primes, and let \({{\mathbb {Z}}}_S\) be the set of those rational numbers whose denominators have no prime divisors outside S. By the height h(q) of a rational number q we mean the maximum of the absolute value of its denominator and numerator.
Lemma 3.4
Let \(f(x)\in {{\mathbb {Z}}}[x]\) with
where \(a_0\) is the leading coefficient of f, and \(\gamma _1,\ldots ,\gamma _m\) are the distinct complex roots of f(x), with multiplicities \(r_1,\ldots ,r_m\), respectively. Further, fix n with \(n\ge 2\), and set
Suppose that \((t_1,\ldots ,t_m)\) is not a permutation of any of the m-tuples
Then for any finite set S of primes, the solutions \(x,y\in {{\mathbb {Z}}}_S\) of (8) satisfy
where \(C_2(A,n,d,H,S)\) is an effectively computable constant depending only on A, n, d, H, S.
Now we are ready to give the proof of our effective result.
Proof of Theorem 2.2
By Lemma 3.3 it is sufficient to prove that the polynomial \(f_{k,j}(x)-b\) has more than two zeros of multiplicities coprime to n. Suppose to the contrary that
holds with some \(p(x),q(x)\in {{\mathbb {Q}}}[x]\) and \(\deg p\le 2\). Since by Lemma 3.1 and (5) all the roots of \(f_{k,j}'(x)\) are simple, by taking derivative of (9) we immediately get a contradiction for \(n\ge 3\). That is, we may assume that \(n=2\). Then, by taking derivatives of both sides of the above equation, we obtain
Let \(\alpha _1,\ldots ,\alpha _{k-2}\) be the roots of \(f'_{k,j}(x)\). Observe that all the roots of q(x) are among them. Further, if \(\alpha _i\) is a root of q(x), then (9) yields
However, by Lemma 3.2, in view of (5) we see that the above formula may hold for at most four \(\alpha _i\)-s. That is, we have \(\deg q\le 4\). Hence, we obtain that \(k-1=\deg f_{k,j}(x)\le 10\), so \(k\le 11\). That is, we are left with the cases \(8\le k\le 11\). Now a simple and tedious computation with Maple shows that for these values of k, (9) is not possible for any \(0\le j\le k-1\) and \(b\in {{\mathbb {Q}}}\). We illustrate it by an example. Let \(k=8\), \(j=3\). Then letting \(X=x/d\) and \(B=b/d^7\) we have
The discriminant of \(X(X+1)(X+2)(X+4)(X+5)(X+6)(X+7)-B\) (with respect to X) is given by
which is irreducible over \({{\mathbb {Q}}}\). That is, \(f_{8,3}(x)-b\) has no double roots for any \(b\in {{\mathbb {Q}}}\), which proves our claim in this case. In all the other cases we came to similar conclusions. Hence, the theorem follows. \(\square \)
Finally, we prove Theorem 2.1. For this we shall use a deep result of Bilu and Tichy [6] concerning equations of the type
in integers x, y, where f, g are polynomials with rational coefficients. To describe this result, we need to introduce some notation.
Let \(\alpha ,\beta ,\delta \) be nonzero rational numbers, \(\mu ,\nu ,q\) be positive integers, and r be a non-negative integer, and let \(v(x)\in {{\mathbb {Q}}}[x]\) be a nonzero polynomial (which may be constant). Then
is the \(\mu \)-th Dickson polynomial. Note that every second coefficient of a Dickson polynomial is zero. For (many) other properties of these polynomials we refer to the book [19].
The polynomials \(F,G\in {{\mathbb {Q}}}[x]\) form a standard pair over \({\mathbb {Q}}\), if one of (F(x), G(x)) and (G(x), F(x)) appears in Table 1.
Now we formulate the main result of [6], which will be a key ingredient in the proof of Theorem 2.1.
Lemma 3.5
Let \(f(x),g(x)\in {{\mathbb {Q}}}[x]\) be non-constant polynomials. Then the following two assertions are equivalent.
-
(i)
Equation (10) has infinitely many rational solutions x, y with a bounded denominator.
-
(ii)
We have \(f=\varphi \circ F\circ \lambda \) and \(g=\varphi \circ G\circ \kappa \), where \(\lambda (x),\kappa (x)\in {{\mathbb {Q}}}[x]\) are linear polynomials, \(\varphi (x)\in {{\mathbb {Q}}}[x]\), and F(x), G(x) form a standard pair over \({{\mathbb {Q}}}\) such that the equation \(F(x)=G(y)\) has infinitely many rational solutions x, y with a bounded denominator.
Now we give the proof of our ineffective result.
Proof of Theorem 2.1
In case of \(\deg g=2\) the statement easily follows from Theorem 2.2, in an effective form. Hence, in what follows, without loss of generality we may assume that \(\deg g\ge 3\). Suppose that Eq. (3) has infinitely many integer solutions. Then by Lemma 3.5 there exist \(\lambda (x),\kappa (x),\varphi (x)\in {{\mathbb {Q}}}[x]\) with \(\deg \lambda =\deg \kappa =1\) such that
where F(x), G(x) form a standard pair over \({{\mathbb {Q}}}\). By Theorem 2.3, we also have that \(\deg \varphi =1,(k-1)/2,k-1\).
If \(\deg \varphi =k-1\), then \(\deg F=1\). Thus \(t(x):=F(\lambda (x))\) is a linear polynomial over \({{\mathbb {Q}}}\). Then clearly, \(t^{-1}(x)\in {{\mathbb {Q}}}[x]\) is also a linear polynomial, and we have \(\varphi (x)=f_{k,j}(t^{-1}(x))\). Hence we just get part (i) of the statement. On the other hand, if g(y) is of the form \(g(y)=f_{k,j}(h(y))\) with a non-constant \(h(y)\in {{\mathbb {Q}}}[y]\), then (3) clearly has infinitely many solutions. Thus, the discussion of this case is complete.
Let now \(\deg {\varphi }=(k-1)/2\); then clearly, k is odd. By Theorem 2.3 we know that then the decomposition \(f_{k,j}(x)=\varphi (F(x))\) is equivalent to one of
according as \(j=0,(k-1)/2,k-1\), respectively. Thus, Lemma 3.5 shows that if (3) has infinitely many integral solutions, then necessarily the equation \(G(y)=X^2\) has infinitely many solutions with bounded denominator, where X is a linear transformation of one of \(x+(k\pm 1)d/2\). Hence by Lemma 3.4 we obtain parts (ii) and (iii) of the statement.
Finally, suppose that \(\deg \varphi =1\). Recall that we have
where F(x), G(x) form a standard pair. We check the possibilities in turn.
First observe that as \(k\ge 8\) and \(\deg g\ge 3\), F(x), G(x) cannot form a standard pair of the second or fifth type.
If F(x), G(x) form a standard pair of the first type, then we have
with some rational numbers \(u_1,u_2,w_1,w_2\) satisfying \(u_1w_1\ne 0\). As by Lemma 3.1 and (5) the polynomial \(f_{k,j}'(x)\) has no double roots, in either case we have \(q\le 2\). However, then as \(k\ge 8\) and \(\deg g\ge 3\), neither of \(f_{k,j}(x)\) and g(x) can be equivalent to \(x^q\), thus this case cannot occur.
So we are left with the possibilities where F(x), G(x) form a standard pair of the third or fourth kind. Observe that in both cases, in view of (5),
holds with some positive integer \(\mu \) and \(u_1,u_2,w_1,w_2,\delta \in {{\mathbb {Q}}}\), \(u_1w_1\delta \ne 0\). Observe that here the leading coefficients are \(w_1^{k-1}\) and \(u_1\), respectively. So without loss of generality we may assume that \(w_1=u_1=1\). Further, we clearly have \(\mu =\deg p_{k,j}(x)=k-1\). Hence, letting \(u=u_2\) and \(w=w_2\) we can write
Put
Then, as every second coefficient of the Dickson polynomial is zero, using Maple we get
Solving this equation system for j by Maple, we get that only the following cases are possible:
Write
We handle the possible pairs (j, w) in turn, by comparing the coefficients of \(x^{k-3}\) and \(x^{k-5}\) in (11). For this, note that as \(k\ge 8\) we have
First take \((j,w)=(0,-k/2),(k-1,(2-k)/2)\). Then a simple Maple calculation gives that in both cases we have
and
Now the equations \(t_3=s_3\), \(t_5=s_5\) yield \(k\le 4\), which is a contradiction.
Let now \((j,w)=((k-1)/2,(1-k)/2)\). Then we obtain
and
Now from \(t_3=s_3\), \(t_5=s_5\) we get \(k\le 7\), which is a contradiction again, and the theorem follows. \(\square \)
Change history
16 March 2021
A Correction to this paper has been published: https://doi.org/10.1007/s00605-021-01544-6
References
Bazsó, A., Bérczes, A., Hajdu, L., Luca, F.: Polynomial values of sums of products of consecutive integers. Monat. Math. 187, 21–34 (2018)
Bennett, M., Siksek, S.: A conjecture of Erdős, supersingular primes and short character sums (2017). arXiv:1709.01022 [math.NT]
Bérczes, A., Brindza, B., Hajdu, L.: On the power values of polynomials. Publ. Math. Debrecen 53, 375–381 (1998)
Beukers, F., Shorey, T.N., Tijdeman, R.: Irreducibility of polynomials and arithmetic progressions with equal product of terms. In: Győry, K., Iwaniec, H., Urbanowicz, J. (eds.) Number Theory in Progress (Proc. Internat. Conf. in Number Theory in Honor of A. Schinzel, Zakopane, 1997), pp. 11–26. de Gruyter, Berlin (1999)
Bilu, Yu., Kulkarni, M., Sury, B.: The Diophantine equation \(x(x+1)\ldots (x+(m-1))+r=y^n\). Acta Arith. 113, 303–308 (2004)
Bilu, Yu., Tichy, R.: The Diophantine equation \(f(x)=g(y)\). Acta Arith. 95, 261–288 (2000)
Brinza, B.: On \(S\)-integral solutions of the equation \(y^m=f(x)\). Acta Math. Hung. 44, 133–139 (1984)
Brindza, B., Bilu, Yu., Kirschenhofer, P., Pintér, Á., Tichy, R.: Diophantine equations and Bernoulli polynomials. With an Appendix by A. Schinzel. Compositio Math. 131, 173–188 (2002)
Darmon, H., Granville, A.: On the equations \(z^m=F(x, y)\) and \(Ax^p+By^q=Cz^r\). Bull. Lond. Math. Soc. 27, 513–543 (1995)
Erdős, P.: On a Diophantine equation. J. Lond. Math. Soc. 26, 176–178 (1951)
Erdős, P., Selfridge, J.L.: The product of consecutive integers is never a power. Ill. J. Math. 19, 292–301 (1975)
Győry, K.: On the Diophantineequation \(\genfrac(){0.0pt}{}{n}{k}=x^l\). Acta Arith. 80, 289–295 (1997)
Győry, K., Hajdu, L., Pintér, Á.: Perfect powers from products of consecutive terms in arithmetic progression. Compos. Math. 145, 845–864 (2009)
Győry, K., Hajdu, L., Saradha, N.: On the Diophantine equation \(n(n+d)\cdots (n+(k-1)d)=by^l\). Canad. Math. Bull. 47, 373–388 (2004). Correction: ibid. 48, 636 (2005)
Győry, K., Kovács, T., Péter, Gy., Pintér, Á.: Equal values of standard counting polynomials. Publ. Math. Debrecen 84, 259–277 (2014)
Hajdu, L., Laishram, S., Tengely, Sz.: Power values of sums of products of consecutive integers. Acta Arith. 172, 333–349 (2016)
Hajdu, L., Pintér, Á., Tengely, Sz., Varga, N.: Equal values of figurate numbers. J. Number Theory, 137, 130–141 (2014)
Kulkarni, M., Sury, B.: On the Diophantine equation \(x(x+1)(x+2)\cdots (x+(m-1)) = g(y)\). Indag. Math. 14, 35–44 (2003)
Lidl, R., Mullen, G., Turnwald, G.: Dickson Polynomials, Pitman Monographs and Surveys in Pure and Applied Mathematics, vol. 65. Longman Scientific & Technical, Harlow (1993)
Saradha, N., Shorey, T.N.: Almost perfect powers in arithmetic progression. Acta Arith. 99, 363–388 (2001)
Saradha, N., Shorey, T.N.: Almost squares and factorizations in consecutive integers. Compos. Math. 138, 113–124 (2003)
Saradha, N., Shorey, T.N.: On the equation \(n(n+d)\cdots (n+(i_0-1)d)(n+(i_0+1)d)\cdots (n+(k-1)d)=y^l\) with \(0<i_0<k-1\). Acta Arith. 129, 1–21 (2007)
Schinzel, A., Tijdeman, R.: On the equation \(y^m = P(x)\). Acta Arith. 31, 199–204 (1976)
Stoll, T., Tichy, R.F.: The Diophantine equation \(\alpha \genfrac(){0.0pt}{}{x}{m}+\beta \genfrac(){0.0pt}{}{y}{n}=\gamma \). Publ. Math. Debrecen 64, 155–165 (2004)
Tijdeman, R.: Applications of the Gel’fond–Baker method to rational number theory. In: Topics in Number Theory, Proceedings of the Conference at Debrecen 1974, Colloq. Math. Soc. János Bolyai, vol. 13, pp. 399–416. North-Holland, Amsterdam (1976)
Yuan, P.-Z.: On a special diophantine equation \(a\genfrac(){0.0pt}{}{x}{m}=by^r+c\). Publ. Math. Debrecen 44, 137–143 (1994)
Acknowledgements
Open access funding provided by University of Debrecen (DE). The authors are grateful to the Referee for the useful and helpful remarks.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Adrian Constantin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
L. Hajdu was supported in part by the NKFIH Grants 115479, 128088, and 130909, and the Projects EFOP-3.6.1-16-2016-00022 and EFOP-3.6.2-16-2017-00015 co-financed by the European Union and the European Social Fund. Á. Papp was supported by the ÚNKP-19-3 New National Excellence Program of the Ministry for Innovation and Technology.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hajdu, L., Papp, Á. Polynomial values of products of terms from an arithmetic progression. Monatsh Math 193, 637–655 (2020). https://doi.org/10.1007/s00605-020-01422-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-020-01422-7