Olá Juliana e colegas,
Realmente os coeficiente precisam ser todos reais para poder usar que se um complexo é raiz, seu conjugado tb será.
Segue em anexo a demosntração, é bem simples. Bata tomar um polinomio de grau n, usar que z é raiz (colocar z no lugar de x e igualar a zero). Depois tomar o comjugado em ambos os lados, usar as propriedades do conjugado de soma e produto e depois que vem o pq de a precisar ser real:
note que da passagem 2 para a 3 (em destaque) foi usaddo que o conjugado de cada coeficiente a é igual ao próprio a e isso só pode ser feito pq a é real. (se a não fosse ele nao seria igual ao seu conjugado e o polinomio mudaria).
Espero ter ajudado.
Abraços a todos,
Bianca Coloneze