Math Core

Lesson 7.3 · Polar and Parametric Equations

Complex numbers in polar form

Adding complex numbers is easy in the form a+bia + bi, but multiplying them, raising them to powers, and taking roots are much easier in polar form. Once you see a complex number as a length and a direction, multiplication turns into "multiply the lengths, add the angles," and a problem like (1+i)10(1 + i)^{10} takes one line.

The complex plane

Plot the complex number z=a+biz = a + bi as the point (a,b)(a, b): the horizontal axis is the real axis and the vertical axis is the imaginary axis. For example, 3+4i3 + 4i sits at (3,4)(3, 4) and −2i-2i sits at (0,−2)(0, -2).

Complex numbers as points. The dashed segment has length |3 + 4i| = 5.Open in grapher →

Definition

Modulus and argument

For z=a+biz = a + bi:

  • The modulus ∣z∣=r=a2+b2|z| = r = \sqrt{a^2 + b^2} is the distance from zz to the origin.
  • An argument of zz is an angle θ\theta from the positive real axis to zz, so that tan⁡θ=ba\tan\theta = \dfrac{b}{a} with θ\theta in the correct quadrant.

This is exactly the rectangular-to-polar conversion from earlier in the unit. As before, the argument is not unique: adding any multiple of 2π2\pi gives another argument. In this lesson we use 0≤θ<2π0 \le \theta < 2\pi unless told otherwise.

Polar (trigonometric) form

Since a=rcos⁡θa = r\cos\theta and b=rsin⁡θb = r\sin\theta,

z=a+bi=rcos⁡θ+(rsin⁡θ)i=r(cos⁡θ+isin⁡θ).z = a + bi = r\cos\theta + (r\sin\theta)i = r(\cos\theta + i\sin\theta).

This is the polar form or trigonometric form of zz. Many books abbreviate cos⁡θ+isin⁡θ\cos\theta + i\sin\theta as cis⁡θ\operatorname{cis}\theta, so z=rcis⁡θz = r\operatorname{cis}\theta.

Worked example: Writing a complex number in polar form

Write z=−1+3 iz = -1 + \sqrt{3}\,i in polar form.

Solution. r=(−1)2+(3)2=4=2r = \sqrt{(-1)^2 + (\sqrt{3})^2} = \sqrt{4} = 2. The point (−1,3)(-1, \sqrt{3}) is in Quadrant II with reference angle tan⁡−13=π3\tan^{-1}\sqrt{3} = \tfrac{\pi}{3}, so θ=π−π3=2π3\theta = \pi - \tfrac{\pi}{3} = \tfrac{2\pi}{3}.

z=2(cos⁡2π3+isin⁡2π3).z = 2\left(\cos\tfrac{2\pi}{3} + i\sin\tfrac{2\pi}{3}\right).

Going back to rectangular form is just evaluation: 4(cos⁡7π4+isin⁡7π4)=4(22−22i)=22−22 i4\left(\cos\tfrac{7\pi}{4} + i\sin\tfrac{7\pi}{4}\right) = 4\left(\tfrac{\sqrt{2}}{2} - \tfrac{\sqrt{2}}{2}i\right) = 2\sqrt{2} - 2\sqrt{2}\,i.

Multiplying and dividing

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

z1z2=r1r2[(cos⁡θ1cos⁡θ2−sin⁡θ1sin⁡θ2)+i(sin⁡θ1cos⁡θ2+cos⁡θ1sin⁡θ2)].z_1 z_2 = r_1 r_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].

The brackets are the sum formulas for cosine and sine. So the product collapses beautifully.

Products and quotients in polar form

z1z2=r1r2[cos⁡(θ1+θ2)+isin⁡(θ1+θ2)]z_1 z_2 = r_1 r_2\big[\cos(\theta_1 + \theta_2) + i\sin(\theta_1 + \theta_2)\big]z1z2=r1r2[cos⁡(θ1−θ2)+isin⁡(θ1−θ2)],z2≠0\dfrac{z_1}{z_2} = \dfrac{r_1}{r_2}\big[\cos(\theta_1 - \theta_2) + i\sin(\theta_1 - \theta_2)\big], \quad z_2 \ne 0

