Complex Roots of Polynomials and De Moivre's Theorem
Complex Conjugate Roots
When working with polynomials that have real coefficients, complex roots always come in conjugate pairs, i.e. if $a + bi$ is a root of a polynomial, then $a - bi$ is also a root of the same polynomial.
This is because of the properties of the sum and product of a polynomial's roots, which are covered further in Topic 2. To summarize, if the coefficients are all real, the sum and product of the roots must be real. If there is a complex root, the only way to make the sum and product of all roots positive is to also include its complex conjugate as a root.
For example, if we have the quadratic $x^2 + 1 = 0$:
- The roots are $i$ and $-i$ (conjugate pairs)
- We can verify: $(x-i)(x+i) = x^2 + 1$
A polynomial with real coefficients can only have an even number of complex roots, as they always come in conjugate pairs.
De Moivre's Theorem
De Moivre's theorem is a result formalizing the properties of complex numbers when raised to a power. To derive it, we can start with a complex number in Euler form:
$$re^{i\theta}$$
If we raise it to a power $n$, we get:
$$(re^{i\theta})^n$$
We can apply normal exponent rules to expand this into:
$$r^ne^{in\theta}$$
If we then replace $e^{i\theta}$ with $\cos\theta + i\sin\theta$, we get de Moivre's theorem. For any complex number in polar form: