On a :
{S(X)T(X)==X(X6+αX5+βX4−X3+5X2−2X)X(X3−2X+1)Posons alors :
{A(X)B(X)==X6+αX5+βX4−X3+5X2−2XX3−2X+1Ainsi, la division euclidienne de
S par
T suivant les puissances croissantes de
X jusqu'à l'ordre trois revient à celle de
A par
B (car le terme constant de
B, à savoir
1, n'est pas nul). On a donc :
Le reste de cette division peut s'écrire :
(β+4)X4+(α−1)X5=X4((β+4)+(α−1)X)=X3+1((β+4)+(α−1)X)En posant
Q(X)=−2X+X2+X3 et
R(X)=β+4+(α−1)X, on peut donc écrire que :
A(X)=B(X)×Q(X)+X3+1R(X)