Key principle: Complex roots of polynomials with REAL coefficients always come in conjugate pairs.
If p(x) has real coefficients and alpha + ibeta is a root, then alpha - ibeta is also a root.
Quadratic + bx + c = 0 (a, b, c real):
- If D = - 4ac < 0: roots are (-b +/- i*sqrt(|D|))/(2a), forming a conjugate pair
- Sum of roots = -b/a (real)
- Product of roots = (real)
- |root|^2 = (since z * z-bar = |z|^2 equals product of conjugate pair)
Forming quadratic with given complex root: If alpha + ibeta is a root, the quadratic is: - 2alpha*x + ( + ) = 0
Important: This conjugate pair property does NOT hold for polynomials with complex coefficients.