Simplemente explicando: la IDEA clave es que no se termina de dividir hasta que el resto no es divisible por el divisor. La PALABRA clave en tu mensaje es "GENERALMENTE", porque la conclusión no es firme y rápida, simplemente es "normalmente" así.
Primero IDEA. Considere números simples, tal vez dividiendo $1\,034$ por $10$ . Empiezas por la izquierda y trabajas hacia la derecha (esto se enseña en primer grado, por supuesto, así que no voy a alargar el proceso) hasta que no puedas continuar de forma útil. Así que se obtiene $100~R~34$ y $3~R~4$ y se detiene cuando queda un resto ( $4$ ) menos que su divisor, $10$ . Es bastante fácil saber cuándo es "menos que" con los números, pero un poco menos con los polinomios. Pero con los polinomios lo vemos de forma ligeramente diferente: nos detenemos cuando el orden del resto es menor que el orden del divisor. Así que al dividir por $7x^2$ y teniendo un remanente con sólo $x^2$ Normalmente apretamos los dientes (amamos nuestros números enteros ) y utilizamos $1/7$ eliminando el resto $2$ nd término de orden ( $x^2$ ). En ese momento, continuar se vuelve difícil incluso con los dientes apretados.
Y así nos detenemos. Obsérvese que no es que el resto sea ahora lineal con lo que es especial de alguna manera: simplemente es de menor orden que el divisor. En el caso de dividir por un $2$ nd de orden polinómico, lo que significa que es $1$ st o simplemente una constante (número).
Lo que lleva a la parte "generalmente": en la práctica, PODRÍA ser sólo la constante, y no una ecuación lineal. $x^2 + 8$ dividido por $x^2$ por ejemplo. Pero no por lo general. De ahí el "generalmente" en la afirmación de tu post. Y subiendo en el orden, digamos un divisor de quinto orden, aunque normalmente se espera, sólo por probabilidad, un resto de cuarto orden, también podría ser un resto de tercer, segundo o primer orden, o simplemente una constante.
Así que no se trata de un gran teorema con una prueba impresionante, sino de una observación práctica basada en la mecánica que utilizamos para la división.
(Y añade un "control de idiotas" en caso de que uno se detenga antes de tiempo, pensando que ha terminado. "Espera, no puede ser, debería ser lineal y no lo es, así que tal vez tenga que seguir trabajando ")
21 votos
Compárese con la división larga con números enteros: si se divide por $10$ , digamos, entonces el resto será menor que $10$ . ¿Por qué? Porque si no, es que has dejado de dividir demasiado pronto.