McIntyre MathsMathematics Extension 2

Lesson 6 · Multiplying and dividing in polar form

Mathematics Extension 2 · Complex Numbers I · Outcome ME2-12-03 · Term 4 · Week 8
Learning intentionTo multiply, divide and find powers of complex numbers in polar form, and to prove the modulus and argument identities.
Success criteria · I can…
  • prove that moduli multiply and arguments add
  • multiply, divide and find powers in polar form, giving the principal argument
  • prove and use ∣z1z2∣=∣z1∣∣z2∣|z_1z_2|=|z_1||z_2|, arg⁡(z1z2)=arg⁡z1+arg⁡z2\arg(z_1z_2)=\arg z_1+\arg z_2 and the quotient and power rules
  • use two forms of the same number to find exact trig values

Lesson flow

Warm-up · Retrieval from Lesson 5

Slide 2
(a) Write 1−i1-i in polar form.
Show answerHide answer
Answer
2(cos⁡(−π4)+isin⁡(−π4))\sqrt2\left(\cos\left(-\dfrac\pi4\right)+i\sin\left(-\dfrac\pi4\right)\right)
Why
r=2r=\sqrt2. The point is in the fourth quadrant with reference angle π4\frac\pi4, so θ=−π4\theta=-\frac\pi4.
(b) State Arg⁡(−2)\Arg(-2).
Show answerHide answer
Answer
π\pi (not −π-\pi)
Why
The principal argument lies in (−π,π](-\pi,\pi], which includes π\pi and excludes −π-\pi.
(c) Expand cos⁡(A+B)\cos(A+B) and sin⁡(A+B)\sin(A+B).
Show answerHide answer
Answer
cos⁡(A+B)=cos⁡Acos⁡B−sin⁡Asin⁡B\cos(A+B)=\cos A\cos B-\sin A\sin B and sin⁡(A+B)=sin⁡Acos⁡B+cos⁡Asin⁡B\sin(A+B)=\sin A\cos B+\cos A\sin B.
Why
Keep these on the board: they are exactly what Example 1 needs.
(d) Write 2(cos⁡5π6+isin⁡5π6)2\left(\cos\dfrac{5\pi}{6}+i\sin\dfrac{5\pi}{6}\right) as x+iyx+iy.
Show answerHide answer
Answer
−3+i-\sqrt3+i
Why
2(−32+12i)=−3+i2\left(-\frac{\sqrt3}{2}+\frac12 i\right)=-\sqrt3+i.

Example 1 · Proving the multiplication rule

Slide 3

Let z1=r1(cos⁡θ1+isin⁡θ1)z_1=r_1(\cos\theta_1+i\sin\theta_1) and z2=r2(cos⁡θ2+isin⁡θ2)z_2=r_2(\cos\theta_2+i\sin\theta_2).

Prove that z1z2=r1r2(cos⁡(θ1+θ2)+isin⁡(θ1+θ2)).z_1z_2=r_1r_2\big(\cos(\theta_1+\theta_2)+i\sin(\theta_1+\theta_2)\big).
Show answerHide answer
Answer
z1z2=r1r2(cos⁡θ1+isin⁡θ1)(cos⁡θ2+isin⁡θ2)=r1r2[(cos⁡θ1cos⁡θ2−sin⁡θ1sin⁡θ2)+i(sin⁡θ1cos⁡θ2+cos⁡θ1sin⁡θ2)]=r1r2(cos⁡(θ1+θ2)+isin⁡(θ1+θ2)).\begin{aligned}z_1z_2&=r_1r_2(\cos\theta_1+i\sin\theta_1)(\cos\theta_2+i\sin\theta_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]\\&=r_1r_2\big(\cos(\theta_1+\theta_2)+i\sin(\theta_1+\theta_2)\big).\end{aligned}
Why
Expand using i2=−1i^2=-1, collect real and imaginary parts, then recognise the compound-angle formulas for cos⁡(θ1+θ2)\cos(\theta_1+\theta_2) and sin⁡(θ1+θ2)\sin(\theta_1+\theta_2). So ∣z1z2∣=∣z1∣∣z2∣|z_1z_2|=|z_1||z_2| and arg⁡(z1z2)=arg⁡z1+arg⁡z2\arg(z_1z_2)=\arg z_1+\arg z_2, up to a multiple of 2π2\pi: multiply the moduli and add the arguments.

Multiply moduli, add arguments

Slide 4
Theorem
Modulus and argument rules

For non-zero complex numbers z1z_1, z2z_2, zz and an integer nn:

