Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /180 of 270

Iranian Mathematical Olympiad

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 m≠nm \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), deg⁡R(x)<deg⁡Q(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,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.