Expand using i2=−1, collect real and imaginary parts, then recognise the compound-angle formulas for cos(θ1+θ2) and sin(θ1+θ2). So ∣z1z2∣=∣z1∣∣z2∣ and arg(z1z2)=argz1+argz2, up to a multiple of 2π: multiply the moduli and add the arguments.
Multiply moduli, add arguments
Slide 4
Theorem
Modulus and argument rules
For non-zero complex numbers z1, z2, z and an integer n:
The argument rules hold for arg (any argument). For the principal argument Arg the answer may need ±2π to land in (−π,π] (Example 2 shows this). For n=−1 the quotient rule with z1=1 gives z1=∣z∣1 and argz1=−argz. The full proof for all integers n is de Moivre's theorem, later in this unit.
Think
In words: what does multiplying z by rcisθ do to the point z on the Argand diagram?
Show answerHide answer
Answer
It multiplies the distance from O by r (a dilation about O) and adds θ to the argument (a rotation about O through θ).
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)4cis43π×3cis2π
Show answerHide answer
Answer
12cis(−43π)
Why
Multiply moduli: 4×3=12. Add arguments: 43π+2π=45π. This is more than π, so subtract 2π to get −43π.
(b)(2cis32π)2
Show answerHide answer
Answer
4cis(−32π)
Why
22=4 and 32π+32π=34π, which is outside (−π,π], so subtract 2π to get −32π.
Show diagramHide diagram
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)6cis32π12cis0
Show answerHide answer
Answer
2cis(−32π)=2(cos32π−isin32π)=−1−3i
Why
Divide moduli: 12÷6=2. Subtract arguments: 0−32π=−32π, already in (−π,π].
(b)2cis32π6cis(−3π)
Show answerHide answer
Answer
3cisπ=−3
Why
6÷2=3 and −3π−32π=−π. The principal argument lies in (−π,π], so write π instead of −π. A negative real number has principal argument π.
Example 4 · Proving the identities
Slide 7
Let z1=r1cisθ1 and z2=r2cisθ2, with z2=0.
(a) Prove that z2z1=∣z2∣∣z1∣ and arg(z2z1)=argz1−argz2.
Show answerHide answer
Answer
Let w=z2z1, so z1=wz2. By the product rule, ∣z1∣=∣w∣∣z2∣ and argz1=argw+argz2. Rearranging gives ∣w∣=∣z2∣∣z1∣ and argw=argz1−argz2.
Why
Use the product rule you have already proved, applied to z1=wz2. (Alternatively, multiply top and bottom by cosθ2−isinθ2 and simplify.)
(b) Prove that argz=−argz and z1z2=z1z2 using polar form.
Show answerHide answer
Answer
If z=rcisθ then z=r(cosθ−isinθ)=r(cos(−θ)+isin(−θ)), so argz=−θ. Then z1z2=r1cis(−θ1)⋅r2cis(−θ2)=r1r2cis(−(θ1+θ2))=z1z2.
Why
Cosine is even and sine is odd. The conjugate of a product has modulus r1r2 and argument −(θ1+θ2), which is exactly the product of the conjugates.
Example 5 · Two forms, exact values
Slide 8
Let z1=1+3i and z2=1+i.
(a) Write z1 and z2 in polar form.
Show answerHide answer
Answer
z1=2cis3π and z2=2cis4π.
Why
∣z1∣=1+3=2 with tanθ=3. ∣z2∣=2 with tanθ=1. Both are in the first quadrant.
(b) Find z1z2 and z2z1 in polar form and in Cartesian form.
Polar: multiply moduli and add arguments (3π+4π=127π), or divide moduli and subtract (3π−4π=12π). Cartesian: expand (1+3i)(1+i), and for the quotient multiply top and bottom by 1−i.
(c) Hence find the exact values of sin127π and cos12π.
Show answerHide answer
Answer
sin127π=cos12π=42+6.
Why
Equate imaginary parts of the two forms of z1z2: 22sin127π=1+3, so sin127π=221+3=42+6. Equate real parts of z2z1: 2cos12π=21+3, so cos12π=42+6.
Show diagramHide diagram
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+i. (i) Write z in polar form. (ii) Hence express z7 in the form x+iy.
Show answerHide answer
Answer
(i) z=2cis6π. (ii) z7=128cis67π=−643−64i.
Why
arg(zn)=nargz and ∣zn∣=∣z∣n, so z7=27cis67π=128(−23−21i).
Adapted from 2022 HSC Q11(c)(ii)Let z=−3+i. Use polar form to find z10 in the form x+iy.
Show answerHide answer
Answer
z=2cis65π and z10=1024cis325π=1024cis3π=512+5123i.
Why
10×65π=325π=8π+3π. Remove whole turns of 2π, then use cos3π=21 and sin3π=23. The rule arg(zn)=nargz 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 z be a non-zero complex number and w=∣z∣z2. Find ∣w∣ and argw in terms of ∣z∣ and argz. Describe where w lies compared with z.
Show answerHide answer
Answer
∣w∣=∣z∣ and argw=2argz. So w is on the same circle ∣w∣=∣z∣ about O as z, at double the angle.
Why
∣w∣=∣z∣∣z∣2=∣z∣. Dividing by the positive real number ∣z∣ does not change the argument (a positive real has argument 0), so argw=arg(z2)−0=2argz.
Exit ticket
Slide 11
1. Use polar form to express (1−i)3(1+i)5 in the form x+iy.
Show answerHide answer
Answer
2
Why
1+i=2cis4π and 1−i=2cis(−4π). The quotient is (2)3cis(−43π)(2)5cis45π=2cis(45π+43π)=2cis2π=2.
2. Prove that ∣zn∣=∣z∣n and arg(zn)=nargz for n=2 and n=3.
Show answerHide answer
Answer
With z=rcisθ: z2=z⋅z=r2cis2θ, and z3=z2⋅z=r3cis3θ.
Why
Apply the product rule once for n=2 and again for n=3. The general case is proved by induction in Complex Numbers II (de Moivre's theorem).