IB Mathematics AA Complex roots & de Moivre’s theorem Study Notes
IB Mathematics AA Complex roots & de Moivre’s theorem Study Notes
IB Mathematics AA Complex roots & de Moivre’s theorem Study Notes Offer a clear explanation of Complex roots & de Moivre’s theorem , including various formula, rules, exam style questions as example to explain the topics. Worked Out examples and common problem types provided here will be sufficient to cover for topic Complex roots & de Moivre’s theorem
Complex Roots and Conjugate Pairs
Complex Roots and Conjugate Pairs
In mathematics, especially when solving equations with real coefficients, complex roots always occur in conjugate pairs.
If a polynomial has real coefficients and a complex root of the form \( a + bi \) (where \( b \ne 0 \)), then its complex conjugate \( a – bi \) must also be a root.
Definition of Complex Conjugates:
The conjugate of a complex number \( z = a + bi \) is given by \( \overline{z} = a – bi \).
Geometrically, this reflects the point across the real axis in the complex (Argand) plane.
When Do Conjugate Roots Occur?
- When solving quadratic equations with real coefficients and the discriminant is negative (i.e., \( b^2 – 4ac < 0 \)), the solutions will be a pair of complex conjugates.
- For any polynomial with real coefficients, complex roots always come in conjugate pairs.
Why This Matters:
- It allows reconstruction of polynomials from roots.
- It ensures symmetry in the complex plane for graphs of polynomial functions.
- It helps predict structure and factorization of equations.
Example 1:
Solve the quadratic equation \( x^2 + 4x + 13 = 0 \). Identify the roots and verify if they are complex conjugates.
▶️ Answer/Explanation
quadratic equation: \( a = 1 \), \( b = 4 \), \( c = 13 \)
quadratic formula: \( x = \frac{-b \pm \sqrt{b^2 – 4ac}}{2a} \)
discriminant: \( \Delta = 4^2 – 4(1)(13) = 16 – 52 = -36 \)
Since \( \Delta < 0 \), the roots are complex:
\( x = \frac{-4 \pm \sqrt{-36}}{2} = \frac{-4 \pm 6i}{2} = -2 \pm 3i \)
Answer: The roots are \( -2 + 3i \) and \( -2 – 3i \), which are complex conjugates.
Example 2:
Given that \( 2 + i \) is a root of a quadratic equation with real coefficients, write the equation.
▶️ Answer/Explanation
Since coefficients are real, the conjugate \( 2 – i \) must also be a root.
Form a quadratic from the roots: \( (x – (2 + i))(x – (2 – i)) \)
Use difference of squares: \( (x – 2 – i)(x – 2 + i) = [(x – 2)^2 – i^2] \)
Calculate: \( (x – 2)^2 + 1 = x^2 – 4x + 5 \)
Answer: The quadratic equation is \( x^2 – 4x + 5 = 0 \)
Example 3:
Verify that the polynomial \( f(x) = x^4 + 2x^3 + 5x^2 + 8x + 10 \) has two pairs of complex conjugate roots.
▶️ Answer/Explanation
Use a graphing calculator or factor using technology or CAS.
The roots found are approximately: \( -1 + i \), \( -1 – i \), \( -1 + 2i \), \( -1 – 2i \)
All coefficients in \( f(x) \) are real, and roots appear in conjugate pairs.
Answer: The polynomial has 4 complex roots in 2 conjugate pairs.
De Moivre’s Theorem
De Moivre’s Theorem
De Moivre’s Theorem relates powers of complex numbers in polar form:
\( ( \cos \theta + i \sin \theta )^n = \cos(n\theta) + i \sin(n\theta) \), for all \( n \in \mathbb{Z} \)
If a complex number is written in polar form as:
\( z = r(\cos \theta + i \sin \theta) \)
Then its powers are given by:
\( z^n = r^n ( \cos(n\theta) + i \sin(n\theta) ) \)
Extension to Rational Exponents
De Moivre’s theorem also extends to fractional exponents, useful in extracting roots of complex numbers. For \( n \in \mathbb{Q} \), the principal root is:
\( z^{1/n} = r^{1/n} \left[ \cos\left(\frac{\theta + 2k\pi}{n}\right) + i \sin\left(\frac{\theta + 2k\pi}{n}\right) \right] \) where \( k = 0, 1, …, n-1 \)
This gives the n distinct roots of the complex number \( z \).
Proof by Induction (for \( n \in \mathbb{Z}^+ \))
Step 1: Base Case (n = 1)
\( (\cos\theta + i\sin\theta)^1 = \cos\theta + i\sin\theta \). Holds true.
Step 2: Inductive Step
Assume the result is true for \( n = k \):
\( (\cos\theta + i\sin\theta)^k = \cos(k\theta) + i\sin(k\theta) \)
Now prove for \( n = k + 1 \):
\( (\cos\theta + i\sin\theta)^{k+1} = (\cos\theta + i\sin\theta)^k \cdot (\cos\theta + i\sin\theta) \)
Using the inductive hypothesis and product of trig identities:
$ \begin{align*} &= [\cos(k\theta) + i\sin(k\theta)](\cos\theta + i\sin\theta) \\ &= \cos(k\theta)\cos\theta – \sin(k\theta)\sin\theta + i[\cos(k\theta)\sin\theta + \sin(k\theta)\cos\theta] \\ &= \cos((k+1)\theta) + i\sin((k+1)\theta) \end{align*} $
Therefore, De Moivre’s Theorem holds for all \( n \in \mathbb{Z}^+ \).
Note:
- De Moivre’s theorem simplifies computing powers and roots of complex numbers in polar form.
- The theorem is valid for all real numbers \( n \in \mathbb{R} \), though a full proof requires tools from calculus and analysis.
- When extended to fractional exponents, the result yields multiple roots spaced equally around the unit circle.
Example
Use De Moivre’s Theorem to calculate \( (2\text{cis}\,45^\circ)^4 \). Give the final answer in polar form.
▶️ Answer/Explanation
Given: \( z = 2\text{cis}\,45^\circ \), and we want to find \( z^4 \).
Apply De Moivre’s Theorem:
\( z^n = r^n \text{cis}(n\theta) \)
So,
\( z^4 = 2^4 \text{cis}(4 \times 45^\circ) = 16\text{cis}\,180^\circ \)
Powers and Roots of Complex Numbers
Powers and Roots of Complex Numbers
A complex number written in polar form is:
\( z = r(\cos \theta + i \sin \theta) = r \text{cis} \theta \)
1. Powers of Complex Numbers
To raise a complex number to a positive integer power \( n \), use De Moivre’s Theorem:
\( z^n = r^n \text{cis}(n\theta) \)
This simplifies calculating powers of complex numbers when written in polar form.
2. Roots of Complex Numbers
The \( n \)th roots of a complex number \( z = r \text{cis} \theta \) are given by:
\( z_k = r^{1/n} \text{cis}\left(\frac{\theta + 2k\pi}{n}\right) \), for \( k = 0, 1, …, n-1 \)
- This produces n distinct roots equally spaced around the unit circle.
- The roots form a regular polygon on the complex (Argand) plane.
Example
Let \( z = 8\text{cis}\,120^\circ \).
(a) Find \( z^3 \)
(b) Find the cube roots of \( z \)
▶️Answer/Explanation
(a) Finding \( z^3 \):
Use De Moivre’s Theorem: \( z^3 = 8^3 \text{cis}(3 \times 120^\circ) \)
\( z^3 = 512 \text{cis}(360^\circ) = 512 \text{cis}(0^\circ) \)
Answer: \( \rm{512} \) (since \( \text{cis}(0^\circ) = 1 \))
(b) Finding cube roots:
modulus: \( r = 8 \Rightarrow r^{1/3} = 2 \)
Angle: \( \theta = 120^\circ \)
Use formula: \( z_k = 2 \text{cis}\left(\frac{120^\circ + 360^\circ k}{3}\right) \), \( k = 0, 1, 2 \)
So the roots are:
\( z_0 = 2\text{cis}\,40^\circ \)
\( z_1 = 2\text{cis}\,160^\circ \)
\( z_2 = 2\text{cis}\,280^\circ \)