Maths Olympiad Prep

Library / HMMT February /1244 of 1302

HMMT February, 2023

Algebra Difficulty 6.1 National Olympiad Prove it United States

Problem:
Let P1(x),P2(x),…,Pk(x)P_{1}(x), P_{2}(x), \ldots, P_{k}(x) be monic polynomials of degree 1313 with integer coefficients. Suppose there are pairwise distinct positive integers n1,n2,…,nkn_{1}, n_{2}, \ldots, n_{k} for which, for all positive integers ii and jj less than or equal to kk, the statement "nin_{i} divides Pj(m)P_{j}(m) for every integer mm" holds if and only if i=ji = j. Compute the largest possible value of kk.

Solution

Solution:
We first consider which integers can divide a polynomial Pi(x)P_{i}(x) for all xx. Assume that c∣Pi(x)c \mid P_{i}(x) for all xx. Then, cc must also divide the finite difference Q(x)=Qi(x+1)−Qi(x)Q(x) = Q_{i}(x+1) - Q_{i}(x). Since Qi(x)Q_{i}(x) is degree 1313 and monic, the leading term of Q(x)Q(x) is the leading term of (x+1)13−x13(x+1)^{13} - x^{13}, which is 13x1213 x^{12}. Continuing this process finding finite differences, we see that cc must divide R(x)=Q(x+1)−Q(x)R(x) = Q(x+1) - Q(x), which has a leading term 13⋅12x1113 \cdot 12 x^{11}. At the end, we will see that c∣13!c \mid 13!, so these are the only possible values of cc.

To show that all of these values of cc work, consider the polynomial Pi(x)=x(x+1)⋯(x+12)+cP_{i}(x) = x(x+1) \cdots (x+12) + c. It can be easily seen that the product of thirteen consecutive integers is always divisible by 13!13!, so this polynomial is always divisible by cc and nothing more, as Pi(0)=cP_{i}(0) = c.

Now, we find the maximum possible value of kk. Note that if two polynomials have values of nin_{i} and njn_{j}, we cannot have ni∣njn_{i} \mid n_{j} since then ni∣Pj(x)n_{i} \mid P_{j}(x) for all xx. Hence, we wish to find as many values of c∣13!c \mid 13! as possible that do not divide each other.

We prime factorize 13!=210⋅35⋅52⋅7⋅11⋅1313! = 2^{10} \cdot 3^{5} \cdot 5^{2} \cdot 7 \cdot 11 \cdot 13. We claim that the maximum number of polynomials is k=144k = 144. This is a maximum since there are 6⋅3⋅2⋅2⋅2=1446 \cdot 3 \cdot 2 \cdot 2 \cdot 2 = 144 odd factors of 13!13!; and if two values nin_{i} and njn_{j} have the same odd component by the Pigeonhole Principle, then either ninj\frac{n_{i}}{n_{j}} or njni\frac{n_{j}}{n_{i}} is a power of 22. In addition, k=144k = 144 is attainable by taking 2a⋅3b⋅5c⋅7d⋅11e⋅13f2^{a} \cdot 3^{b} \cdot 5^{c} \cdot 7^{d} \cdot 11^{e} \cdot 13^{f} for a+b+c+d+e+f=10a + b + c + d + e + f = 10, in which there is exactly one solution for aa for each of the 144144 valid quintuples (b,c,d,e,f)(b, c, d, e, f). Hence, k=144k = 144 is the maximum.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.