Propositions from Complex polynomials
All propositions from Complex polynomials.
Conjugate roots for real coefficients
If has real coefficients and is a root of multiplicity , then is also a root of multiplicity .
The condition on the coefficients is essential: conjugation must leave every coefficient unchanged before it can pass through the polynomial.
Real linear and quadratic factors
Every non-zero polynomial with real coefficients can be written as a non-zero real constant times a product of real linear factors and real quadratic factors.
Every non-real root occurs with its conjugate. Pairing the corresponding factors gives
whose coefficients are real. Real roots already provide real linear factors. The quadratic factors obtained from non-real roots have negative discriminant, so they do not split further over .