IB Math AA HL: Complex Numbers, Vectors and Proofs

TL;DR

This topic combines complex numbers, vectors, and mathematical proof techniques, requiring you to apply concepts from all three areas to solve problems. You'll learn to represent complex numbers geometrically and use vector properties to prove relationships. Mastering proofs is crucial, often involving induction or direct methods to demonstrate mathematical statements.

1. The Mental Model

Think of complex numbers as points or vectors in a 2D plane, making their geometry intuitive. Vectors provide a framework for direction and magnitude, ideal for spatial reasoning. Proofs are about building an airtight logical argument, like constructing a robust building from foundation to roof.

2. The Core Material

Complex Numbers: Geometry and Forms

Photo by Steve A Johnson on Pexels

Complex numbers $z = x + iy$ can be plotted on an Argand diagram, where the x-axis is the real part and the y-axis is the imaginary part. This allows you to visualize operations like addition and multiplication.

• Modulus-Argument (Polar) Form: $z = r(\cos \theta + i \sin \theta) = re^{i\theta}$, where $r = |z| = \sqrt{x^2 + y^2}$ is the modulus (distance from origin) and $\theta = \arg(z)$ is the argument (angle with the positive x-axis). This form simplifies multiplication and division.
• De Moivre's Theorem: $(re^{i\theta})^n = r^n e^{in\theta}$, or $(r(\cos \theta + i \sin \theta))^n = r^n(\cos n\theta + i \sin n\theta)$. This is essential for finding powers and roots of complex numbers.

Vectors: Dot Product and Cross Product (HL Only)

Photo by Google DeepMind on Pexels

Vectors have both magnitude and direction. In 3D, a vector can be represented as $\mathbf{v} = a\mathbf{i} + b\mathbf{j} + c\mathbf{k}$ or $\begin{pmatrix} a \\ b \\ c \end{pmatrix}$.

• Dot Product: $\mathbf{a} \cdot \mathbf{b} = |\mathbf{a}||\mathbf{b}|\cos\theta = a_xb_x + a_yb_y + a_zb_z$. Useful for finding the angle between vectors and determining perpendicularity ($\mathbf{a} \cdot \mathbf{b} = 0$).
• Cross Product (HL Only): $\mathbf{a} \times \mathbf{b} = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ a_x & a_y & a_z \\ b_x & b_y & b_z \end{vmatrix}$. The resulting vector is perpendicular to both $\mathbf{a}$ and $\mathbf{b}$. Its magnitude $|\mathbf{a} \times \mathbf{b}| = |\mathbf{a}||\mathbf{b}|\sin\theta$ represents the area of the parallelogram formed by $\mathbf{a}$ and $\mathbf{b}$. Useful for finding normal vectors to planes.

Proof Techniques

Photo by Markus Winkler on Pexels

Proofs are logical arguments to establish the truth of a statement.

• Direct Proof: Start with known truths or given conditions and logically deduce the conclusion.
• Proof by Contrapositive: To prove "If P, then Q," you prove "If not Q, then not P."
• Proof by Contradiction: Assume the statement you want to prove is false, then show this assumption leads to a logical inconsistency.
• Proof by Mathematical Induction: Used for statements involving natural numbers.
  1. Base Case: Show the statement is true for the first value (e.g., n=1).
  2. Inductive Hypothesis: Assume the statement is true for some arbitrary integer k (P(k) is true).
  3. Inductive Step: Show that if P(k) is true, then P(k+1) is also true.

Here's a diagram illustrating the proof process:

graph TD
    A["Understand the Statement"] --> B{"Is it about Integers?"}
    B -- Yes --> C["Choose Induction"]
    C --> C1["Base Case (n=1)"]
    C1 --> C2["Inductive Hypothesis (Assume P(k))"]
    C2 --> C3["Inductive Step (Prove P(k+1))"]
    B -- No --> D{"Direct, Contrapositive, or Contradiction?"}
    D -- Direct --> D1["Start with Knowns, Deduce Conclusion"]
    D -- Contrapositive --> D2["Assume Not Q, Prove Not P"]
    D -- Contradiction --> D3["Assume Statement is False, Find Contradiction"]
    C3 --> E["Conclusion: Statement is Proven"]
    D1 --> E
    D2 --> E
    D3 --> E

