Complex Numbers concepts

Welcome to the World of Complex Numbers!

In your H2 journey, you were introduced to the idea that some equations, like \(x^2 + 1 = 0\), have no real solutions. In H3 Mathematics, we assume a strong foundation in these "imaginary" concepts. Don't worry if you feel a bit rusty! These notes are designed to bridge the gap, making sure you can handle complex numbers with the confidence and rigor required for H3.

Why is this important? Complex numbers aren't just a mathematical trick. They are essential in physics (alternating currents), engineering (fluid dynamics), and even in finding roots for high-degree polynomials that would otherwise be impossible to solve.

1. The Building Blocks: Cartesian Form

A complex number \(z\) is usually written in Cartesian form as:

\(z = a + bi\)

Where:

• \(a\) is the real part, denoted as \(Re(z)\).
• \(b\) is the imaginary part, denoted as \(Im(z)\).
• \(i\) is the imaginary unit, defined by the property \(i^2 = -1\).

Arithmetic Basics

Think of \(i\) as you would a variable like \(x\) when doing algebra, but always remember to replace any \(i^2\) with \(-1\).

• Addition/Subtraction: Group the real bits and the imaginary bits separately.
  Example: \((3 + 2i) + (1 - 4i) = 4 - 2i\)
• Multiplication: Use the FOIL method (First, Outer, Inner, Last).
  Example: \((1 + i)(2 - i) = 2 - i + 2i - i^2 = 2 + i - (-1) = 3 + i\)

Quick Review: The real part and imaginary part are both real numbers. If \(z = 5 - 3i\), then \(Im(z) = -3\), not \(-3i\).

2. The Complex Conjugate

The complex conjugate of \(z = a + bi\) is written as \(z^*\) (or \(\bar{z}\)) and is defined as:

\(z^* = a - bi\)

The "Magic" of Conjugates: When you multiply a complex number by its conjugate, the imaginary parts cancel out, leaving you with a purely real number:
\(z \cdot z^* = (a + bi)(a - bi) = a^2 + b^2\).

Why do we use it?

We use the conjugate to perform division. By multiplying the top and bottom of a fraction by the conjugate of the denominator, we "realize" the denominator (make it a real number).

Key Takeaway: Conjugates are the "key" to unlocking division and finding the magnitude of a complex number.

3. Visualizing Numbers: The Argand Diagram

Complex numbers aren't just symbols; they are points (or vectors) on a 2D plane called the Argand Diagram.

• The horizontal axis is the Real Axis (\(Re\)).
• The vertical axis is the Imaginary Axis (\(Im\)).

Analogy: Think of a complex number like a GPS coordinate. \(z = 3 + 4i\) means "Go 3 steps East (Real) and 4 steps North (Imaginary)."

4. Polar and Exponential Forms

Sometimes, it is easier to describe a point by how far it is from the center and what direction it's pointing. This gives us Polar Form.

The Modulus and Argument

1. Modulus (\(r\) or \(|z|\)): The distance from the origin to the point.
\(|z| = \sqrt{a^2 + b^2}\)

2. Argument (\(\theta\) or \(\arg z\)): The angle the vector makes with the positive real axis.
\(\tan \theta = \frac{b}{a}\) (Always check which quadrant your point is in!)

The Forms

• Polar Form: \(z = r(\cos \theta + i\sin \theta)\)
• Exponential Form: \(z = re^{i\theta}\)

Did you know? Exponential form makes multiplication and division incredibly easy!
To multiply: multiply the \(r\)'s and add the \(\theta\)'s.
To divide: divide the \(r\)'s and subtract the \(\theta\)'s.

Important Note: For the Principal Argument, we usually keep \(\theta\) in the range \(-\pi < \theta \leq \pi\).

5. Geometry and Loci

In H3, you are often asked to describe sets of points (loci) on an Argand diagram. These are the most common shapes:

1. Circles

\(|z - z_1| = k\)

This represents a circle with center \(z_1\) and radius \(k\). It literally translates to: "The distance between \(z\) and \(z_1\) is always \(k\)."

2. Perpendicular Bisectors

\(|z - z_1| = |z - z_2|\)

This is the set of points equidistant from \(z_1\) and \(z_2\). It's a straight line that cuts the segment between \(z_1\) and \(z_2\) in half at a right angle.

3. Rays (Half-lines)

\(\arg(z - z_1) = \alpha\)

This is a ray starting from \(z_1\) (but not including \(z_1\)) making an angle \(\alpha\) with the horizontal.

Common Mistake: When drawing a ray, always use an open circle at the starting point \(z_1\), because the argument of zero is undefined!

6. Solving Equations: The Conjugate Root Theorem

If you have a polynomial equation (like \(az^2 + bz + c = 0\)) and all the coefficients (\(a, b, c\)) are real numbers, then any complex roots must come in conjugate pairs.

Example: If you are told that \(z = 2 + i\) is a root of a real polynomial, you automatically know that \(z = 2 - i\) is also a root!

Roots of Unity

H3 problems often involve the equation \(z^n = 1\). The solutions are called the \(n\)-th roots of unity. They are spaced perfectly evenly around a unit circle (radius 1) on the Argand diagram.

Summary Checklist

Before moving on to advanced H3 calculus or series, make sure you are comfortable with these "Quick Hits":

• Can I convert between Cartesian (\(a+bi\)) and Exponential (\(re^{i\theta}\)) forms?
• Do I remember that \(|z|^2 = z \cdot z^* \)?
• Can I sketch a circle or a bisector on an Argand diagram?
• Do I know that \(\arg(z_1 z_2) = \arg z_1 + \arg z_2\)?

Don't worry if this seems tricky at first! Complex numbers are a visual way of doing math. If you get stuck on an equation, try sketching it out on an Argand diagram. Often, the geometry will give you the answer that the algebra is hiding!