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) in the notation. degPi<degPi−2 and Pi=Pi−2+Pi−1Qi, therefore deg(Pi−1Qi)=n−i+2, hence deg(Qi)=1 for all integer i=2,n.
Let's prove by induction by i=2,n, that there exist polynomials Ri and Si of degrees i−2 and i−1 respectively, satisfying Pi=P0Ri+P1Si.
Base. For i=2 we can get Ri=1 and Si=Q2.
Induction step. Let for all i, 2≤i≤k (k<n) there exist required Rk and Sk. We will construct required polynomials for i=k+1. We have from the statement: Pk+1=Pk−1+PkQk+1.
In the case k>2 we get from the induction assumption:
Pk+1=(P0Rk−1+P1Sk−1)+(P0Rk+P1Sk)Qk+1=(Rk−1+RkQk+1)P0+(Sk−1+SkQk+1)P1.
And we can set Rk+1=Rk−1+RkQk+1 and Sk+1=Sk−1+SkQk+1.
For k=2: Pk+1=P1+(P0R2+P1S2)Q3=(R2Q3)P0+(1+S2Q3)P1. And we can set Rk+1=R2Q3 and Sk+1=1+S2Q3. In both cases degrees of Rk+1 and Sk+1 are as required. The statement proved.
If we set i=n, then Pi=P0Ri+P1Si, or, taking into account Pi=0 and deg(Pi)=0, for Rn0=PnRn and Sn0=PnSn it holds P0Rn0+P1Sn0=1 (and at that deg(Rn0)=n−2 and deg(Sn0)=n−1).
Let for some other R and S it holds P0R+P1S=1. Then P0(R−Rn0)+P1(S−Sn0)=0, or P0R~+P1S~=0 for R~=R−Rn0, S~=S−Sn0.
Let's prove that R~ divides by P1, i.e. there exists polynomial C, for which R~=P1C. By multiplying both sides by Rn0, we get P0Rn0R~+P1Rn0S~=0. Taking into account preceding formulas: P0Rn0=1−P1Sn0. Let's substitute this equality into previous one: (1−P1Sn0)R~+P1Rn0S~=0, whence R~−P1Sn0R~+P1Rn0S~=0, or R~=P1(Sn0R~−Rn0S~), which is required.
And so either R~=0 or degR~≥degP1=n−1. If R~=0 then degR=degRn0=n−2. If degR~≥n−1 then degR=degR~≥n−1. Therefore degR≥n−2. It can be proved in the similar manner that S~ divides by P0, and from this that degS≥n−1, which is to be proven.