Maths Olympiad Prep

Library / /35 of 39

Algebra Difficulty 6.7 National olympiad Prove it Ukraine

Given the sequence of polynomials P0(x),P1(x),,Pn(x)P_0(x), P_1(x), \dots, P_n(x), n2n \ge 2. It is known that for every integer ii (0in0 \le i \le n): deg(Pi(x))=ni\deg(P_i(x)) = n-i, and Pn(x)0P_n(x) \ne 0. It is also known that for every integer ii (2in2 \le i \le n) there exists polynomial Qi(x)Q_i(x) such that Pi(x)=Pi2(x)+Pi1(x)Qi(x)P_i(x) = P_{i-2}(x) + P_{i-1}(x)Q_i(x). If polynomials R(x)R(x) and S(x)S(x) satisfy P0(x)R(x)+P1(x)S(x)=1P_0(x)R(x) + P_1(x)S(x) = 1 for all real xx, prove that deg(R(x))n2\deg(R(x)) \ge n-2 and deg(S(x))n1\deg(S(x)) \ge n-1. (Where by degP(x)\deg P(x) we denote the degree of polynomial P(x)P(x)).

Solution

It is possible that the degree of the sum of two polynomials is less than the degree of one summand only if their degrees equal. For shortening we pull down (x)(x) in the notation. degPi<degPi2\deg P_i < \deg P_{i-2} and Pi=Pi2+Pi1QiP_i = P_{i-2} + P_{i-1}Q_i, therefore deg(Pi1Qi)=ni+2\deg(P_{i-1}Q_i) = n-i+2, hence deg(Qi)=1\deg(Q_i) = 1 for all integer i=2,ni = 2, n.

Let's prove by induction by i=2,ni=2, n, that there exist polynomials RiR_i and SiS_i of degrees i2i-2 and i1i-1 respectively, satisfying Pi=P0Ri+P1SiP_i = P_0 R_i + P_1 S_i.

Base. For i=2i=2 we can get Ri=1R_i = 1 and Si=Q2S_i = Q_2.

Induction step. Let for all ii, 2ik2 \le i \le k (k<nk < n) there exist required RkR_k and SkS_k. We will construct required polynomials for i=k+1i = k+1. We have from the statement: Pk+1=Pk1+PkQk+1P_{k+1} = P_{k-1} + P_k Q_{k+1}.

In the case k>2k > 2 we get from the induction assumption:

Pk+1=(P0Rk1+P1Sk1)+(P0Rk+P1Sk)Qk+1=(Rk1+RkQk+1)P0+(Sk1+SkQk+1)P1P_{k+1} = (P_0 R_{k-1} + P_1 S_{k-1}) + (P_0 R_k + P_1 S_k)Q_{k+1} = (R_{k-1} + R_k Q_{k+1})P_0 + (S_{k-1} + S_k Q_{k+1})P_1.

And we can set Rk+1=Rk1+RkQk+1R_{k+1} = R_{k-1} + R_k Q_{k+1} and Sk+1=Sk1+SkQk+1S_{k+1} = S_{k-1} + S_k Q_{k+1}.

For k=2k=2: Pk+1=P1+(P0R2+P1S2)Q3=(R2Q3)P0+(1+S2Q3)P1P_{k+1} = P_1 + (P_0 R_2 + P_1 S_2)Q_3 = (R_2 Q_3)P_0 + (1 + S_2 Q_3)P_1. And we can set Rk+1=R2Q3R_{k+1} = R_2 Q_3 and Sk+1=1+S2Q3S_{k+1} = 1 + S_2 Q_3. In both cases degrees of Rk+1R_{k+1} and Sk+1S_{k+1} are as required. The statement proved.

If we set i=ni = n, then Pi=P0Ri+P1SiP_i = P_0 R_i + P_1 S_i, or, taking into account Pi0P_i \neq 0 and deg(Pi)=0\deg(P_i) = 0, for Rn0=RnPnR_{n0} = \frac{R_n}{P_n} and Sn0=SnPnS_{n0} = \frac{S_n}{P_n} it holds P0Rn0+P1Sn0=1P_0 R_{n0} + P_1 S_{n0} = 1 (and at that deg(Rn0)=n2\deg(R_{n0}) = n - 2 and deg(Sn0)=n1\deg(S_{n0}) = n - 1).

Let for some other RR and SS it holds P0R+P1S=1P_0 R + P_1 S = 1. Then P0(RRn0)+P1(SSn0)=0P_0(R - R_{n0}) + P_1(S - S_{n0}) = 0, or P0R~+P1S~=0P_0 \tilde{R} + P_1 \tilde{S} = 0 for R~=RRn0\tilde{R} = R - R_{n0}, S~=SSn0\tilde{S} = S - S_{n0}.

Let's prove that R~\tilde{R} divides by P1P_1, i.e. there exists polynomial CC, for which R~=P1C\tilde{R} = P_1 C. By multiplying both sides by Rn0R_{n0}, we get P0Rn0R~+P1Rn0S~=0P_0 R_{n0} \tilde{R} + P_1 R_{n0} \tilde{S} = 0. Taking into account preceding formulas: P0Rn0=1P1Sn0P_0 R_{n0} = 1 - P_1 S_{n0}. Let's substitute this equality into previous one: (1P1Sn0)R~+P1Rn0S~=0(1 - P_1 S_{n0}) \tilde{R} + P_1 R_{n0} \tilde{S} = 0, whence R~P1Sn0R~+P1Rn0S~=0\tilde{R} - P_1 S_{n0} \tilde{R} + P_1 R_{n0} \tilde{S} = 0, or R~=P1(Sn0R~Rn0S~)\tilde{R} = P_1 (S_{n0} \tilde{R} - R_{n0} \tilde{S}), which is required.

And so either R~=0\tilde{R} = 0 or degR~degP1=n1\deg \tilde{R} \ge \deg P_1 = n - 1. If R~=0\tilde{R} = 0 then degR=degRn0=n2\deg R = \deg R_{n0} = n - 2. If degR~n1\deg \tilde{R} \ge n - 1 then degR=degR~n1\deg R = \deg \tilde{R} \ge n - 1. Therefore degRn2\deg R \ge n - 2. It can be proved in the similar manner that S~\tilde{S} divides by P0P_0, and from this that degSn1\deg S \ge n - 1, which is to be proven.

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 and solution reproduced as published; topic and difficulty added by this site.