Multiply the moduli and add the arguments. Divide the moduli and subtract the arguments.

Geometrically, multiplying by z2z_2 stretches by the factor r2r_2 and rotates by the angle θ2\theta_2. That is why multiplying by i=1(cos⁡π2+isin⁡π2)i = 1(\cos\tfrac{\pi}{2} + i\sin\tfrac{\pi}{2}) rotates any point 90∘90^\circ counterclockwise.

Worked example: A product and a quotient

Let z1=6(cos⁡5π12+isin⁡5π12)z_1 = 6\left(\cos\tfrac{5\pi}{12} + i\sin\tfrac{5\pi}{12}\right) and z2=2(cos⁡π12+isin⁡π12)z_2 = 2\left(\cos\tfrac{\pi}{12} + i\sin\tfrac{\pi}{12}\right). Find z1z2z_1 z_2 and z1z2\dfrac{z_1}{z_2} in rectangular form.

Solution.

z1z2=12(cos⁡6π12+isin⁡6π12)=12(cos⁡π2+isin⁡π2)=12iz_1 z_2 = 12\left(\cos\tfrac{6\pi}{12} + i\sin\tfrac{6\pi}{12}\right) = 12\left(\cos\tfrac{\pi}{2} + i\sin\tfrac{\pi}{2}\right) = 12i.

z1z2=3(cos⁡4π12+isin⁡4π12)=3(12+32i)=32+332i\dfrac{z_1}{z_2} = 3\left(\cos\tfrac{4\pi}{12} + i\sin\tfrac{4\pi}{12}\right) = 3\left(\tfrac{1}{2} + \tfrac{\sqrt{3}}{2}i\right) = \tfrac{3}{2} + \tfrac{3\sqrt{3}}{2}i.

Powers: De Moivre's Theorem

Multiplying zz by itself nn times multiplies the modulus by itself nn times and adds the argument nn times.

De Moivre's Theorem

If z=r(cos⁡θ+isin⁡θ)z = r(\cos\theta + i\sin\theta) and nn is a positive integer, then

zn=rn(cos⁡nθ+isin⁡nθ).z^n = r^n\big(\cos n\theta + i\sin n\theta\big).

Worked example: A high power

Find (1+i)10(1 + i)^{10} in the form a+bia + bi.

Solution. 1+i1 + i has r=2r = \sqrt{2} and θ=π4\theta = \tfrac{\pi}{4}. By De Moivre,

(1+i)10=(2)10(cos⁡10π4+isin⁡10π4)=32(cos⁡5π2+isin⁡5π2).(1 + i)^{10} = (\sqrt{2})^{10}\left(\cos\tfrac{10\pi}{4} + i\sin\tfrac{10\pi}{4}\right) = 32\left(\cos\tfrac{5\pi}{2} + i\sin\tfrac{5\pi}{2}\right).

Since 5π2\tfrac{5\pi}{2} is coterminal with π2\tfrac{\pi}{2}, the result is 32(0+i)=32i32(0 + i) = 32i.

Common mistake

Raise the modulus to the power, but multiply the argument by it. A frequent slip is writing (2)10(\sqrt{2})^{10} as 10210\sqrt{2} or writing the angle as (π4)10\left(\tfrac{\pi}{4}\right)^{10}. It's rnr^n and nθn\theta.

Roots of complex numbers

Running De Moivre backward finds roots. If wn=zw^n = z, then the modulus of ww must be rn\sqrt[n]{r} and nn times the argument of ww must be coterminal with θ\theta. Because θ\theta, θ+2π\theta + 2\pi, θ+4π,…\theta + 4\pi, \ldots are all arguments of zz, you get nn different roots.

The n-th roots

The nonzero complex number z=r(cos⁡θ+isin⁡θ)z = r(\cos\theta + i\sin\theta) has exactly nn distinct nn-th roots:

