Complex Arithmetic in the Plane
Learning objectives
- Represent complex numbers in the form
- 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 has no real solution, squaring any real number gives something non-negative. Sixteenth-century algebraists chasing cubic formulas had to introduce a symbol with 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 where and are real numbers and is the imaginary unit, defined by . The number is the real part, written . The number is the imaginary part, written . The set of all complex numbers is denoted .
Every real number is the complex number , so . Pure imaginary numbers like are the complex numbers with real part zero.
Arithmetic
Addition is componentwise:
Multiplication is FOIL plus the rule :
The minus sign in is where entered.
Conjugate and modulus
The conjugate of is , flip the sign of the imaginary part. The modulus (or absolute value) is
Conjugate and modulus are linked by the identity . This is the trick that makes division work: to compute , multiply top and bottom by ; the denominator becomes real, and the rest is easy.
The complex plane (Argand diagram)
Plot as the point 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 is the distance from to the origin. The conjugate is the reflection of across the real axis.
- Electrical Engineering: AC circuit analysis uses complex numbers to represent voltage and current phasors, impedance is a complex number .
- Quantum Mechanics: Wavefunctions are complex-valued; the probability density is , which is why complex numbers are not optional in QM.
- Computer Graphics: Rotations in 2D are multiplications by complex numbers , and that fact generalises to quaternions for 3D.
(Drag the point around the plane. Watch the Cartesian form and the polar form update together. Switch to Addition mode to see the parallelogram law for
The Fundamental Theorem of Algebra
Once we have in the toolkit, every polynomial equation with complex coefficients has a complex solution, and in fact, a polynomial of degree has exactly roots counted with multiplicity. The equation has the two roots ; has the four roots . This algebraic closure of is what makes it the natural setting for polynomial algebra.
Try it
- In the widget (Single mode), set $+
i(-4, 3)(5, 0)5$ around the origin.
- Place $+$iz_2$.
- Compute by hand. Use the formula and double-check by FOIL.
Pause: why is ? Use the rule and the laws of exponents.
A trap to watch for
Students compute as . It is not. The correct identity is , with the conjugate, not itself. Quick check: take . Then , which is not real. But , which equals . The conjugate is what makes the imaginary cross-terms cancel. Whenever you see in a manipulation, you can replace it with , that conversion is often the key step.
What you now know
You can write a complex number in 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 is the natural setting for solving polynomial equations. The next section introduces the polar form, the representation 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.