Complex Arithmetic in the Plane

Part 16, Chapter 16: Complex Numbers

Learning objectives

  • Represent complex numbers in the form a+bia + bi
  • Add, subtract, and multiply complex numbers
  • Compute the modulus and conjugate of a complex number
  • Plot complex numbers in the complex plane

Complex numbers exist because polynomial equations refused to be solved. The equation x2+1=0x^2 + 1 = 0 has no real solution, squaring any real number gives something non-negative. Sixteenth-century algebraists chasing cubic formulas had to introduce a symbol ii with i2=1i^2 = -1 just to make their arithmetic close up. The strange thing is that once you accept that single symbol, every polynomial equation acquires a full set of solutions, and the geometry of the plane suddenly becomes algebraic.

Definition

A complex number is an expression z=a+biz = a + bi where aa and bb are real numbers and ii is the imaginary unit, defined by i2=1i^2 = -1. The number aa is the real part, written textRe(z)\text{Re}(z). The number bb is the imaginary part, written textIm(z)\text{Im}(z). The set of all complex numbers is denoted mathbbC\mathbb{C}.

Every real number aa is the complex number a+0ia + 0i, so mathbbRsubsetmathbbC\mathbb{R} \subset \mathbb{C}. Pure imaginary numbers like 7i7i are the complex numbers with real part zero.

Arithmetic

Addition is componentwise:

(a+bi)+(c+di)=(a+c)+(b+d)i.(a + bi) + (c + di) = (a + c) + (b + d) i.

Multiplication is FOIL plus the rule i2=1i^2 = -1:

(a+bi)(c+di)=ac+adi+bci+bdi2=(acbd)+(ad+bc)i.(a + bi)(c + di) = ac + adi + bci + bd i^2 = (ac - bd) + (ad + bc) i.

The minus sign in acbdac - bd is where i2=1i^2 = -1 entered.

Conjugate and modulus

The conjugate of z=a+biz = a + bi is barz=abi\bar{z} = a - bi, flip the sign of the imaginary part. The modulus (or absolute value) is

z=sqrta2+b2.|z| = \sqrt{a^2 + b^2}.

Conjugate and modulus are linked by the identity zbarz=a2+b2=z2z \bar{z} = a^2 + b^2 = |z|^2. This is the trick that makes division work: to compute dfraczw\dfrac{z}{w}, multiply top and bottom by barw\bar{w}; the denominator wbarw=w2w \bar{w} = |w|^2 becomes real, and the rest is easy.

The complex plane (Argand diagram)

Plot z=a+biz = a + bi as the point (a,b)(a, b) in the plane: the horizontal axis carries real parts, the vertical axis carries imaginary parts. This picture, the complex plane or Argand diagram, turns complex arithmetic into geometry. The modulus z|z| is the distance from zz to the origin. The conjugate is the reflection of zz across the real axis.

Where this shows up
  • Electrical Engineering: AC circuit analysis uses complex numbers to represent voltage and current phasors, impedance is a complex number Z=R+jXZ = R + jX.
  • Quantum Mechanics: Wavefunctions are complex-valued; the probability density is psi2|\psi|^2, which is why complex numbers are not optional in QM.
  • Computer Graphics: Rotations in 2D are multiplications by complex numbers eithetae^{i\theta}, and that fact generalises to quaternions for 3D.

(Drag the point z1z_1 around the plane. Watch the Cartesian form a+bia + bi and the polar form (r,theta)(r, \theta) update together. Switch to Addition mode to see the parallelogram law for z1+z2z_1 + z_2, or to Conjugate mode to see the reflection.)

The Fundamental Theorem of Algebra

Once we have ii in the toolkit, every polynomial equation with complex coefficients has a complex solution, and in fact, a polynomial of degree nn has exactly nn roots counted with multiplicity. The equation x2+1=0x^2 + 1 = 0 has the two roots x=pmix = \pm i; x4=1x^4 = 1 has the four roots 1,i,1,i1, i, -1, -i. This algebraic closure of mathbbC\mathbb{C} is what makes it the natural setting for polynomial algebra.

Try it

  • In the widget (Single mode), set z=z = $+
' in math mode at position 2: i̲. Predict first…" style="color:#cc0000">i.Predictfirst:whatis. Predict first: what is|z|forforz = 3 + 4i?Set? Setzinthewidgetandconfirmthereadoutshowsin the widget and confirm the readout shows|z| = 5$. - Move zz to any point with z=5|z| = 5. Try z=z = $+

i,thenalsotry, then also try(-4, 3)andand(5, 0).Allsuchpointslieonthecircleofradius. All such points lie on the circle of radius5$ around the origin.

  • Place z_1=z_1 = $+$i.ThenexploretheparallelogrambyswitchingtoAdditionmodeanddragging. Then explore the parallelogram by switching to Addition mode and draggingz_2$.
  • Compute (3+2i)(14i)(3 + 2i)(1 - 4i) by hand. Use the formula (a+bi)(c+di)=(acbd)+(ad+bc)i(a + bi)(c + di) = (ac - bd) + (ad + bc) i and double-check by FOIL.

Pause: why is i4=1i^4 = 1? Use the rule i2=1i^2 = -1 and the laws of exponents.

A trap to watch for

Students compute z2|z|^2 as zcdotzz \cdot z. It is not. The correct identity is z2=zcdotbarz|z|^2 = z \cdot \bar{z}, with the conjugate, not zz itself. Quick check: take z=1+iz = 1 + i. Then zcdotz=(1+i)2=1+2i+i2=2iz \cdot z = (1 + i)^2 = 1 + 2i + i^2 = 2i, which is not real. But zcdotbarz=(1+i)(1i)=1i2=2z \cdot \bar{z} = (1 + i)(1 - i) = 1 - i^2 = 2, which equals z2=12+12=2|z|^2 = 1^2 + 1^2 = 2. The conjugate is what makes the imaginary cross-terms cancel. Whenever you see z2|z|^2 in a manipulation, you can replace it with zbarzz \bar{z}, that conversion is often the key step.

What you now know

You can write a complex number in a+bia + bi form, add and multiply complex numbers, find the conjugate and modulus, divide using the conjugate trick, plot points in the complex plane, and explain why mathbbC\mathbb{C} is the natural setting for solving polynomial equations. The next section introduces the polar form, the representation z=reithetaz = r e^{i\theta} that makes multiplication into a geometric rotation-and-scaling, and powers into De Moivre's formula.

Quick check

Mark section complete →

References

  • Lang, S. (1971). Basic Mathematics. Springer. Chapter 15 §1, complex plane arithmetic and the imaginary unit.
  • Ahlfors, L. V. (1979). Complex Analysis, 3rd ed. McGraw-Hill. Chapter 1: the canonical introduction to complex numbers and the Argand plane.
  • Needham, T. (1997). Visual Complex Analysis. Oxford. Chapter 1: a strongly geometric account of complex arithmetic that pairs well with the widget.

This page is prerendered for SEO and accessibility. The interactive widgets above hydrate on JavaScript load.