wk=rn[cos⁡(θ+2πkn)+isin⁡(θ+2πkn)],k=0,1,…,n−1.w_k = \sqrt[n]{r}\left[\cos\left(\dfrac{\theta + 2\pi k}{n}\right) + i\sin\left(\dfrac{\theta + 2\pi k}{n}\right)\right], \quad k = 0, 1, \ldots, n - 1.

They all lie on the circle of radius rn\sqrt[n]{r}, equally spaced 2πn\tfrac{2\pi}{n} apart.

Worked example: Cube roots of 8

Find all cube roots of 88.

Solution. 8=8(cos⁡0+isin⁡0)8 = 8(\cos 0 + i\sin 0), so each root has modulus 83=2\sqrt[3]{8} = 2 and argument 0+2πk3\dfrac{0 + 2\pi k}{3} for k=0,1,2k = 0, 1, 2: that is, 00, 2π3\tfrac{2\pi}{3} and 4π3\tfrac{4\pi}{3}.

  • w0=2(cos⁡0+isin⁡0)=2w_0 = 2(\cos 0 + i\sin 0) = 2
  • w1=2(cos⁡2π3+isin⁡2π3)=−1+3 iw_1 = 2\left(\cos\tfrac{2\pi}{3} + i\sin\tfrac{2\pi}{3}\right) = -1 + \sqrt{3}\,i
  • w2=2(cos⁡4π3+isin⁡4π3)=−1−3 iw_2 = 2\left(\cos\tfrac{4\pi}{3} + i\sin\tfrac{4\pi}{3}\right) = -1 - \sqrt{3}\,i
The three cube roots of 8 form an equilateral triangle on the circle of radius 2.Open in grapher →

Tip

Check a root by cubing it with De Moivre: (−1+3 i)3=23(cos⁡2π+isin⁡2π)=8\left(-1 + \sqrt{3}\,i\right)^3 = 2^3\left(\cos 2\pi + i\sin 2\pi\right) = 8.

Practice

Practice 1

Find the modulus of z=3−4iz = 3 - 4i.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 2

Find the argument θ\theta of z=−4+4iz = -4 + 4i, with 0≤θ<2π0 \le \theta < 2\pi.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 3

Write z=2(cos⁡5π6+isin⁡5π6)z = 2\left(\cos\tfrac{5\pi}{6} + i\sin\tfrac{5\pi}{6}\right) in the form a+bia + bi. Enter the real and imaginary parts as (a,b)(a, b).

Enter a point like (2, -3)

Practice 4

Let z1=3(cos⁡π5+isin⁡π5)z_1 = 3\left(\cos\tfrac{\pi}{5} + i\sin\tfrac{\pi}{5}\right) and z2=2(cos⁡3π10+isin⁡3π10)z_2 = 2\left(\cos\tfrac{3\pi}{10} + i\sin\tfrac{3\pi}{10}\right). Write z1z2z_1 z_2 as a+bia + bi and enter (a,b)(a, b).

Enter a point like (2, -3)

Practice 5

Let z1=10(cos⁡4π3+isin⁡4π3)z_1 = 10\left(\cos\tfrac{4\pi}{3} + i\sin\tfrac{4\pi}{3}\right) and z2=5(cos⁡π3+isin⁡π3)z_2 = 5\left(\cos\tfrac{\pi}{3} + i\sin\tfrac{\pi}{3}\right). Write z1z2\dfrac{z_1}{z_2} as a+bia + bi and enter (a,b)(a, b).

Enter a point like (2, -3)

Practice 6

Use De Moivre's Theorem to evaluate (1+i)8(1 + i)^8.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 7

Write (1−3 i)5\left(1 - \sqrt{3}\,i\right)^5 in the form a+bia + bi and enter (a,b)(a, b).

Enter a point like (2, -3)

Practice 8

The three cube roots of 8i8i all have modulus 22. Find their arguments in [0,2π)[0, 2\pi).

Separate answers with commas, e.g. 2, -5