3. Worked Example

Problem: Use mathematical induction to prove that for any positive integer $n$, $( \cos \theta + i \sin \theta )^n = \cos(n\theta) + i \sin(n\theta)$. (De Moivre's Theorem)

Solution:

1. Base Case (n=1):
   $(\cos \theta + i \sin \theta)^1 = \cos \theta + i \sin \theta$
   $\cos(1\theta) + i \sin(1\theta) = \cos \theta + i \sin \theta$
   The statement is true for $n=1$.

2. Inductive Hypothesis:
   Assume the statement is true for some positive integer $k$.
   That is, assume $(\cos \theta + i \sin \theta)^k = \cos(k\theta) + i \sin(k\theta)$.

3. Inductive Step:
   We need to show that the statement is true for $n=k+1$.
   Consider $(\cos \theta + i \sin \theta)^{k+1}$.
   $(\cos \theta + i \sin \theta)^{k+1} = (\cos \theta + i \sin \theta)^k (\cos \theta + i \sin \theta)^1$
   Using the inductive hypothesis for the first term:
   $= (\cos(k\theta) + i \sin(k\theta)) (\cos \theta + i \sin \theta)$
   Expand this product:
   $= \cos(k\theta)\cos\theta + \cos(k\theta)(i\sin\theta) + (i\sin(k\theta))\cos\theta + (i\sin(k\theta))(i\sin\theta)$
   $= \cos(k\theta)\cos\theta + i\cos(k\theta)\sin\theta + i\sin(k\theta)\cos\theta - \sin(k\theta)\sin\theta$
   Group real and imaginary parts:
   $= (\cos(k\theta)\cos\theta - \sin(k\theta)\sin\theta) + i(\cos(k\theta)\sin\theta + \sin(k\theta)\cos\theta)$
   Using the angle addition formulas for cosine and sine ($\cos(A+B) = \cos A \cos B - \sin A \sin B$ and $\sin(A+B) = \sin A \cos B + \cos A \sin B$):
   $= \cos(k\theta + \theta) + i \sin(k\theta + \theta)$
   $= \cos((k+1)\theta) + i \sin((k+1)\theta)$
   This shows the statement is true for $n=k+1$.

Conclusion: By the principle of mathematical induction, $(\cos \theta + i \sin \theta)^n = \cos(n\theta) + i \sin(n\theta)$ for all positive integers $n$.

4. Key Takeaways

• Complex numbers can be represented graphically as points/vectors on an Argand diagram, making their geometric properties clear.
• De Moivre's Theorem is fundamental for raising complex numbers to powers and finding roots, simplifying calculations significantly.
• The dot product helps find angles between vectors and confirm perpendicularity.
• The cross product (HL only) yields a vector perpendicular to two given vectors and can calculate parallelogram area.
• Mathematical induction is crucial for proving statements about natural numbers, involving a base case, an inductive hypothesis, and an inductive step.
• Direct proofs, proof by contrapositive, and proof by contradiction are other common and powerful proof techniques.
• Practice translating geometric properties into vector or complex number equations, and vice-versa.

Common mistakes:
* Confusing $\theta$ with $n\theta$ or $k\theta$ in De Moivre's theorem steps.
* Not explicitly stating the Inductive Hypothesis in induction proofs.
* Incorrectly calculating cross products, especially the signs of components.
* Misinterpreting "if and only if" in proofs – it requires proving both directions.

5. Now Try It

Exercise:
Let $z = 1 + i$.
1. Express $z$ in modulus-argument form.
2. Use De Moivre's Theorem to find $z^4$ in Cartesian form ($a+bi$).
3. Prove by direct proof that if two complex numbers $z_1$ and $z_2$ are such that $|z_1| = 1$ and $|z_2| = 1$, then $\text{Re}(z_1z_2^*) = \text{Re}(z_2z_1^*)$, where $z^*$ denotes the complex conjugate.

What success looks like: You should be able to clearly convert $z$ to polar form, apply De Moivre's to get $z^4$, and then construct a logical proof for the final part, using the properties of complex conjugates and real parts.