Complex Number Properties

Why This Matters

Complex numbers let you solve problems that real numbers can't touch. In Honors Pre-Calc, you need to manipulate, visualize, and convert between forms of complex numbers. These skills carry directly into calculus, physics, and engineering, where complex numbers model electrical circuits, wave behavior, and more.

The real power lies in understanding how different representations connect. You'll need to know when rectangular form is most efficient, when polar form saves you time, and how conjugates and moduli simplify messy expressions. Don't just memorize formulas; know why each property works and when to apply it.

---

Foundations: Building Blocks of Complex Numbers

Every complex number operation builds on these core definitions. Get these down first, and everything else follows.

Definition of a Complex Number

• Standard form is $a + bi$, where $a$ is the real part and $b$ is the imaginary part
• The imaginary unit $i$ satisfies $i^2 = -1$. This single property drives all complex arithmetic
• Each complex number maps to a unique point $(a, b)$ in the complex plane, connecting algebra to geometry

Real and Imaginary Parts

• $\text{Re}(z) = a$ extracts the real component (the horizontal coordinate)
• $\text{Im}(z) = b$ extracts the imaginary component (the vertical coordinate). Note: it's just $b$, not $bi$
• Separating parts is essential for addition, subtraction, and equality comparisons

Equality of Complex Numbers

Two complex numbers $z_1 = a + bi$ and $z_2 = c + di$ are equal only when both $a = c$ and $b = d$. This gives you a system of two equations: one from matching real parts, one from matching imaginary parts.

This shows up constantly in equation-solving. If a problem says $z_1 = z_2$, immediately write out two separate equations.

---

Arithmetic Operations: Rectangular Form

In standard $a + bi$ form, these operations follow predictable patterns. Think of complex numbers as binomials with the special rule $i^2 = -1$.

Addition of Complex Numbers

• Add like terms: $(a + bi) + (c + di) = (a + c) + (b + d)i$. Real with real, imaginary with imaginary
• Geometrically, this is vector addition: place arrows tip-to-tail in the complex plane
• Commutative and associative properties hold, so order and grouping don't matter

Subtraction of Complex Numbers

• Subtract componentwise: $(a + bi) - (c + di) = (a - c) + (b - d)i$
• This represents the vector from $z_2$ to $z_1$, which is useful for finding distances and directions
• Watch your signs carefully. Sign errors are the most common mistake on these problems

Multiplication of Complex Numbers

FOIL the two binomials and replace $i^2$ with $-1$:

$(a + bi)(c + di) = ac + adi + bci + bdi^2 = (ac - bd) + (ad + bc)i$

The $-bd$ term comes from $i^2 = -1$. Geometrically, multiplication rotates and scales in the complex plane, which is why polar form handles it so cleanly.

Division of Complex Numbers

Division requires multiplying numerator and denominator by the conjugate of the denominator:

$\frac{a + bi}{c + di} = \frac{(a + bi)(c - di)}{(c + di)(c - di)} = \frac{(a + bi)(c - di)}{c^2 + d^2}$

The denominator becomes the real number $c^2 + d^2 = |z_2|^2$. After expanding the numerator, separate into real and imaginary parts so your final answer is in $x + yi$ form.

---

Complex Conjugates and Modulus

These tools transform complex expressions into simpler, often real-valued results. The conjugate "flips" across the real axis; the modulus measures distance from the origin.

Complex Conjugates

• The conjugate of $z = a + bi$ is $\overline{z} = a - bi$. You only flip the sign of the imaginary part
• $z \cdot \overline{z} = a^2 + b^2$, always a non-negative real number. This is exactly why conjugates make division work
• Conjugates distribute over operations: $\overline{z_1 + z_2} = \overline{z_1} + \overline{z_2}$ and $\overline{z_1 \cdot z_2} = \overline{z_1} \cdot \overline{z_2}$

Modulus (Absolute Value)

• $|z| = \sqrt{a^2 + b^2}$ gives the distance from the origin to the point $(a, b)$
• $|z|^2 = z \cdot \overline{z}$ connects modulus to conjugates. Memorize this relationship
• The modulus is always non-negative and real, behaving like absolute value for real numbers

---

Polar Form and Geometric Representation

Polar form reveals the geometry behind complex numbers: every complex number has a magnitude (how far from the origin) and an argument (which direction). This form makes multiplication and powers dramatically easier.

