Teorema da raiz complexa conjugada

Em matemática, o teorema da raiz complexa conjugada estabelece que se P é um polinômio em uma variável com coeficientes reais, e a + bi é uma raiz de P com a e b números reais, então seu complexo conjugado a − bi é também uma raiz de P. Disto segue (e do teorema fundamental da álgebra), que se o grau de um polinômio real é ímpar, o mesmo tem no mínimo uma raiz real. Isto pode ser também provado usando o teorema do valor intermediário.