Welcome to Further Complex Numbers!
In your earlier studies, you were introduced to the idea of "imaginary" numbers and the Argand diagram. Now, we are going to dive deeper. This chapter is where Complex Numbers become incredibly powerful tools used by engineers and physicists to model everything from alternating currents to fluid flow. Don't worry if it seems a bit abstract at first—we’ll break it down piece by piece!
1. Euler’s Relation: The Magic of \(e\)
You already know the Polar Form of a complex number: \(z = r(\cos \theta + i\sin \theta)\). Euler’s Relation gives us a much more compact way to write this.
What is Euler’s Relation?
Euler discovered a beautiful connection between trigonometry and exponential functions:
\(e^{i\theta} = \cos \theta + i\sin \theta\)
This means any complex number can be written in Exponential Form:
\(z = re^{i\theta}\)
Where \(r\) is the modulus (the distance from the origin) and \(\theta\) is the argument (the angle in radians).
Trigonometric Definitions
Using Euler's relation, we can represent \(\cos \theta\) and \(\sin \theta\) using exponentials. These are very handy for proving identities later on:
- \(\cos \theta = \frac{1}{2}(e^{i\theta} + e^{-i\theta})\)
- \(\sin \theta = \frac{1}{2i}(e^{i\theta} - e^{-i\theta})\)
Did you know? If you plug in \(\theta = \pi\), you get \(e^{i\pi} = -1\), or \(e^{i\pi} + 1 = 0\). This is often called "The Most Beautiful Equation in Mathematics" because it links five fundamental constants: \(e, i, \pi, 1,\) and \(0\).
Quick Takeaway: Exponential form \(re^{i\theta}\) makes multiplication and division much easier because you can just use the standard laws of indices!
2. De Moivre’s Theorem
De Moivre’s Theorem is a "shortcut" for raising a complex number to a power. Instead of multiplying out brackets for hours, we use this simple rule:
\((r(\cos \theta + i\sin \theta))^n = r^n(\cos n\theta + i\sin n\theta)\)
Or in exponential form: \((re^{i\theta})^n = r^ne^{in\theta}\)
Applications of De Moivre’s Theorem
1. Finding Trigonometric Identities
You can use De Moivre’s Theorem to express \(\cos n\theta\) or \(\sin n\theta\) in terms of powers of \(\cos \theta\) and \(\sin \theta\).
Example: To find an identity for \(\cos 3\theta\), you would expand \((\cos \theta + i\sin \theta)^3\) using the binomial expansion and then compare the real parts with \(\cos 3\theta\).
2. Finding Roots of Complex Numbers
To find the \(n\)-th roots of a complex number (like solving \(z^n = w\)), remember that angles repeat every \(2\pi\).
Step-by-step process:
- Write the number in polar form: \(r(\cos(\theta + 2k\pi) + i\sin(\theta + 2k\pi))\).
- Apply De Moivre’s Theorem by taking the power of \(\frac{1}{n}\).
- Substitute \(k = 0, 1, 2, \dots, n-1\) to get your \(n\) distinct roots.
Common Mistake: Students often forget that there are always \(n\) roots for \(z^n\). On an Argand diagram, these roots will always form a regular polygon centered at the origin!
Quick Takeaway: To raise a complex number to a power, raise the modulus to that power and multiply the argument by that power.
3. Loci and Regions in the Argand Diagram
A locus is a set of points that satisfy a specific rule. Think of it like a "mathematical map" showing where a point \(z\) is allowed to go.
Common Loci Shapes
- Circles: \(|z - a| = b\)
This represents a circle with center at complex number \(a\) and radius \(b\). - Perpendicular Bisector: \(|z - a| = |z - b|\)
This is the set of points exactly halfway between point \(a\) and point \(b\). It forms a straight line. - Half-lines: \(\arg(z - a) = \beta\)
This is a ray starting at point \(a\) (but not including \(a\)) and heading off at an angle \(\beta\). - Arc of a Circle: \(\arg\left(\frac{z - a}{z - b}\right) = \beta\)
This is the set of points where the angle subtended by the line segment \(ab\) is constant. This forms an arc of a circle passing through \(a\) and \(b\).
Regions (Shading)
If the "=" sign is replaced by an inequality like \(\le\) or \(<\), you are looking for a region (a shaded area).
Example: \(|z - a| \le b\) means everything inside and on the circle.
Analogy: Think of \(|z - a|\) as the "distance from \(a\)". So, \(|z - a| = 5\) just means "everywhere that is exactly 5 units away from \(a\)."
Quick Takeaway: Always start by identifying the "fixed points" (\(a\) and \(b\)) on your Argand diagram first!
4. Elementary Transformations
This is where we map a point \(z\) in the z-plane to a new point \(w\) in the w-plane using a formula.
Types of Transformations
- \(w = z^2\): This squares the distances from the origin and doubles the angles.
- Möbius Transformations: \(w = \frac{az + b}{cz + d}\): These are special because they map circles and straight lines in the \(z\)-plane to circles or straight lines in the \(w\)-plane.
How to solve transformation problems:
Don't worry if this seems tricky at first! Just follow these steps:
- Rearrange the transformation equation to make \(z\) the subject (e.g., \(z = \dots\)).
- Look at the information given about the locus of \(z\) (for example, you might be told \(|z| = 2\)).
- Substitute your new expression for \(z\) into that locus equation.
- Simplify the resulting equation to see what shape it describes in terms of \(w\).
Quick Review Box:
- Euler: \(e^{i\theta} = \cos \theta + i\sin \theta\)
- De Moivre: \((re^{i\theta})^n = r^n e^{in\theta}\)
- Locus: A path or area satisfying an equation.
- Transformation: Moving from the \(z\)-plane to the \(w\)-plane.
Key Takeaway: Complex numbers aren't just one value; they are vectors that can be rotated, stretched, and mapped across different planes to solve complex geometric and physical problems!