Graphing on the Complex Plane

• The complex plane has a real axis (horizontal) and imaginary axis (vertical). The point $(a, b)$ represents $a + bi$
• Each complex number is a vector from the origin. Its length is the modulus, and its angle is the argument
• Operations have geometric meanings: addition is vector addition, multiplication involves rotation and scaling

Argument (Angle)

The argument $\theta$ is the angle from the positive real axis to the vector, measured counterclockwise.

The reference angle comes from $\tan^{-1}\left(\frac{|b|}{|a|}\right)$, but you must adjust for the correct quadrant based on the signs of $a$ and $b$. The formula $\theta = \tan^{-1}\left(\frac{b}{a}\right)$ only gives the right answer directly when $a > 0$. When $a < 0$, you need to add $\pi$ (or $180°$) to the arctangent result.

The principal argument is typically given as $-\pi < \theta \leq \pi$ or $0 \leq \theta < 2\pi$. Know which convention your course uses.

Polar Form

• $z = r(\cos\theta + i\sin\theta)$ where $r = |z|$, often abbreviated as $r\text{ cis }\theta$
• Multiplication becomes elegant: $z_1 z_2 = r_1 r_2 \text{ cis}(\theta_1 + \theta_2)$. Multiply moduli, add angles
• Division follows the same pattern: $\frac{z_1}{z_2} = \frac{r_1}{r_2}\text{ cis}(\theta_1 - \theta_2)$. Divide moduli, subtract angles

Converting Between Forms

To go from rectangular to polar:

1. Find $r = \sqrt{a^2 + b^2}$
2. Find $\theta$ using $\tan^{-1}\left(\frac{b}{a}\right)$, adjusting for the correct quadrant

To go from polar to rectangular:

1. Compute $a = r\cos\theta$
2. Compute $b = r\sin\theta$
3. Write $z = a + bi$

---

Powers, Roots, and Advanced Formulas

These formulas handle the most challenging problems: computing high powers and extracting roots of complex numbers.

De Moivre's Theorem

$(r\text{ cis }\theta)^n = r^n \text{ cis}(n\theta)$

Raise the modulus to the power and multiply the angle by $n$. This works for all integer powers, including negative exponents: $z^{-1} = \frac{1}{r}\text{ cis}(-\theta)$.

For $n$-th roots, you reverse the process. The $n$-th roots of $z = r\text{ cis }\theta$ are:

$r^{1/n}\text{ cis}\left(\frac{\theta + 2\pi k}{n}\right) \quad \text{for } k = 0, 1, \ldots, n-1$

This gives you exactly $n$ distinct roots, evenly spaced around a circle of radius $r^{1/n}$.

Euler's Formula

$e^{i\theta} = \cos\theta + i\sin\theta$

This means polar form can be written as $z = re^{i\theta}$, which simplifies many calculations. The famous special case $e^{i\pi} + 1 = 0$ connects five fundamental constants: $e$, $i$, $\pi$, $1$, and $0$.

Complex Roots of Unity

The $n$-th roots of unity are the solutions to $z^n = 1$. There are exactly $n$ of them:

$e^{2\pi i k/n} \quad \text{for } k = 0, 1, \ldots, n-1$

These roots are evenly spaced on the unit circle, separated by angles of $\frac{2\pi}{n}$. A useful property: the sum of all $n$-th roots of unity equals zero.

---

Quick Reference Table

---

Self-Check Questions

1. What two conditions must be satisfied for $z_1 = z_2$? Why does this create a system of equations when solving for unknowns?

2. Compare rectangular and polar form: which would you choose to compute $(1 + i)^{10}$, and why? What theorem would you apply?

3. If $z = 3 - 4i$, find $|z|$ and $z \cdot \overline{z}$. How are these two values related?

4. The 4th roots of unity divide the unit circle into equal parts. What angle separates consecutive roots, and what are all four roots in exponential form?

5. (FRQ-style) Given $z_1 = 2\text{ cis }\frac{\pi}{6}$ and $z_2 = 3\text{ cis }\frac{\pi}{3}$, find $z_1 \cdot z_2$ and $\frac{z_1}{z_2}$ in polar form. Then convert $z_1 \cdot z_2$ to rectangular form.