Core Pure · Complex Numbers · Year 2

Exponential Form & Multiplying/Dividing Complex Numbers

Euler's relation collapses the whole modulus–argument machinery into a single exponential, and turns multiplying complex numbers into adding angles.

15 min read 5 worked examples

From power series to Euler's relation

Recap — modulus-argument form

You already know that any complex number can be written $z=r(\cos\theta+i\sin\theta)$, where $r=|z|$ and $\theta=\arg z$. This section builds a third, even more compact way of writing $z$.

Derivation — Euler's relation

The Maclaurin series for $\cos\theta$, $\sin\theta$ and $e^x$ (which you'll meet properly in Chapter 2) are:

$$\cos\theta=1-\frac{\theta^2}{2!}+\frac{\theta^4}{4!}-\cdots,\quad \sin\theta=\theta-\frac{\theta^3}{3!}+\frac{\theta^5}{5!}-\cdots,\quad e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots$$

Substituting $x=i\theta$ into the series for $e^x$ and using $i^2=-1,\,i^3=-i,\,i^4=1$ to simplify each power:

$$e^{i\theta}=1+i\theta-\frac{\theta^2}{2!}-\frac{i\theta^3}{3!}+\frac{\theta^4}{4!}+\cdots=\left(1-\frac{\theta^2}{2!}+\frac{\theta^4}{4!}-\cdots\right)+i\left(\theta-\frac{\theta^3}{3!}+\cdots\right)$$

The bracketed real part is exactly the series for $\cos\theta$, and the bracketed imaginary part is exactly the series for $\sin\theta$. This gives Euler's relation:

$$e^{i\theta}=\cos\theta+i\sin\theta$$

Definition — exponential form

Combining Euler's relation with the modulus-argument form gives the exponential form of a complex number:

$$z=re^{i\theta},$$

$$\text{where } r=|z|>0 \text{ and } \theta=\arg z \text{ satisfies } -\pi<\theta\leq\pi$$

As with the principal argument, $\theta$ is always chosen in this range unless a question says otherwise.

Example 1 · Converting to exponential form
Express $z=3\left(\cos\dfrac{2\pi}{5}+i\sin\dfrac{2\pi}{5}\right)$ in the form $re^{i\theta}$, and express $w=6-6i$ in the form $re^{i\theta}$, where $-\pi<\theta\leq\pi$.

For $z$: comparing directly with $r(\cos\theta+i\sin\theta)$ gives $r=3$ and $\theta=\dfrac{2\pi}5$, so $z=3e^{\frac{2\pi}{5}i}$.

For $w$: first find $r=|w|=\sqrt{6^2+(-6)^2}=6\sqrt2$. The point $6-6i$ lies in the fourth quadrant, so $\theta=-\arctan\left(\dfrac66\right)=-\dfrac\pi4$. Therefore $w=6\sqrt2\,e^{-\frac\pi4 i}$.

Example 2 · Converting from exponential form
Express $z=4e^{\frac{5\pi}{6}i}$ in the form $x+iy$, where $x,y\in\mathbb{R}$.

Using Euler's relation, $z=4\left(\cos\dfrac{5\pi}6+i\sin\dfrac{5\pi}6\right)=4\left(-\dfrac{\sqrt3}2+\dfrac12 i\right)=-2\sqrt3+2i$.

Watch out — staying inside the principal range

If an angle you compute falls outside $-\pi<\theta\leq\pi$, add or subtract multiples of $2\pi$ until it lands back inside that range — exactly as you did with modulus-argument form. Since $\cos$ and $\sin$ are $2\pi$-periodic, this never changes the value of $e^{i\theta}$ itself.

Multiplying and dividing in exponential form

Rule — products and quotients

Exponential form turns the modulus-argument multiplication/division rules into ordinary laws of indices. If $z_1=r_1e^{i\theta_1}$ and $z_2=r_2e^{i\theta_2}$:

$$z_1z_2=r_1r_2e^{i(\theta_1+\theta_2)}$$

$$\frac{z_1}{z_2}=\frac{r_1}{r_2}e^{i(\theta_1-\theta_2)}$$

In words: moduli multiply (or divide) as normal, while arguments simply add (or subtract) — the exponent behaves exactly like a real-number exponent, because $e^{i\theta_1}\cdot e^{i\theta_2}=e^{i(\theta_1+\theta_2)}$ is inherited directly from the ordinary law of indices $e^ae^b=e^{a+b}$, extended to complex exponents.

Image pending
argand-multiplication-rotation.png
Multiplying by $z_2=r_2e^{i\theta_2}$ scales $z_1$ by factor $r_2$ and rotates it anticlockwise by angle $\theta_2$.
ProofMultiplication rule for exponential form
1
$z_1z_2=r_1(\cos\theta_1+i\sin\theta_1)\times r_2(\cos\theta_2+i\sin\theta_2)$
Write both numbers in modulus-argument form and multiply directly.
2
$=r_1r_2\big[(\cos\theta_1\cos\theta_2-\sin\theta_1\sin\theta_2)+i(\sin\theta_1\cos\theta_2+\cos\theta_1\sin\theta_2)\big]$
Expand the product and group real and imaginary parts, using $i^2=-1$.
3
$=r_1r_2\big[\cos(\theta_1+\theta_2)+i\sin(\theta_1+\theta_2)\big]$
The bracketed real part is the cosine addition formula and the bracketed imaginary part is the sine addition formula.
4
$=r_1r_2e^{i(\theta_1+\theta_2)}$
Rewrite in exponential form using Euler's relation. The quotient rule follows the same way, using the subtraction formulae instead.
∎
Example 3 · Multiplying in exponential form
Given $z_1=5e^{\frac\pi3 i}$ and $z_2=2e^{\frac\pi4 i}$, find $z_1z_2$ in the form $re^{i\theta}$, then in the form $x+iy$.

$z_1z_2=(5\times2)e^{i\left(\frac\pi3+\frac\pi4\right)}=10e^{\frac{7\pi}{12}i}$.

Since $\dfrac{7\pi}{12}$ already lies in $(-\pi,\pi]$, no adjustment is needed. Converting: $10e^{\frac{7\pi}{12}i}=10\left(\cos\dfrac{7\pi}{12}+i\sin\dfrac{7\pi}{12}\right)\approx10(-0.259+0.966i)\approx-2.59+9.66i$.

Example 4 · Dividing, with an argument outside the principal range
Given $z_1=6e^{\frac{5\pi}{6}i}$ and $z_2=3e^{-\frac{2\pi}{3}i}$, find $\dfrac{z_1}{z_2}$ in the form $re^{i\theta}$, where $-\pi<\theta\leq\pi$.

$\dfrac{z_1}{z_2}=\dfrac63\,e^{i\left(\frac{5\pi}6-\left(-\frac{2\pi}3\right)\right)}=2e^{i\cdot\frac{3\pi}{2}}$.

The angle $\dfrac{3\pi}2$ is outside $(-\pi,\pi]$, so subtract $2\pi$: $\dfrac{3\pi}2-2\pi=-\dfrac\pi2$. Therefore $\dfrac{z_1}{z_2}=2e^{-\frac\pi2 i}$.

Example 5 · Combined product and quotient
Simplify $\dfrac{4e^{\frac{7\pi}{9}i}\times3e^{-\frac{5\pi}{18}i}}{2e^{\frac{\pi}{2}i}}$, giving your answer in the form $re^{i\theta}$ where $-\pi<\theta\leq\pi$.

Combine moduli: $\dfrac{4\times3}{2}=6$. Combine arguments: $\dfrac{7\pi}9-\dfrac{5\pi}{18}-\dfrac\pi2=\dfrac{14\pi}{18}-\dfrac{5\pi}{18}-\dfrac{9\pi}{18}=\dfrac{0}{18}=0$.

So the expression simplifies to $6e^{0i}=6$.

Why this matters

Exponential form is the natural language for everything else in this chapter — De Moivre's theorem, $n$th roots, and sums of trigonometric series all become almost mechanical once you're fluent in treating $e^{i\theta}$ like an ordinary exponential.

Exam-style questions

Question 1 5 marks

Express $z=-4+4\sqrt3\,i$ in the form $re^{i\theta}$, where $-\pi<\theta\leq\pi$, giving $\theta$ as an exact multiple of $\pi$.

$r=\sqrt{(-4)^2+(4\sqrt3)^2}=\sqrt{16+48}=\sqrt{64}=8$. (M1, A1)

The point lies in the second quadrant. The reference angle is $\arctan\left(\dfrac{4\sqrt3}4\right)=\arctan(\sqrt3)=\dfrac\pi3$, so $\theta=\pi-\dfrac\pi3=\dfrac{2\pi}3$. (M1, A1)

$z=8e^{\frac{2\pi}{3}i}$. (A1)

Question 2 6 marks

Given $z_1=7e^{\frac{11\pi}{12}i}$ and $z_2=\sqrt7\,e^{\frac{\pi}{6}i}$, find $z_1z_2$ and $\dfrac{z_1}{z_2}$, giving both answers in the form $re^{i\theta}$ where $-\pi<\theta\leq\pi$.

$z_1z_2$: modulus $7\sqrt7$; argument $\dfrac{11\pi}{12}+\dfrac\pi6=\dfrac{11\pi}{12}+\dfrac{2\pi}{12}=\dfrac{13\pi}{12}$, which is outside $(-\pi,\pi]$, so subtract $2\pi$: $\dfrac{13\pi}{12}-2\pi=-\dfrac{11\pi}{12}$. So $z_1z_2=7\sqrt7\,e^{-\frac{11\pi}{12}i}$. (M1, A1, M1, A1)

$\dfrac{z_1}{z_2}$: modulus $\dfrac{7}{\sqrt7}=\sqrt7$; argument $\dfrac{11\pi}{12}-\dfrac\pi6=\dfrac{11\pi}{12}-\dfrac{2\pi}{12}=\dfrac{9\pi}{12}=\dfrac{3\pi}4$, already in range. So $\dfrac{z_1}{z_2}=\sqrt7\,e^{\frac{3\pi}{4}i}$. (A1, A1)

Question 3 7 marks

Given that $z=2e^{\frac{\pi}{5}i}$ and $|zw|=8$ with $\arg(zw)=\pi$, use geometric reasoning to find $w$ in exponential form.

Since $|zw|=|z||w|$, we need $2|w|=8$, so $|w|=4$. (M1, A1)

Since $\arg(zw)=\arg z+\arg w$, we need $\dfrac\pi5+\arg w=\pi$ (using the given value of $\arg(zw)$ directly, since it's already stated in the principal range), so $\arg w=\dfrac{4\pi}5$. (M1, A1, A1)

$w=4e^{\frac{4\pi}{5}i}$. (A1)