Complex Numbers

Learning Objectives

  • Identify the real and imaginary parts of a complex number and simplify powers of ii.
  • Add, subtract, multiply, and divide complex numbers in rectangular form.
  • Plot a complex number on an Argand plane and find its conjugate, modulus, and argument.
  • Convert reliably between rectangular and polar forms using the correct quadrant and angular units.
  • Apply De Moivre's theorem to integer powers, rotations, and all indexed nn-th roots.

Complex numbers extend the real number line to a two-dimensional plane. They occur in oscillations, alternating-current analysis, and polynomial equations with non-real roots. Unless otherwise stated, angles in the formulas below are in radians.

Imaginary Unit and the Four-Step Cycle

The imaginary unit satisfies i2=−1i^2=-1. In electrical engineering the same unit is often denoted by jj to avoid confusing it with current. The powers repeat every four exponents: i0=1i^0=1, i1=ii^1=i, i2=−1i^2=-1, i3=−ii^3=-i, and i4=1i^4=1. For any integer mm, reduce mm modulo 44, including when mm is negative.

Imaginary Unit

i2=−1,i4=1i^2=-1,\qquad i^4=1

Rectangular Form and Operations

Write z=a+biz=a+bi for real aa and bb. Then Re⁡(z)=a\operatorname{Re}(z)=a, Im⁡(z)=b\operatorname{Im}(z)=b (not bibi), and the conjugate is z‾=a−bi\overline z=a-bi.

  • Add/subtract: (a+bi)±(c+di)=(a±c)+(b±d)i(a+bi)\pm(c+di)=(a\pm c)+(b\pm d)i.
  • Multiply: (a+bi)(c+di)=(ac−bd)+(ad+bc)i(a+bi)(c+di)=(ac-bd)+(ad+bc)i.
  • Divide: Multiply numerator and denominator by the denominator's conjugate; (a+bi)(a−bi)=a2+b2=∣z∣2(a+bi)(a-bi)=a^2+b^2=|z|^2.

The quotient is defined only when the denominator is nonzero.

Use the vector laboratory to compare componentwise addition with complex multiplication. Multiplication can alter both length and direction; it is not generally ordinary vector multiplication.

Complex Vector Arithmetic Plane

Vector z1=a+biz_1 = a + bi
Vector z2=c+diz_2 = c + di
Algebraic Result Evaluation
z1+z2=(2+1)+(3+−2)i=3+1iz_1 + z_2 = (2 + 1) + (3 + -2)i = 3 + 1i

Argand Plane, Magnitude, and Argument

The horizontal coordinate is the real part aa; the vertical coordinate is the imaginary part bb. For nonzero zz, the modulus r=∣z∣=a2+b2r=|z|=\sqrt{a^2+b^2} is its distance from the origin. The argument θ\theta is the directed angle from the positive real axis. Arguments differing by 2πk2\pi k represent the same nonzero point, where kk is an integer. The point z=0z=0 has modulus zero and no defined argument.

Rectangular-to-polar Argand constructionFor z equals minus one plus square root of three i, the real coordinate is minus one, imaginary coordinate square root of three, modulus two, and counterclockwise argument two pi over three radians.Re(z)Im(z)r = 2θ = 120°a = -1b = sqrt(3)z = -1 + sqrt(3)i0

Read the Construction

This is an analytical illustration: z=−1+3 iz=-1+\sqrt3\,i lies in quadrant II, so r=2r=2 and θ=120∘=2π/3\theta=120^\circ=2\pi/3 radians. The dotted legs locate aa and bb; the slanted arrow represents zz.

Change the coordinates in the interactive complex plane. Track what happens as the point crosses an axis; a single-argument inverse tangent must not be used without correcting the quadrant.

Modulus and Polar Conversion

Use atan2 or an equivalent quadrant-aware method for nonzero z.

r=a2+b2,θ=atan2⁡(b,a),a=rcos⁡θ,b=rsin⁡θr=\sqrt{a^2+b^2},\quad \theta=\operatorname{atan2}(b,a),\quad a=r\cos\theta,\quad b=r\sin\theta

Variables

SymbolDescriptionUnit
rrNonnegative modulus; strictly positive for a defined argument-
aaReal Cartesian coordinate-
bbImaginary Cartesian coordinate-
θ\thetaChosen argument in radians, including correct quadrant-

Polar and Exponential Forms