∣z1z2∣=∣z1∣∣z2∣arg⁡(z1z2)=arg⁡z1+arg⁡z2|z_1z_2|=|z_1||z_2|\qquad \arg(z_1z_2)=\arg z_1+\arg z_2∣z1z2∣=∣z1∣∣z2∣arg⁡(z1z2)=arg⁡z1−arg⁡z2\left|\frac{z_1}{z_2}\right|=\frac{|z_1|}{|z_2|}\qquad \arg\left(\frac{z_1}{z_2}\right)=\arg z_1-\arg z_2∣zn∣=∣z∣narg⁡(zn)=narg⁡z|z^n|=|z|^n\qquad \arg(z^n)=n\arg z

The argument rules hold for arg⁡\arg (any argument). For the principal argument Arg⁡\Arg the answer may need ±2π\pm2\pi to land in (−π,π](-\pi,\pi] (Example 2 shows this). For n=−1n=-1 the quotient rule with z1=1z_1=1 gives ∣1z∣=1∣z∣\left|\frac1z\right|=\frac1{|z|} and arg⁡1z=−arg⁡z\arg\frac1z=-\arg z. The full proof for all integers nn is de Moivre's theorem, later in this unit.

Think

In words: what does multiplying zz by rcis⁡θr\cis\theta do to the point zz on the Argand diagram?
Show answerHide answer
Answer
It multiplies the distance from OO by rr (a dilation about OO) and adds θ\theta to the argument (a rotation about OO through θ\theta).
Why
This is the geometric meaning of “multiply the moduli, add the arguments”. It is developed fully in Lesson 8.

Example 2 · Multiplying in polar form

Slide 5

Express in polar form with the principal argument.

(a) 4cis⁡3π4×3cis⁡π24\cis\dfrac{3\pi}{4}\times 3\cis\dfrac{\pi}{2}
Show answerHide answer
Answer
12cis⁡(−3π4)12\cis\left(-\dfrac{3\pi}{4}\right)
Why
Multiply moduli: 4×3=124\times3=12. Add arguments: 3π4+π2=5π4\frac{3\pi}{4}+\frac{\pi}{2}=\frac{5\pi}{4}. This is more than π\pi, so subtract 2π2\pi to get −3π4-\frac{3\pi}{4}.
(b) (2cis⁡2π3)2\left(2\cis\dfrac{2\pi}{3}\right)^2
Show answerHide answer
Answer
4cis⁡(−2π3)4\cis\left(-\dfrac{2\pi}{3}\right)
Why
22=42^2=4 and 2π3+2π3=4π3\frac{2\pi}{3}+\frac{2\pi}{3}=\frac{4\pi}{3}, which is outside (−π,π](-\pi,\pi], so subtract 2π2\pi to get −2π3-\frac{2\pi}{3}.
Show diagramHide diagram
ReIm-5-4-3-2-112345-11234504cis(3π/4)3cis(π/2)3π/4
Part (a): the two factors. Their product has modulus 12 and argument 5π/4, which is off this scale (lower left, at −3π/4).

Example 3 · Dividing in polar form

Slide 6

Express in polar form with the principal argument.

(a) 12cis⁡06cis⁡2π3\dfrac{12\cis 0}{6\cis\frac{2\pi}{3}}
Show answerHide answer
Answer
2cis⁡(−2π3)=2(cos⁡2π3−isin⁡2π3)=−1−3 i2\cis\left(-\dfrac{2\pi}{3}\right)=2\left(\cos\dfrac{2\pi}{3}-i\sin\dfrac{2\pi}{3}\right)=-1-\sqrt3\,i
Why
Divide moduli: 12÷6=212\div6=2. Subtract arguments: 0−2π3=−2π30-\frac{2\pi}{3}=-\frac{2\pi}{3}, already in (−π,π](-\pi,\pi].
(b) 6cis⁡(−π3)2cis⁡2π3\dfrac{6\cis\left(-\frac{\pi}{3}\right)}{2\cis\frac{2\pi}{3}}
Show answerHide answer
Answer
3cis⁡π=−33\cis\pi=-3
Why
6÷2=36\div2=3 and −π3−2π3=−π-\frac{\pi}{3}-\frac{2\pi}{3}=-\pi. The principal argument lies in (−π,π](-\pi,\pi], so write π\pi instead of −π-\pi. A negative real number has principal argument π\pi.

Example 4 · Proving the identities

Slide 7

Let z1=r1cis⁡θ1z_1=r_1\cis\theta_1 and z2=r2cis⁡θ2z_2=r_2\cis\theta_2, with z2≠0z_2\ne0.

