Vectors & Complex NumbersTopic #24 of 32

Powers and Roots of Complex Numbers

De Moivre's theorem, complex number operations, and finding roots.

Complex Number Basics

A complex number has the form:

z=a+biz = a + bi

where:

  • aa = real part (Re(z)\text{Re}(z))
  • bb = imaginary part (Im(z)\text{Im}(z))
  • i=1i = \sqrt{-1}, so i2=1i^2 = -1

Forms of Complex Numbers

Rectangular Form

z=a+biz = a + bi

Polar (Trigonometric) Form

z=r(cosθ+isinθ)=rcisθz = r(\cos\theta + i\sin\theta) = r\,\text{cis}\,\theta

where:

  • r=z=a2+b2r = |z| = \sqrt{a^2 + b^2} (modulus)
  • θ=arg(z)=arctan(b/a)\theta = \arg(z) = \arctan(b/a) (argument)

Exponential Form

z=reiθz = re^{i\theta}

Converting Between Forms

Rectangular to Polar

r=a2+b2r = \sqrt{a^2 + b^2}

θ=arctan(ba)(adjust for quadrant)\theta = \arctan\left(\frac{b}{a}\right) \quad \text{(adjust for quadrant)}

Polar to Rectangular

a=rcosθa = r\cos\theta

b=rsinθb = r\sin\theta

Operations in Polar Form

Multiplication

z1z2=r1r2[cos(θ1+θ2)+isin(θ1+θ2)]z_1 \cdot z_2 = r_1 r_2[\cos(\theta_1 + \theta_2) + i\sin(\theta_1 + \theta_2)]

Multiply moduli, add arguments.

Division

z1z2=r1r2[cos(θ1θ2)+isin(θ1θ2)]\frac{z_1}{z_2} = \frac{r_1}{r_2}[\cos(\theta_1 - \theta_2) + i\sin(\theta_1 - \theta_2)]

Divide moduli, subtract arguments.

De Moivre's Theorem

For any integer nn:

[r(cosθ+isinθ)]n=rn(cosnθ+isinnθ)[r(\cos\theta + i\sin\theta)]^n = r^n(\cos n\theta + i\sin n\theta)

Or using cis notation:

(rcisθ)n=rncis(nθ)(r\,\text{cis}\,\theta)^n = r^n\,\text{cis}(n\theta)

Powers of Complex Numbers

To find znz^n:

  1. Convert to polar form
  2. Apply De Moivre's theorem
  3. Convert back to rectangular if needed

Example: (1+i)8(1 + i)^8

  1. r=2r = \sqrt{2}, θ=π4\theta = \frac{\pi}{4}
  2. z=2cis(π4)z = \sqrt{2}\,\text{cis}(\frac{\pi}{4})
  3. z8=(2)8cis(8π4)=16cis(2π)=16(1+0i)=16z^8 = (\sqrt{2})^8\,\text{cis}(8 \cdot \frac{\pi}{4}) = 16\,\text{cis}(2\pi) = 16(1 + 0i) = 16

Roots of Complex Numbers

The nn distinct nnth roots of z=rcisθz = r\,\text{cis}\,\theta are:

zn=rncis(θ+2πkn)\sqrt[n]{z} = \sqrt[n]{r} \cdot \text{cis}\left(\frac{\theta + 2\pi k}{n}\right)

for k=0,1,2,,n1k = 0, 1, 2, \ldots, n-1

Properties of Roots

  • There are exactly nn distinct nnth roots
  • All roots have the same modulus: rn\sqrt[n]{r}
  • Roots are equally spaced on a circle
  • Angular separation between consecutive roots: 2πn\frac{2\pi}{n}

Example: Cube Roots of 8

z=8=8cis0z = 8 = 8\,\text{cis}\,0

Roots: 83cis(0+2πk3)\sqrt[3]{8} \cdot \text{cis}\left(\frac{0 + 2\pi k}{3}\right) for k=0,1,2k = 0, 1, 2

  • k=0k = 0: 2cis0=22\,\text{cis}\,0 = 2
  • k=1k = 1: 2cis(2π3)=2(12+i32)=1+i32\,\text{cis}(\frac{2\pi}{3}) = 2(-\frac{1}{2} + i\frac{\sqrt{3}}{2}) = -1 + i\sqrt{3}
  • k=2k = 2: 2cis(4π3)=2(12i32)=1i32\,\text{cis}(\frac{4\pi}{3}) = 2(-\frac{1}{2} - i\frac{\sqrt{3}}{2}) = -1 - i\sqrt{3}

Roots of Unity

The nnth roots of 1 are:

ωk=cis(2πkn)=e2πik/n\omega_k = \text{cis}\left(\frac{2\pi k}{n}\right) = e^{2\pi ik/n}

for k=0,1,2,,n1k = 0, 1, 2, \ldots, n-1

Special Cases

Square roots of 1: 1,11, -1

Cube roots of 1: 1,1+i32,1i321, \frac{-1 + i\sqrt{3}}{2}, \frac{-1 - i\sqrt{3}}{2}

Fourth roots of 1: 1,i,1,i1, i, -1, -i

Powers of i

PowerValue
i0i^011
i1i^1ii
i2i^21-1
i3i^3i-i
i4i^411

Pattern repeats with period 4:

in=inmod4i^n = i^{n \bmod 4}