Complex Numbers & Trig — AHL 3.8 Complex numbers and...

SECTION 1

Historical Context & Motivation

For centuries, mathematicians were troubled by the idea of the square root of a negative number. The concept seemed absurd — even dangerous — and early pioneers who encountered such quantities in their work called them imaginary numbers. Yet these "impossible" numbers turned out to be extraordinarily useful. The story of how imaginary numbers merged with trigonometry to form the cis notation is one of the most elegant developments in the history of mathematics.

1545

Cardano's Imaginary Roots

Gerolamo Cardano published Ars Magna, acknowledging square roots of negative numbers in solutions to cubic equations, though he called them "sophistic" and considered them meaningless.

1797

Wessel's Geometric Picture

Caspar Wessel presented the first geometric interpretation of complex numbers as points in a plane, connecting algebra to geometry and laying the groundwork for the modulus-argument form.

1748

Euler's Formula

Leonhard Euler published his famous identity e^iθ = cos θ + i sin θ, forging the deep link between exponential functions and trigonometry that underpins the cis form.

1806

Argand Diagram

Jean-Robert Argand independently published a method for visualising complex numbers on a two-dimensional plane — today called the Argand diagram — making trigonometric representation intuitive.

1900s

cis Notation Adopted

The shorthand cis θ (standing for cos θ + i sin θ) became standard in textbooks, simplifying notation for multiplying and dividing complex numbers in polar form.

The central question this topic addresses is: How can we represent and manipulate complex numbers so that multiplication becomes rotation and stretching? The cis form answers this question by encoding every complex number as a distance (modulus) and a direction (argument), using the familiar language of cosine and sine.

SECTION 2

Core Principles & Definitions

Before diving into cis form, you need a firm grasp on a few foundational ideas. Every complex number z = a + bi can be thought of as a point (a, b) in the complex plane (also called the Argand diagram). The horizontal axis represents the real part, and the vertical axis represents the imaginary part. From this picture, we can read off two key quantities: how far the point is from the origin, and the angle the line from the origin makes with the positive real axis.

Modulus (r)

The modulus of z = a + bi is the distance from the origin: r = |z| = √(a² + b²). It is always non-negative and tells you how "large" the complex number is.

Argument (θ)

The argument is the angle θ measured anticlockwise from the positive real axis to the line joining the origin to z. It is usually given in radians, with −π < θ ≤ π for the principal argument.

cis θ Shorthand

The notation cis θ is defined as cos θ + i sin θ. Any complex number can therefore be written z = r cis θ, called the polar form or cis form.

Conversion Formulas

To go from Cartesian to polar: r = √(a² + b²) and θ = arctan(b/a) (adjusted for quadrant). To go back: a = r cos θ and b = r sin θ.

Euler's Link

Euler's formula states e^iθ = cis θ. The IB syllabus uses cis notation as the standard, but knowing the exponential connection deepens understanding.

✦ KEY TAKEAWAY

Think of a complex number like a set of driving directions. Cartesian form (a + bi) is like saying "go 3 blocks east and 4 blocks north." The cis form (r cis θ) is like saying "drive 5 km at a bearing of 53°." Both describe the same destination, but the second version — distance and direction — makes it much easier to combine journeys (multiply complex numbers).

SECTION 3

Visual Explanation — The Argand Diagram & cis Form

The Argand diagram shows the complex number z = a + bi as a point in the complex plane. The modulus r is the length of the line from the origin to z, while the argument θ is the angle this line makes with the positive real axis. The dashed purple lines show how a and b relate to r and θ through cosine and sine.

In the diagram above, notice how the complex number z sits at the tip of a vector from the origin. The right triangle formed by the real part a, the imaginary part b, and the modulus r is the geometric heart of the cis form. By Pythagoras, r = √(a² + b²), and by basic trigonometry, a = r cos θ and b = r sin θ. Substituting these back into z = a + bi gives z = r cos θ + i r sin θ = r(cos θ + i sin θ) = r cis θ. This is the polar or cis form of a complex number.

SECTION 4

Mathematical Framework — Operations in cis Form

The real power of the cis form emerges when you multiply, divide, or raise complex numbers to powers. In Cartesian form, multiplying two complex numbers involves expanding brackets and simplifying — it works but gets messy. In cis form, the rules are beautifully simple: you multiply moduli and add arguments.

