Conjugate Root Theorem - Expii

The "complex conjugate root theorem" says that if P(x) is a real polynomial, and P(z) = 0 for some complex number z, then P(conjugate of z) = 0 too. So the complex roots of P come in pairs.