(a) Prove that ∣z1z2∣=∣z1∣∣z2∣\left|\dfrac{z_1}{z_2}\right|=\dfrac{|z_1|}{|z_2|} and arg⁡(z1z2)=arg⁡z1−arg⁡z2\arg\left(\dfrac{z_1}{z_2}\right)=\arg z_1-\arg z_2.
Show answerHide answer
Answer
Let w=z1z2w=\dfrac{z_1}{z_2}, so z1=wz2z_1=wz_2. By the product rule, ∣z1∣=∣w∣∣z2∣|z_1|=|w||z_2| and arg⁡z1=arg⁡w+arg⁡z2\arg z_1=\arg w+\arg z_2. Rearranging gives ∣w∣=∣z1∣∣z2∣|w|=\dfrac{|z_1|}{|z_2|} and arg⁡w=arg⁡z1−arg⁡z2\arg w=\arg z_1-\arg z_2.
Why
Use the product rule you have already proved, applied to z1=wz2z_1=wz_2. (Alternatively, multiply top and bottom by cos⁡θ2−isin⁡θ2\cos\theta_2-i\sin\theta_2 and simplify.)
(b) Prove that arg⁡z‾=−arg⁡z\arg\conj{z}=-\arg z and z1z2‾=z1‾ z2‾\conj{z_1z_2}=\conj{z_1}\,\conj{z_2} using polar form.
Show answerHide answer
Answer
If z=rcis⁡θz=r\cis\theta then z‾=r(cos⁡θ−isin⁡θ)=r(cos⁡(−θ)+isin⁡(−θ))\conj{z}=r(\cos\theta-i\sin\theta)=r(\cos(-\theta)+i\sin(-\theta)), so arg⁡z‾=−θ\arg\conj{z}=-\theta. Then z1‾ z2‾=r1cis⁡(−θ1)⋅r2cis⁡(−θ2)=r1r2cis⁡(−(θ1+θ2))=z1z2‾\conj{z_1}\,\conj{z_2}=r_1\cis(-\theta_1)\cdot r_2\cis(-\theta_2)=r_1r_2\cis(-(\theta_1+\theta_2))=\conj{z_1z_2}.
Why
Cosine is even and sine is odd. The conjugate of a product has modulus r1r2r_1r_2 and argument −(θ1+θ2)-(\theta_1+\theta_2), which is exactly the product of the conjugates.

Example 5 · Two forms, exact values

Slide 8

Let z1=1+3 iz_1=1+\sqrt3\,i and z2=1+iz_2=1+i.

(a) Write z1z_1 and z2z_2 in polar form.
Show answerHide answer
Answer
z1=2cis⁡π3z_1=2\cis\dfrac{\pi}{3} and z2=2cis⁡π4z_2=\sqrt2\cis\dfrac{\pi}{4}.
Why
∣z1∣=1+3=2|z_1|=\sqrt{1+3}=2 with tan⁡θ=3\tan\theta=\sqrt3. ∣z2∣=2|z_2|=\sqrt2 with tan⁡θ=1\tan\theta=1. Both are in the first quadrant.
(b) Find z1z2z_1z_2 and z1z2\dfrac{z_1}{z_2} in polar form and in Cartesian form.
Show answerHide answer
Answer
z1z2=22cis⁡7π12=(1−3)+(1+3)iz_1z_2=2\sqrt2\cis\dfrac{7\pi}{12}=(1-\sqrt3)+(1+\sqrt3)i. z1z2=2cis⁡π12=(1+3)+(3−1)i2\dfrac{z_1}{z_2}=\sqrt2\cis\dfrac{\pi}{12}=\dfrac{(1+\sqrt3)+(\sqrt3-1)i}{2}.
Why
Polar: multiply moduli and add arguments (π3+π4=7π12\frac{\pi}{3}+\frac{\pi}{4}=\frac{7\pi}{12}), or divide moduli and subtract (π3−π4=π12\frac{\pi}{3}-\frac{\pi}{4}=\frac{\pi}{12}). Cartesian: expand (1+3i)(1+i)(1+\sqrt3 i)(1+i), and for the quotient multiply top and bottom by 1−i1-i.
(c) Hence find the exact values of sin⁡7π12\sin\dfrac{7\pi}{12} and cos⁡π12\cos\dfrac{\pi}{12}.
Show answerHide answer
Answer
sin⁡7π12=cos⁡π12=2+64\sin\dfrac{7\pi}{12}=\cos\dfrac{\pi}{12}=\dfrac{\sqrt2+\sqrt6}{4}.
Why
Equate imaginary parts of the two forms of z1z2z_1z_2: 22sin⁡7π12=1+32\sqrt2\sin\frac{7\pi}{12}=1+\sqrt3, so sin⁡7π12=1+322=2+64\sin\frac{7\pi}{12}=\frac{1+\sqrt3}{2\sqrt2}=\frac{\sqrt2+\sqrt6}{4}. Equate real parts of z1z2\frac{z_1}{z_2}: 2cos⁡π12=1+32\sqrt2\cos\frac{\pi}{12}=\frac{1+\sqrt3}{2}, so cos⁡π12=2+64\cos\frac{\pi}{12}=\frac{\sqrt2+\sqrt6}{4}.
Show diagramHide diagram
ReIm-1123-11230z1z2z1z2
The product z1z2 sits at angle 7π/12 (105°), the sum of the arguments 60° and 45°.