MULTIPLICATION IN CIS FORM

z₁ × z₂ = r₁ cis θ₁ × r₂ cis θ₂ = r₁r₂ cis(θ₁ + θ₂)

When multiplying, multiply the moduli (distances) and add the arguments (angles). This follows directly from the trigonometric addition formulas.

DIVISION IN CIS FORM

z₁ ÷ z₂ = (r₁/r₂) cis(θ₁ − θ₂)

When dividing, divide the moduli and subtract the arguments. This is the inverse of the multiplication rule.

DE MOIVRE'S THEOREM

zⁿ = (r cis θ)ⁿ = rⁿ cis(nθ)

For any integer n, raising a complex number to the nth power means raising the modulus to the nth power and multiplying the argument by n. This is De Moivre's Theorem, one of the most important results in this topic.

NTH ROOTS OF A COMPLEX NUMBER

z^(1/n) = r^(1/n) cis((θ + 2kπ)/n), k = 0, 1, 2, …, n−1

There are exactly n distinct nth roots of any non-zero complex number. They are equally spaced around a circle of radius r^1/n in the Argand diagram, separated by angles of 2π/n.

💡 Why does multiplication add angles?

When you expand (cos θ₁ + i sin θ₁)(cos θ₂ + i sin θ₂) and apply the angle addition identities cos(A + B) = cos A cos B − sin A sin B and sin(A + B) = sin A cos B + cos A sin B, you get exactly cos(θ₁ + θ₂) + i sin(θ₁ + θ₂). The cis rule is just a compact way of expressing the trig addition formulas!

SECTION 5

Roots of Unity & Rotational Symmetry

One of the most visually striking applications of the cis form is finding the nth roots of unity — the n complex solutions to the equation zⁿ = 1. Since 1 = 1 cis 0, De Moivre's theorem tells us that z = cis(2kπ/n) for k = 0, 1, 2, …, n − 1. These roots sit at equally spaced points on the unit circle (the circle of radius 1 centred at the origin), forming a regular polygon.

The five 5th roots of unity are equally spaced around the unit circle. Each root is obtained by rotating the previous one by 72° (or 2π/5 radians). Together they form the vertices of a regular pentagon. The orange outline shows this polygon.

This pattern generalises beautifully: the nth roots of unity always form a regular n-gon inscribed in the unit circle. For example, the cube roots of unity form an equilateral triangle, the 4th roots form a square, and so on. When finding the nth roots of a general complex number w = R cis φ, the roots still form a regular n-gon, but the circle has radius R^1/n instead of 1, and the polygon is rotated so that the first root sits at angle φ/n.

🔄 Geometry meets algebra

Multiplying any complex number by cis θ rotates it anticlockwise by angle θ around the origin — without changing its distance from the origin. This is why multiplication in cis form adds angles. It's literally a rotation!

SECTION 6

Worked Example — From Cartesian to cis and Back

Let's work through a complete example that covers conversion, multiplication, and De Moivre's Theorem.

Find (1 + i√3)⁶ using cis form

Step 1 — Convert to cis formLet z = 1 + i√3. We need the modulus r and argument θ. The modulus is r = √(1² + (√3)²) = √(1 + 3) = √4 = 2. For the argument, tan θ = √3 / 1 = √3. Since the real and imaginary parts are both positive (first quadrant), θ = π/3.

z = 2 cis(π/3)

Step 2 — Apply De Moivre's TheoremWe want z⁶ = (2 cis(π/3))⁶. By De Moivre's Theorem, z⁶ = 2⁶ cis(6 × π/3) = 64 cis(2π).

z⁶ = 64 cis(2π)

Step 3 — Convert back to Cartesiancis(2π) = cos(2π) + i sin(2π) = 1 + 0i = 1. Therefore z⁶ = 64 × 1 = 64.

(1 + i√3)⁶ = 64

Step 4 — Verify (optional check)You can verify by computing (1 + i√3)² = 1 + 2i√3 − 3 = −2 + 2i√3, then cubing: (−2 + 2i√3)³. It's tedious but yields 64, confirming our result. The cis form saved us enormous algebraic effort!

⚡ WHY CIS FORM MATTERS

Computing (1 + i√3)⁶ by repeatedly expanding brackets in Cartesian form would take pages of algebra and invite errors. In cis form, it took three clean steps. Whenever you see a power, product, or quotient of complex numbers, converting to cis form first is almost always the smartest strategy.

