Si \(x^2=2x(ax+b)+r\) con \(a,b\in\mathbb{Z}\), el coeficiente de \(x^2\) daría \(2a=1\), imposible. El algoritmo exige que el coeficiente principal del divisor sea invertible, como ocurre en un cuerpo.
Dados polinomios \(f\) y \(g\neq 0\) sobre un cuerpo \(F\), existen un único cociente \(q\) y un único residuo \(r\) que cumplen la igualdad de abajo, con \(r\) nulo o de grado menor que el de \(g\).
\[f=gq+r,\qquad r=0\ \text{ o }\ \deg r<\deg g\]
Más ejercicios de algoritmo de la división de polinomios