Let be a nonconstant integer polynomial and positive integer . The sequence is defined by and for . Given that for each positive integer , the sequence contains a -th power of some positive integer greater than 1. Prove that .
Solution
Suppose .
Let . Then for large , grows very rapidly, since and is a degree polynomial with integer coefficients.
Let be any positive integer. By assumption, there exists such that for some integer .
Let us fix and consider the sequence . Since is a nonconstant integer polynomial, for large , will be very large and will have many prime divisors (by Zsigmondy's theorem, for example, or by the fact that the sequence grows rapidly and is not eventually constant).
But for to be a perfect -th power for every , for every there must exist such that is a perfect -th power. In particular, for large, must be a perfect -th power, i.e., for some .
But for large , the gap between consecutive perfect -th powers grows very rapidly. For example, for , the numbers are extremely far apart. Since grows rapidly, but is fixed, the sequence cannot hit perfect -th powers for all unless is linear.
More precisely, for , grows as a tower of exponents, so for large , is much larger than , and so on. The set of perfect -th powers is very sparse for large , so it is impossible for the sequence to hit a perfect -th power for every unless is linear.
Now, suppose , i.e., with , .
Then is an affine recurrence, so (if ), which is an explicit formula. For suitable , can be made to hit perfect -th powers for all (for example, if , , then ; for , , alternates, but for suitable and , can be a perfect -th power).
Therefore, the only possibility is .