Sejam p(x) e q(x) polinômios com coeficientes reais. Dividindo-se p(x) por q(x), obtêm-se quociente e resto iguais a x2 + 1. Nessas condições, é correto afirmar que
Do enunciado, tem-se:
Fatorando p(x), tem-se:
As raízes de p(x) são obtidas de
De , tem-se:
, que são raízes imaginárias.
Note-se que, independentemente das raízes de p(x) serem reais ou imaginárias, elas certamente são complexas (pelo teorema fundamental da Álgebra).
Assim, a alternativa C estaria correta de qualquer forma.