Proper noun
complex conjugate root theorem (mathematics, complex analysis) The theorem that if a complex number is a root for a polynomial with real coefficients, the complex conjugate of that number will also be a root.