Problem:
Let be monic polynomials of degree with integer coefficients. Suppose there are pairwise distinct positive integers for which, for all positive integers and less than or equal to , the statement " divides for every integer " holds if and only if . Compute the largest possible value of .
, 2023
Solution
Solution:
We first consider which integers can divide a polynomial for all . Assume that for all . Then, must also divide the finite difference . Since is degree and monic, the leading term of is the leading term of , which is . Continuing this process finding finite differences, we see that must divide , which has a leading term . At the end, we will see that , so these are the only possible values of .
To show that all of these values of work, consider the polynomial . It can be easily seen that the product of thirteen consecutive integers is always divisible by , so this polynomial is always divisible by and nothing more, as .
Now, we find the maximum possible value of . Note that if two polynomials have values of and , we cannot have since then for all . Hence, we wish to find as many values of as possible that do not divide each other.
We prime factorize . We claim that the maximum number of polynomials is . This is a maximum since there are odd factors of ; and if two values and have the same odd component by the Pigeonhole Principle, then either or is a power of . In addition, is attainable by taking for , in which there is exactly one solution for for each of the valid quintuples . Hence, is the maximum.