Welcome to the World of Complex Numbers!
Ever been told in school that you can't take the square root of a negative number? Well, in Further Maths, we break that rule! You're about to learn how mathematicians created a whole new dimension of numbers to solve "unsolvable" problems. Complex numbers are essential for everything from designing airplane wings to understanding how electricity flows through your house. Don't worry if it feels a bit "imaginary" at first—we'll take it step-by-step!
1. The Language of Complex Numbers
At the heart of this chapter is the number \(i\). We define \(i^2 = -1\), which means \(i = \sqrt{-1}\).
A complex number \(z\) is usually written in the form:
\(z = x + yi\)
Where:
- \(x\) is the Real Part, written as \(Re(z)\).
- \(y\) is the Imaginary Part, written as \(Im(z)\).
Example: In \(z = 3 + 4i\), the real part is 3 and the imaginary part is 4.
The Complex Conjugate
Every complex number has a "buddy" called the complex conjugate, written as \(z^*\). To find it, you simply flip the sign of the imaginary part.
If \(z = x + yi\), then \(z^* = x - yi\).
Why is this useful? When you multiply a number by its conjugate, the imaginary parts cancel out, and you get a purely real number!
Quick Tip: \(zz^* = x^2 + y^2\). This is always a positive real number.
Basic Arithmetic
Working with complex numbers is just like basic algebra—treat \(i\) like a variable (like \(x\)), but remember to replace any \(i^2\) with \(-1\).
1. Adding/Subtracting: Combine the real parts together and the imaginary parts together.
2. Multiplying: Use the "FOIL" method (First, Outside, Inside, Last).
3. Dividing: This is the tricky one! To divide by a complex number, multiply the top and bottom of the fraction by the conjugate of the denominator. This "realises" the denominator.
Key Takeaway: Complex numbers have a real part and an imaginary part. Treat them like algebra, but always simplify \(i^2\) to \(-1\).
2. Solving Polynomial Equations
Now we can solve any quadratic equation!
If the discriminant (\(b^2 - 4ac\)) is negative, the roots will be a conjugate pair.
Example: Solving \(x^2 + 9 = 0\) gives \(x = 3i\) and \(x = -3i\).
The Conjugate Root Theorem
For any polynomial equation with real coefficients (like \(ax^3 + bx^2 + cx + d = 0\)):
If \(x + yi\) is a root, then its conjugate \(x - yi\) must also be a root.
- Cubics: Will have either 3 real roots OR 1 real root and 1 conjugate pair.
- Quartics: Will have 4 real roots, 2 real roots and 1 pair, or 2 conjugate pairs.
Step-by-Step for Quartics:
1. If you are given one complex root, write down its conjugate immediately.
2. Multiply the factors \((z - root)\) and \((z - conjugate)\) to get a quadratic factor.
3. Use polynomial division to find the remaining quadratic factor.
Key Takeaway: Complex roots always come in pairs (a + bi and a - bi) as long as the coefficients in the equation are real numbers.
3. The Argand Diagram
Think of an Argand Diagram as a map for complex numbers.
- The horizontal axis is the Real Axis.
- The vertical axis is the Imaginary Axis.
A complex number \(z = x + yi\) is just a point \((x, y)\) or a vector from the origin to that point.
Did you know? Adding complex numbers on an Argand diagram is exactly the same as adding vectors! You just follow the "nose-to-tail" rule.
Key Takeaway: The Argand diagram turns complex numbers into geometry. Real is across, Imaginary is up.
4. Modulus-Argument Form
Instead of using coordinates (\(x, y\)), we can describe a point by how far it is from the center and what angle it makes.
1. Modulus (\(r\) or \(|z|\)): The distance from the origin. Use Pythagoras: \(|z| = \sqrt{x^2 + y^2}\).
2. Argument (\(\theta\) or \(arg(z)\)): The angle measured from the positive real axis.
- Angles are measured in radians.
- Principal Argument: We usually keep \(\theta\) between \(-\pi\) and \(\pi\).
- Use \(\tan \theta = \frac{y}{x}\), but be careful with the quadrant!
The Form:
\(z = r(\cos \theta + i \sin \theta)\)
This is a very powerful way to write numbers because multiplication becomes easy:
- To multiply: Multiply the moduli and add the arguments.
- To divide: Divide the moduli and subtract the arguments.
Key Takeaway: Modulus is "how far," Argument is "which direction." Use radians!
5. Loci and Regions
A locus is a set of points that follow a specific rule. On an Argand diagram, these create shapes:
- Circles: \(|z - a| = r\) means "the distance between \(z\) and point \(a\) is always \(r\)." This is a circle with center \(a\) and radius \(r\).
- Perpendicular Bisectors: \(|z - a| = |z - b|\) means "\(z\) is the same distance from \(a\) as it is from \(b\)." This is a straight line halfway between \(a\) and \(b\).
- Half-lines: \(arg(z - a) = \theta\) is a ray starting at point \(a\) (but not including \(a\)) going off at angle \(\theta\).
Common Mistake: When drawing \(arg(z - a)\), remember the line starts at \(a\). Usually, we draw an open circle at \(a\) to show it's not included.
Key Takeaway: Interpret \(|z - a|\) as "the distance from \(z\) to \(a\)." This makes loci much easier to visualize.
6. De Moivre’s Theorem and Euler's Form
This is where Further Maths gets really cool!
Euler’s Relation: \(e^{i\theta} = \cos \theta + i \sin \theta\).
So, we can write a complex number as \(z = re^{i\theta}\). This makes powers incredibly easy!
De Moivre’s Theorem
For any integer \(n\):
\([r(\cos \theta + i \sin \theta)]^n = r^n(\cos n\theta + i \sin n\theta)\)
This is a massive time-saver. Instead of multiplying a bracket by itself 10 times, you just multiply the angle by 10!
Geometric Effects
Multiplying by a complex number \(re^{i\theta}\) has two effects on the Argand diagram:
1. Enlargement by scale factor \(r\) from the origin.
2. Rotation by angle \(\theta\) counter-clockwise about the origin.
Example: Multiplying by \(i\) is the same as rotating by \(\frac{\pi}{2}\) (90 degrees).
Key Takeaway: De Moivre’s theorem turns powers into simple multiplication of the angle. Multiplying is rotating!
7. Roots of Complex Numbers
Every non-zero complex number has exactly \(n\) distinct \(n\)-th roots.
If you find the roots of a number and plot them on an Argand diagram:
- They all sit on a circle centered at the origin.
- they form the vertices of a regular \(n\)-gon (like a square for 4 roots, a hexagon for 6 roots).
- The sum of all these roots is always zero.
Roots of Unity
These are the roots of the equation \(z^n = 1\).
The first root is always 1. The others are spread evenly around the unit circle.
The roots are given by: \(z = e^{\frac{2k\pi i}{n}}\) for \(k = 0, 1, ..., n-1\).
Key Takeaway: Roots are perfectly symmetrical. If you find one root, you can find the others by just rotating it around the circle.
Final Quick Review
1. \(i^2 = -1\).
2. Conjugates flip the sign of the \(i\) part.
3. Modulus is distance; Argument is angle.
4. Multiplying in mod-arg form: Multiply \(r\), add \(\theta\).
5. De Moivre: Power the \(r\), multiply the \(\theta\).
6. Loci: Think of distance and angles visually.
7. Roots: Spread evenly around a circle; sum is zero.
Don't worry if this seems tricky at first! Complex numbers take time to get used to because they require a different way of thinking. Keep practicing the arithmetic, and the geometry will start to make sense.