HSC practice · Powers in polar form

Slide 9
Adapted from 2024 HSC Q11(e)Let z=3+iz=\sqrt3+i. (i) Write zz in polar form. (ii) Hence express z7z^7 in the form x+iyx+iy.
Show answerHide answer
Answer
(i) z=2cis⁡π6z=2\cis\dfrac{\pi}{6}. (ii) z7=128cis⁡7π6=−643−64iz^7=128\cis\dfrac{7\pi}{6}=-64\sqrt3-64i.
Why
arg⁡(zn)=narg⁡z\arg(z^n)=n\arg z and ∣zn∣=∣z∣n|z^n|=|z|^n, so z7=27cis⁡7π6=128(−32−12i)z^7=2^7\cis\frac{7\pi}{6}=128\left(-\frac{\sqrt3}{2}-\frac{1}{2}i\right).
Adapted from 2022 HSC Q11(c)(ii)Let z=−3+iz=-\sqrt3+i. Use polar form to find z10z^{10} in the form x+iyx+iy.
Show answerHide answer
Answer
z=2cis⁡5π6z=2\cis\dfrac{5\pi}{6} and z10=1024cis⁡25π3=1024cis⁡π3=512+5123 iz^{10}=1024\cis\dfrac{25\pi}{3}=1024\cis\dfrac{\pi}{3}=512+512\sqrt3\,i.
Why
10×5π6=25π3=8π+π310\times\frac{5\pi}{6}=\frac{25\pi}{3}=8\pi+\frac{\pi}{3}. Remove whole turns of 2π2\pi, then use cos⁡π3=12\cos\frac{\pi}{3}=\frac12 and sin⁡π3=32\sin\frac{\pi}{3}=\frac{\sqrt3}{2}. The rule arg⁡(zn)=narg⁡z\arg(z^n)=n\arg z is enough here; de Moivre's theorem is proved by induction later in this unit.

HSC practice · Modulus and argument of a new number

Slide 10
Adapted from 2020 HSC Q4Let zz be a non-zero complex number and w=z2∣z∣w=\dfrac{z^2}{|z|}. Find ∣w∣|w| and arg⁡w\arg w in terms of ∣z∣|z| and arg⁡z\arg z. Describe where ww lies compared with zz.
Show answerHide answer
Answer
∣w∣=∣z∣|w|=|z| and arg⁡w=2arg⁡z\arg w=2\arg z. So ww is on the same circle ∣w∣=∣z∣|w|=|z| about OO as zz, at double the angle.
Why
∣w∣=∣z∣2∣z∣=∣z∣|w|=\dfrac{|z|^2}{|z|}=|z|. Dividing by the positive real number ∣z∣|z| does not change the argument (a positive real has argument 00), so arg⁡w=arg⁡(z2)−0=2arg⁡z\arg w=\arg(z^2)-0=2\arg z.

Exit ticket

Slide 11
1. Use polar form to express (1+i)5(1−i)3\dfrac{(1+i)^5}{(1-i)^3} in the form x+iyx+iy.
Show answerHide answer
Answer
22
Why
1+i=2cis⁡π41+i=\sqrt2\cis\frac{\pi}{4} and 1−i=2cis⁡(−π4)1-i=\sqrt2\cis\left(-\frac{\pi}{4}\right). The quotient is (2)5cis⁡5π4(2)3cis⁡(−3π4)=2cis⁡(5π4+3π4)=2cis⁡2π=2\dfrac{(\sqrt2)^5\cis\frac{5\pi}{4}}{(\sqrt2)^3\cis\left(-\frac{3\pi}{4}\right)}=2\cis\left(\frac{5\pi}{4}+\frac{3\pi}{4}\right)=2\cis2\pi=2.
2. Prove that ∣zn∣=∣z∣n|z^n|=|z|^n and arg⁡(zn)=narg⁡z\arg(z^n)=n\arg z for n=2n=2 and n=3n=3.
Show answerHide answer
Answer
With z=rcis⁡θz=r\cis\theta: z2=z⋅z=r2cis⁡2θz^2=z\cdot z=r^2\cis2\theta, and z3=z2⋅z=r3cis⁡3θz^3=z^2\cdot z=r^3\cis3\theta.
Why
Apply the product rule once for n=2n=2 and again for n=3n=3. The general case is proved by induction in Complex Numbers II (de Moivre's theorem).