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:
![«math style=¨font-family:Tahoma¨ xmlns=¨http://www.w3.org/1998/Math/MathML¨»«mstyle mathsize=¨14px¨»«mrow»«mi mathvariant=¨normal¨»p«/mi»«mo»(«/mo»«mi mathvariant=¨normal¨»x«/mi»«mo»)«/mo»«mo»§#xA0;«/mo»«mo»=«/mo»«mo»§#xA0;«/mo»«mo»(«/mo»«msup»«mi mathvariant=¨normal¨»x«/mi»«mn»2«/mn»«/msup»«mo»§#xA0;«/mo»«mo»+«/mo»«mo»§#xA0;«/mo»«mn»1«/mn»«mo»)«/mo»«mo»§#xA0;«/mo»«mo»§#xB7;«/mo»«mo»§#xA0;«/mo»«mo»[«/mo»«mi mathvariant=¨normal¨»q«/mi»«mo»(«/mo»«mi mathvariant=¨normal¨»x«/mi»«mo»)«/mo»«mo»§#xA0;«/mo»«mo»+«/mo»«mo»§#xA0;«/mo»«mn»1«/mn»«mo»]«/mo»«/mrow»«/mstyle»«/math»](https://anglo.plurall.net/sites/all/libraries/ckeditor//plugins/ckeditor_wiris/integration/showimage.php?formula=65de7dff86d2c3f1054bfd66894d6661.png)
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.