Aunque tu pregunta es un poco más específico, vale la pena mencionar algunos resultados generales sobre la persistencia de divisibilidad que a menudo resultan útiles en tales contextos.
Una propiedad característica de univariante polinomio de anillos sobre un campo es que son los únicos que no son triviales anillos con división-con-el resto, de tal forma que el cociente y el resto son únicos.
La utilización de dicha singularidad es muy fácil de demostrar que la ampliación del coeficiente de campo no cambia la divisibilidad de los resultados. Así, por ejemplo, si $\,f,g\in \Bbb Q[x],\,$ $\,f\,$ divide $\,g\,$ $\Bbb R[x]\,$ $\,f\,$ divide $\, g\,$ $\,\Bbb Q[x],\,$ es decir, el cociente $\,g/f\,$ se encuentra en $\Bbb Q[x],\,$ es decir, sus coeficientes siendo racional.
Otra forma de deducir tales persistencia de cociente (y el resto) es comenzar con la observación de que las operaciones del algoritmo de la división son todos racionales sobre el coeficiente de campo, por lo que permanecer allí. La ventaja de los de arriba la vista es que se establece en el contexto general de deducir las igualdades de teoremas de singularidad - ampliamente método de aplicación.
A ver , dijo la respuesta para una mayor discusión y referencias bibliográficas.