SECTION 7

Cartesian vs. Polar (cis) Form — When to Use Which

Both forms of a complex number have their strengths. Choosing the right one depends on the operation you need to perform. The table below summarises when each form is most efficient.

Comparison of Cartesian and cis (polar) forms for common operations

Operation	Cartesian (a + bi)	Polar / cis (r cis θ)
Addition / Subtraction	Easiest — just add real and imaginary parts	Awkward — must convert to Cartesian first
Multiplication	Expand and simplify (FOIL method)	Easiest — multiply moduli, add arguments
Division	Multiply by conjugate (messy)	Easiest — divide moduli, subtract arguments
Powers (zⁿ)	Extremely tedious for large n	De Moivre's Theorem — one step
Roots (z^(1/n))	Not practical	Direct formula gives all n roots
Geometric interpretation	Coordinates on the plane	Distance and direction from origin

🧭 RULE OF THUMB

Use Cartesian form for addition and subtraction. Use cis form for multiplication, division, powers, and roots. Many IB problems will require you to convert between forms mid-problem, so practise both conversion directions until they feel automatic.

SECTION 8

Connection to Euler's Formula & Advanced Theory

The cis form is actually a stepping stone to one of the most famous equations in all of mathematics. Euler's formula states that e^iθ = cos θ + i sin θ = cis θ. When you set θ = π, you get Euler's identity: e^(iπ) + 1 = 0, which links five fundamental constants (e, i, π, 1, 0) in a single equation. Many mathematicians consider it the most beautiful equation ever written.

cis form vs. exponential form

Feature	cis Form (IB Focus)	Exponential Form (Advanced)
Notation	r cis θ = r(cos θ + i sin θ)	re^iθ
Multiplication	r₁r₂ cis(θ₁ + θ₂)	r₁r₂ e^{i(θ₁+θ₂)}
De Moivre	rⁿ cis(nθ)	rⁿ e^inθ
Why use it	Trigonometric identities are explicit	Compact; connects to calculus (differentiation of e^iθ)
IB Exam use	Standard notation for HL	Accepted but not required

At university level, the exponential form becomes the standard because it integrates seamlessly with calculus and differential equations. Signal processing, quantum mechanics, and electrical engineering all rely on the exponential form. For your IB exams, however, cis notation is the expected format. Knowing that cis θ and e^iθ are the same thing gives you a deeper appreciation for why the cis rules work, even if the proof via Taylor series is beyond the syllabus.

SECTION 9

Practice Problems

PROBLEM 1 — CONCEPTUAL

Explain in your own words what happens geometrically in the Argand diagram when you multiply a complex number z by cis(π/2). What familiar transformation does this represent?

PROBLEM 2 — BASIC CALCULATION

Convert z = −1 + i to cis form. Give the modulus and principal argument.

PROBLEM 3 — INTERMEDIATE

Let z₁ = 2 cis(π/6) and z₂ = 3 cis(π/4). Find z₁z₂ and z₁/z₂, giving answers in cis form.

PROBLEM 4 — APPLIED

Find all four 4th roots of z = 16 cis(2π/3). Express each root in cis form, and describe how they appear on the Argand diagram.

PROBLEM 5 — CRITICAL THINKING

Use De Moivre's Theorem with n = 3 to derive an expression for cos 3θ in terms of cos θ alone. (Hint: expand (cos θ + i sin θ)³ using the binomial theorem and then equate real parts.)

SUMMARY

Lesson Summary

Every complex number z = a + bi can be written in cis form as z = r cis θ, where the modulus r = √(a² + b²) is the distance from the origin and the argument θ is the angle from the positive real axis. The key operations in cis form are: multiplication (multiply moduli, add arguments), division (divide moduli, subtract arguments), and De Moivre's Theorem: (r cis θ)ⁿ = rⁿ cis(nθ).

The nth roots of a complex number are found using z^(1/n) = r^(1/n) cis((θ + 2kπ)/n) for k = 0, 1, …, n−1, and they always form a regular polygon on a circle in the Argand diagram. The cis form is the IB-standard way of expressing Euler's formula cis θ = e^iθ, and it reveals the deep, elegant connection between complex number algebra and trigonometric identities — including the derivation of multiple-angle formulas like cos 3θ = 4cos³θ − 3cos θ.