IB AA: Complex Numbers Advanced

Complex numbers move beyond the abstract to become a powerful, unified language for mathematics. Mastering their advanced properties unlocks the ability to solve any polynomial equation, describes elegant geometric transformations, and provides the foundational tools for fields like electrical engineering and quantum physics. For the IB AA student, this represents the culmination of complex number theory, where algebra and geometry beautifully converge.

De Moivre's Theorem: The Engine for Powers and Roots

De Moivre's theorem is the cornerstone for efficiently computing powers and roots of complex numbers. It states that for any complex number in polar form, $z=r(\cos \theta +i\sin \theta )$, and any integer $n$, the following is true: $$z^n=r^n(\cos (n\theta )+i\sin (n\theta )).$$

This theorem transforms the cumbersome process of binomial expansion into a simple two-step operation: raise the modulus $r$ to the $n$th power and multiply the argument $\theta$ by $n$. Geometrically, this corresponds to scaling the distance from the origin by $r^n$ and rotating the point counterclockwise by an angle of $n\theta$.

For example, to compute $(1+i{)}^8$, first convert to polar form. The modulus is $r=\sqrt{1^2+1^2}=\sqrt{2}$ and the argument is $\theta =\frac{\pi }{4}$. Applying De Moivre's theorem: $$(\sqrt{2}{)}^8\left(\cos \left(8\cdot \frac{\pi }{4}\right)+i\sin \left(8\cdot \frac{\pi }{4}\right)\right)=2^4(\cos (2\pi )+i\sin (2\pi ))=16(1+0i)=16.$$

The theorem also elegantly handles roots. To find the $n$th roots of a complex number $z=r(\cos \theta +i\sin \theta )$, we seek numbers $w_k$ such that $w_k^n=z$. The formula is: $$w_k=r^{1/n}\left(\cos \left(\frac{\theta +2\pi k}{n}\right)+i\sin \left(\frac{\theta +2\pi k}{n}\right)\right),$$ for $k=0,1,2,...,n-1$. This generates exactly $n$ distinct roots, each with the same modulus $r^{1/n}$ but with arguments spaced $\frac{2\pi }{n}$ radians apart.

The nth Roots of Unity and Their Geometric Symphony

A profound application of the root formula is finding the $n$th roots of unity—the solutions to $z^n=1$. Setting $r=1$ and $\theta =0$ in the root formula, the $n$th roots of unity are: $${\omega }_k=\cos \left(\frac{2\pi k}{n}\right)+i\sin \left(\frac{2\pi k}{n}\right),\text{for }k=0,1,...,n-1.$$

On an Argand diagram, these roots are displayed as points lying on the unit circle (modulus 1) at the vertices of a regular $n$-sided polygon. For example, the cube roots of unity ($n=3$) are: ${\omega }_0=1$, ${\omega }_1=\cos \frac{2\pi }{3}+i\sin \frac{2\pi }{3}=-\frac{1}{2}+i\frac{\sqrt{3}}{2}$, ${\omega }_2=\cos \frac{4\pi }{3}+i\sin \frac{4\pi }{3}=-\frac{1}{2}-i\frac{\sqrt{3}}{2}$. These form an equilateral triangle inscribed in the unit circle. Key properties include: the roots sum to zero, they are symmetric about the real axis, and multiplying any root by the principal root ${\omega }_1$ rotates the entire set of roots on the diagram.

Solving Polynomial Equations with Complex Roots

The Fundamental Theorem of Algebra guarantees that every degree-$n$ polynomial has $n$ roots in the complex number system (counting multiplicity). When a polynomial has real coefficients, its complex roots always occur in conjugate pairs. If $a+bi$ (where $b\ne 0$) is a root, then its complex conjugate $a-bi$ must also be a root.