For z≠0z\ne0, z=r(cos⁡θ+isin⁡θ)=reiθz=r(\cos\theta+i\sin\theta)=re^{i\theta} where r>0r>0 and any coterminal θ\theta gives the same point. A principal argument is commonly chosen in (−π,π](-\pi,\pi], but always state the chosen branch. If a calculator is in degree mode, convert its angle to radians before using eiθe^{i\theta} or a radian formula.

Multiplication Is Scaling Plus Rotation

If z1=r1eiθ1z_1=r_1e^{i\theta_1} and z2=r2eiθ2z_2=r_2e^{i\theta_2}, then z1z2=r1r2ei(θ1+θ2)z_1z_2=r_1r_2e^{i(\theta_1+\theta_2)}. Dividing nonzero complex numbers divides magnitudes and subtracts angles. Multiplying by i=eiπ/2i=e^{i\pi/2} rotates a vector counterclockwise by 90∘90^\circ without changing length.

Geometric action of multiplying by iVector 1 plus i rotates counterclockwise one quarter turn about the origin to minus 1 plus i, illustrating multiplication by i with unchanged magnitude square root of two.ReIm1 + ii(1 + i) = -1 + i+90°0

Rotation Interpretation

The solid vectors have equal modulus 2\sqrt2. Their arguments are π/4\pi/4 and 3π/43\pi/4, a difference of π/2\pi/2. The curved dashed arc indicates the direction of increasing argument, not a third vector.

De Moivre's Theorem

For integer n and a complex number written in polar form.

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

Variables

SymbolDescriptionUnit
rrModulus of z; require r > 0 for negative powers-
θ\thetaArgument in radians-
nnInteger exponent; n may be negative when z is nonzero-
iiImaginary unit satisfying i squared equals minus one-

All Distinct n-th Roots

For a nonzero complex number z=reiθz=re^{i\theta} and positive integer nn, the solutions to wn=zw^n=z are equally spaced by 2π/n2\pi/n on a circle of radius r1/nr^{1/n}. The nn distinct roots use exactly k=0,1,…,n−1k=0,1,\ldots,n-1; using k=nk=n repeats the first root. For z=0z=0, the sole distinct root is w=0w=0 (of multiplicity nn).

Finding n-th Roots

Use one angular unit consistently; radians are shown here.

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

Variables

SymbolDescriptionUnit
wkw_kIndexed n-th root of nonzero z-
rrPositive modulus of z-
nnPositive integer root degree-
kkIndex from zero through n minus one-
θ\thetaAny argument of z, in radians; branch choice permutes the roots-
Four fourth roots of one on the unit circleUnit circle at the origin with roots 1, i, minus 1, and minus i equally spaced by pi over two radians, labeled k equals zero through three.ReImk=0: 1k=1: ik=2: -1k=3: -i0

Indexed Root Check

The figure is a theoretical unit-circle construction for w4=1w^4=1: the angular step is 2π/4=π/22\pi/4=\pi/2; raising each marked root to the fourth power returns 11. The vector lengths all equal 11.

Use the De Moivre explorer to vary the starting number and exponent. Compare the scaled radius rnr^n with the rotated angle nθn\theta, and check answers algebraically.

De Moivre's Theorem Explorer

Complex Number z

z=1.20(cos⁡45∘+isin⁡45∘)z = 1.20 \left(\cos 45^\circ + i \sin 45^\circ\right)
z=1.20ei0.785z = 1.20 e^{i 0.785}
Magnitude r (Radius)1.20
Angle θ (Degrees)45°
Power nn = 3

Theorem Application

Result: znz^{n}
z3=1.203(cos⁡(3⋅45∘)+isin⁡(3⋅45∘))z^{3} = 1.20^{3} \left(\cos (3 \cdot 45^\circ) + i \sin (3 \cdot 45^\circ)\right)
z3=1.728(cos⁡135∘+isin⁡135∘)z^{3} = 1.728 \left(\cos 135^\circ + i \sin 135^\circ\right)

Notice that the magnitude raises geometrically to 1.728, while the angle multiplies linearly to 135° (or 135° coterminal).

ReIm0.511.522.5zz2z3
z (Original)
znz^{n} (Result)
Intermediates
Key Takeaways
  • Powers of ii cycle every four exponents.
  • Rectangular operations combine real and imaginary components; division requires a nonzero denominator.
  • ∣z∣|z| is a distance, while the argument is an angle undefined at the origin; always resolve its quadrant.
  • Products multiply moduli and add arguments; multiplication by ii rotates counterclockwise by π/2\pi/2.
  • De Moivre raises the modulus to nn and multiplies the argument by nn.
  • A nonzero number has nn distinct nn-th roots indexed 00 through n−1n-1, equally spaced in argument.

References