Maths Olympiad Prep

Library / /199 of 299

Algebra Difficulty 6.8 National Olympiad Prove it Iran

We call a sequence (Pn)n=1,...(P_n)_{n=1,...} of polynomials an arithmetic sequence with common difference Q(x)Q(x) if Pn+1=Pn+QP_{n+1} = P_n + Q, n=1,n = 1, \dots. Suppose that we have an arithmetic sequence of polynomials with the common difference Q(x)Q(x) and the first term P(x)P(x) such that PP, QQ are monic polynomials with integer coefficients and have no common root. Further, each element of this arithmetic sequence has at least one integer root. Prove that

i. Q(x)Q(x) divides P(x)P(x);

ii. The polynomial P(x)/Q(x)P(x)/Q(x) would be of degree one.

Solution

We shall firstly prove that the set of integer roots of the (P+nQ)n=1,...(P + nQ)_{n=1,...} would be unbounded. For sake of this, notice that if mnm \ne n the polynomials P+mQP + mQ, P+nQP + nQ have no common integer root; otherwise PP and QQ would have. Now, let rnr_n be an integer root of P+nQP + nQ. It follows that P(rn)/Q(rn)=nP(r_n)/Q(r_n) = -n. Divide PP by QQ, then, there would be polynomials TT and RR such that P(x)=T(x)Q(x)+R(x)P(x) = T(x)Q(x) + R(x), degR(x)<degQ(x)\deg R(x) < \deg Q(x) and T(x)T(x), R(x)R(x) would be of integer coefficients. Plugging x=rnx = r_n yielding T(rn)+R(rn)/Q(rn)=nT(r_n) + R(r_n)/Q(r_n) = -n. Thus, R(rn)/Q(rn)R(r_n)/Q(r_n) would be an integer. Since

we can assign a unique integer root to each of P(x)+nQ(x)P(x) + nQ(x), we can find an arbitrary large root rnr_n. But, the degree condition on RR implies that R(rn)/Q(rn)<1|R(r_n)/Q(r_n)| < 1 for all large enough rnr_n. Hence, it must be zero and therefore, R(x)/Q(x)=0R(x)/Q(x) = 0 for infinitely many xx. Yielding R(x)=0R(x) = 0 and hence, P(x)P(x) would be divisible by QQ.

Let P(x)=Q(x)S(x)P(x) = Q(x)S(x) for some polynomial S(x)S(x) with integer coefficients. It follows that P+nQ=Q(S+n)P+nQ = Q(S+n) and rnr_n would be an integer root of S(x)+nS(x)+n. It follows that the line y=ny = -n must cut the graph of y=S(x)y = S(x) at integer points. This would be a well-known result that this can only happen if and only if S(x)=Ax+BS(x) = Ax + B for some integers A,BA, B.

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

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