This knowledge is critical for solving polynomial equations. Suppose you are given that $2-i$ is a root of $z^3-5z^2+9z-5=0$. Since the coefficients are real, $2+i$ must also be a root. You can then factor the polynomial as $(z-(2-i))(z-(2+i))=(z^2-4z+5)$ times a linear factor. Performing polynomial division yields $(z^2-4z+5)(z-1)=0$, giving the full root set: $\{2-i,2+i,1\}$. This conjugate-pair property halves the work of finding roots and is a frequent feature in exam problems.

Geometric Interpretations of Multiplication and Division

Complex multiplication and division are not just algebraic operations; they have powerful geometric interpretations on the Argand diagram. When you multiply two complex numbers, $z_1\cdot z_2$, the resulting complex number has:

• A modulus equal to the product of the moduli: $|z_1\cdot z_2|=|z_1|\cdot |z_2|$.
• An argument equal to the sum of the arguments: $\arg (z_1\cdot z_2)=\arg (z_1)+\arg (z_2)$.

Geometrically, multiplication by a complex number $z$ performs a rotation by $\arg (z)$ and a scaling (dilation) by $|z|$. For instance, multiplying a number by $i$ (modulus 1, argument $\frac{\pi }{2}$) rotates it $90^{\circ }$ counterclockwise about the origin without changing its distance from the origin. Division, $z_1/z_2$, has the inverse geometric effect: it scales by the factor $1/|z_2|$ and rotates by $-\arg (z_2)$. This viewpoint turns problems about geometric transformations into simpler algebraic ones.

Common Pitfalls

1. Argument Errors with Roots: When applying De Moivre's theorem for roots, a common mistake is to only find the principal root (using $k=0$). Remember, you must consider all $n$ values of $k$ from $0$ to $n-1$ to find all $n$ distinct roots. Omitting roots will lose marks.

• Correction: Systematically list the roots using the formula $w_k=r^{1/n}\left(\cos \left(\frac{\theta +2\pi k}{n}\right)+i\sin \left(\frac{\theta +2\pi k}{n}\right)\right)$ for all required $k$.

1. Forgetting Conjugate Pairs: When given a polynomial with real coefficients and one complex root, students sometimes solve for the remaining roots without utilizing the conjugate. This leads to unnecessary, complicated algebra.

• Correction: Immediately note that the complex conjugate is also a root. Form the quadratic factor $(z-(a+bi))(z-(a-bi))=z^2-2az+(a^2+b^2)$ and use polynomial division to simplify the problem.

1. Mixing Radians and Degrees: Inconsistency with angle measurement is a frequent source of numerical error. The formulas for roots of unity and De Moivre's theorem are derived using radians.

• Correction: Always set your calculator to radian mode when working with these theorems. The arguments in the formulas $\frac{2\pi k}{n}$ explicitly use radians.

1. Misinterpreting Geometric Operations: Confusing the effects of multiplication and addition geometrically is easy. Adding complex numbers corresponds to vector addition (tip-to-tail), while multiplication corresponds to rotation and scaling.

• Correction: Visualize multiplication as a transformation: the modulus scales, the argument rotates. Adding $i$ translates a point vertically upward by 1 unit; multiplying by $i$ rotates it $90^{\circ }$ around the origin.

Summary

• De Moivre's Theorem, $[r(\cos \theta +i\sin \theta ){]}^n=r^n(\cos n\theta +i\sin n\theta )$, is the essential tool for finding powers and all $n$ distinct roots of a complex number.
• The $n$th roots of unity are the solutions to $z^n=1$ and are displayed on an Argand diagram at the vertices of a regular $n$-gon inscribed in the unit circle, symmetrically spaced at arguments of $\frac{2\pi k}{n}$.
• For polynomials with real coefficients, non-real complex roots always occur in conjugate pairs ($a\pm bi$). This property is critical for efficiently solving polynomial equations.
• Complex multiplication corresponds to a geometric rotation by the sum of the arguments and a scaling by the product of the moduli. Division involves the inverse operations.
• Success in this topic requires careful attention to using radians, finding all roots (not just the principal one), and leveraging the conjugate root theorem to simplify problem-solving.