已知次数界分别为 n , m n,m n,m的多项式 F ( x ) F(x) F(x)与 G ( x ) G(x) G(x),求解次数界为 n − m n-m n−m的两个多项式 Q ( x ) Q(x) Q(x)与 R ( x ) R(x) R(x)使得
F ( x ) = G ( x ) Q ( x ) + R ( x ) F(x)=G(x)Q(x)+R(x) F(x)=G(x)Q(x)+R(x)
我们令
A r ( x ) = x Deg ( A ) A ( x − 1 ) A_r(x)=x^{\text{Deg}(A)}A(x^{-1}) Ar(x)=xDeg(A)A(x−1)
很明显这是将原多项式的系数翻转,证明如下
假设
A ( x ) = ∑ i = 0 Deg(A) a i x i A(x)=\sum_{i=0}^{\text{Deg(A)}}a_ix^i A(x)=i=0∑Deg(A)aixi
则
x Deg ( A ) A ( x − 1 ) = x Deg ( A ) ∑ i = 0 Deg(A) a i ( x − 1 ) i = ∑ i = 0 Deg ( A ) a i x Deg ( A ) − i x^{\text{Deg}(A)}A(x^{-1})=x^{\text{Deg}(A)}\sum_{i=0}^{\text{Deg(A)}}a_i(x^{-1})^i=\sum_{i=0}^{^{\text{Deg}(A)}}a_ix^{\text{Deg}(A)-i} xDeg(A)A(x−1)=xDeg(A)i=0∑Deg(A)ai(x−1)i=