Problem:
Find all positive integers and for which there are three consecutive integers at which the polynomial
takes integer values.
Solutions — 3
Solution 1
Solution:
Denote the three consecutive integers by , and , so that
By computing the differences of the equations in (1) we get
Adding the first and third equation in (1) and subtracting twice the second equation yields
Next, (2) and (4) together yield
Finally we combine (3) and (5) to derive
As the positive integer divides 22 , we are left with the four cases and .
If is even (i.e. or ), then we get a contradiction from (3), because the integer is odd, and hence not divisible by any even integer.
For , it is trivial to see that a polynomial of the form , with any positive integer, has the desired property.
For , we note that
Hence a polynomial of the form has the desired property if and only if . This completes the proof.
A Variant. We start by following the first solution up to equation (4). We note that is a trivial solution, and assume from now on that . As and have different parity, must be odd. As in (3) is a multiple of , we conclude that (i) is not divisible by 5 and that (ii) and are relatively prime. As in (4) is divisible by , we altogether derive
Together with (2) this implies that
Hence is the only remaining candidate, and it is handled as in the first solution.
Solution 2
Solution:
Let be a prime such that divides . For some integer , we have
Now, there is a primitive root modulo , so there exist such that
The condition of the problem is thus
If , then 5 is invertible modulo and thus , i.e. . This is a contradiction. Hence and thus . Thus, from (6), there exist integers such that
Let and . In particular, the above yields , and thus
It follows that
Now , so and must be congruent, modulo , to some of the non-trivial fifth roots of unity . Observe that, for any pair of these non-trivial roots of unity,
either one is the other's inverse, or one is the other's square. In the first case, we have , implying , a contradiction. Hence
or
Thus, since , we have or , and thus or an analogous equation obtained from . Hence . Since , it follows that , i.e. is a power of 11 .
Examining the fifth powers modulo 11 , we see that is indeed a solution with and, correspondingly, . Now suppose, for the sake of contradiction, that divides . Then, for some integer , we must have
and thus, substituting into the condition of the problem,
Hence and , so , a contradiction. It follows that .
Finally, we conclude that the positive integers satisfying the original condition are , with , and , for any positive integer .
Solution 3
Solution:
Denote the three consecutive integers by , and as in Solution 1. By computing the differences in (1), we find
By determining the polynomial greatest divisor of and using the Euclidean algorithm, we find that
where
Since and , it follows from (7) that . We now finish off the problem as in Solution 1.