Complex Numbers

Complex numbers are numbers of the form

a + bi

where

a, b

are real and

i^{2} = - 1

. They extend the real numbers so that every polynomial equation has a solution. They are essential in algebra, geometry, signal processing, quantum mechanics, and electrical engineering. The concept matured through Cardano (1545), Euler (1748), Argand (1806), and Gauss (1831).

A complex number is an expression $z = a + bi$ , where $a$ and $b$ are real numbers and $i$ is a symbol satisfying $i^{2} = - 1$ . The number $a$ is the real part and $b$ is the imaginary part. Complex numbers matter because they make algebra "complete": within them, every non-constant polynomial factors fully, and operations like square roots of negative numbers become routine. The most surprising fact is that these seemingly artificial numbers describe physical reality with stunning accuracy — the wavefunction of quantum mechanics is inherently complex-valued, and alternating-current circuits are most naturally analyzed using complex arithmetic. Geometrically, a complex number is a point in a plane, and multiplication by a complex number is a rotation combined with a scaling.

The Core Insight

The single move that creates the entire theory is declaring a new number $i$ with $i^{2} = - 1$ . Once you accept this, nothing else needs to be invented: addition, subtraction, multiplication, and division all follow from ordinary algebra plus this one rule. The payoff is enormous — the plane becomes a number system where rotation is just multiplication, and the long-standing impossibility "you cannot take the square root of a negative number" simply dissolves.

Formal Statement

The Imaginary Unit and Complex Numbers

The imaginary unit $i$ is defined by the property

i^{2} = - 1.

⟳This is a definition, not a derived fact —

i

is introduced precisely as a root of the equation

x^{2} + 1 = 0

A complex number is any expression

z = a + bi, a, b \in R .

⟳

a

and

b

are arbitrary real numbers; the set of all such

z

is denoted

C

Here $a = Re (z)$ is the real part and $b = Im (z)$ is the imaginary part (note: $Im (z)$ is the real number $b$ , not $bi$ ).

Arithmetic Operations

For $z_{1} = a + bi$ and $z_{2} = c + d i$ :

Addition / Subtraction:

z_{1} \pm z_{2} = (a \pm c) + (b \pm d) i .

⟳Combine like terms — real with real,

i

-terms with

i

-terms.

Multiplication:

z_{1} z_{2} = (a c - b d) + (a d + b c) i .

⟳Expand

(a + bi) (c + d i)

by distribution, then replace

i^{2}

with

- 1

Complex conjugate:

\overset{z}{ˉ} = a - bi .

⟳Flip the sign of the imaginary part; this reflects

z

across the real axis.

Modulus (absolute value):

∣ z ∣ = a^{2} + b^{2} = z \overset{z}{ˉ} .

⟳Compute

z \overset{z}{ˉ} = (a + bi) (a - bi) = a^{2} + b^{2}

using equation [4]; the modulus is its square root.

Division:

\frac{z _{1}}{z _{2}} = \frac{z _{1} z _{2} ˉ}{∣ z _{2} ∣ ^{2}} = \frac{( a c + b d ) + ( b c - a d ) i}{c ^{2} + d ^{2}} .

⟳Multiply numerator and denominator by

\overset{z_{2}}{ˉ}

to make the denominator real.

Polar Form

Every complex number can be written using its modulus $r = ∣ z ∣$ and argument $θ$ (the angle from the positive real axis):

z = r (cos θ + i sin θ), r = a^{2} + b^{2}, tan θ = \frac{b}{a} .

⟳Read off

a = r cos θ

and

b = r sin θ

from the right triangle formed by

z

in the plane.

Using Euler's formula this compresses to:

z = r e^{i θ}, e^{i θ} = cos θ + i sin θ .

⟳Compare the Taylor series of

e^{i θ}

cos θ

, and

sin θ

; the series of

e^{i θ}

splits exactly into the cosine (real) and sine (imaginary) series.

Fundamental Theorem of Algebra

Every polynomial of degree $n \geq 1$ with complex coefficients has exactly $n$ roots in $C$ (counted with multiplicity). Equivalently, $C$ is algebraically closed.

p (z) = a_{n} z^{n} + \dots + a_{1} z + a_{0} = a_{n} (z - r_{1}) (z - r_{2}) \dots (z - r_{n}) .

⟳Existence of one root follows from analytic or topological arguments (e.g., Liouville's theorem); dividing out

(z - r_{1})

and inducting gives the full factorization.

Why It Holds / Derivation

De Moivre's Theorem from Polar Form

We show that $(r (cos θ + i sin θ))^{n} = r^{n} (cos n θ + i sin n θ)$ .

Multiplication in polar form. Take $z_{1} = r_{1} e^{i θ_{1}}$ , $z_{2} = r_{2} e^{i θ_{2}}$ . Then

z_{1} z_{2} = r_{1} r_{2} e^{i (θ_{1} + θ_{2})} .

⟳Multiply equation [4] out in trig form and apply the angle-addition identities for

cos

and

sin

Moduli multiply, arguments add. From step 1, $∣ z_{1} z_{2} ∣ = r_{1} r_{2}$ and $ar g (z_{1} z_{2}) = θ_{1} + θ_{2}$ .

Apply repeatedly. Setting $z_{1} = z_{2} = \dots = z = r e^{i θ}$ and multiplying $n$ copies:

z^{n} = r^{n} e^{in θ} = r^{n} (cos n θ + i sin n θ) .

⟳Iterate equation [11]

n

times; the modulus becomes

r^{n}

and the angle accumulates to

n θ

Conclusion. Equation [12] is exactly De Moivre's theorem, proven for all positive integers $n$ (and, by inversion, for negative integers). $■$

Leonhard Euler | 1707–1783

Euler did more than anyone to make complex numbers respectable and useful. He introduced the symbol $i$ for $- 1$ , systematically used complex exponentials, and discovered the relation $e^{i θ} = cos θ + i sin θ$ (1748) — from which the celebrated identity $e^{iπ} + 1 = 0$ follows by setting $θ = π$ . Euler treated complex numbers as legitimate computational objects decades before their geometric meaning was fully understood, computing infinite series and integrals with them and arriving at correct results that would only later be rigorously justified.

Building Intuition

Think of a complex number as a point in a plane (the Argand plane), with the real part along the horizontal axis and the imaginary part along the vertical axis. Addition then behaves like vector addition — you slide one arrow to the tip of the other.

The deepest intuition is about multiplication. When you multiply by $z = r e^{i θ}$ , you do two things at once: scale every length by $r$ , and rotate the whole plane by angle $θ$ . So multiplying by $i$ (which has $r = 1$ , $θ = 90°$ ) rotates the plane a quarter turn. That is why $i^{2} = - 1$ : rotating by $90°$ twice is a $180°$ rotation, which sends $1$ to $- 1$ . The "impossible" rule $i^{2} = - 1$ is just the geometry of turning around.

The Argand plane: a complex number as a point, with modulus and argument

Worked Examples

Multiplication and Division

Given:

z_{1} = 3 + 2 i

and

z_{2} = 1 - 4 i

. Find

z_{1} z_{2}

and

z_{1} / z_{2}

. Multiplication (using equation [4] with

a = 3, b = 2, c = 1, d = - 4

z_{1} z_{2} = (3 \cdot 1 - 2 \cdot (- 4)) + (3 \cdot (- 4) + 2 \cdot 1) i = (3 + 8) + (- 12 + 2) i .

z_{1} z_{2} = 11 - 10 i

Division (using equation [7]; first

∣ z_{2} ∣^{2} = 1^{2} + (- 4)^{2} = 17

\frac{z _{1}}{z _{2}} = \frac{( 3 + 2 i ) ( 1 + 4 i )}{17} = \frac{( 3 - 8 ) + ( 12 + 2 ) i}{17} = \frac{- 5 + 14 i}{17} .

\frac{z _{1}}{z _{2}} = - \frac{5}{17} + \frac{14}{17} i \approx - 0.294 + 0.824 i

Powers via De Moivre's Theorem

Given: Compute

(1 + i)^{8}

. Step 1 — convert to polar form. Modulus:

r = 1^{2} + 1^{2} = 2

. Argument:

θ = arctan (1/1) = 45° = π /4

. So

1 + i = 2 e^{iπ /4}

. Step 2 — apply De Moivre (equation [12]) with $n = 8$ :

(1 + i)^{8} = (2)^{8} e^{i \cdot 8 π /4} = 2^{4} e^{i 2 π} = 16 (cos 2 π + i sin 2 π) .

Step 3 — evaluate. Since

cos 2 π = 1

and

sin 2 π = 0

(1 + i)^{8} = 16

(A real answer, as a sanity check: $(1 + i)^{2} = 2 i$ , so $(1 + i)^{8} = (2 i)^{4} = 16 i^{4} = 16$ . ✓)

Common Misconceptions

" $- 4 = 2 i$ means $a b = ab$ always." This identity fails for negative numbers. For example,

- 1 \cdot - 1 = i \cdot i = - 1, but (- 1) (- 1) = 1 = 1.

The rule

a b = ab

is only valid when at least one of

a, b

is non-negative. Always reduce to

i

first, then multiply. "The imaginary part of $z = a + bi$ is $bi$ ." No — by definition

Im (z) = b

, a real number, not

bi

. This matters for formulas like

∣ z ∣^{2} = (Re z)^{2} + (Im z)^{2}

, which would be dimensionally wrong if

Im (z)

carried an

i

. Claim: "Complex numbers can be ordered like the reals." This is false. Suppose an ordering exists compatible with arithmetic, with

i > 0

i < 0

If $i > 0$ : then $i \cdot i = - 1 > 0$ , contradiction (since $- 1 < 0$ ).
If $i < 0$ : then $- i > 0$ , and $(- i) (- i) = i^{2} = - 1 > 0$ , again contradiction.

So $C$ cannot be an ordered field. There is no consistent way to say one genuinely complex number is "greater than" another.

Connections

Complex numbers tie together many areas. They generalize the Real Numbers by adjoining a root of $x^{2} + 1$ . Their polar form rests entirely on Trigonometry, and Euler's formula links them to the Exponential Function. Geometrically they are Vectors in the Plane with an extra multiplication that encodes rotation, connecting to Rotation Matrices (multiplication by $e^{i θ}$ corresponds to a $2 \times 2$ rotation matrix). They are the natural setting for Polynomial Equations via the Fundamental Theorem of Algebra, and they open the door to Complex Analysis, where differentiable complex functions exhibit astonishingly rigid behavior.

Real-World Applications

Electrical engineering (AC circuits): Impedances of resistors, capacitors, and inductors combine using complex "phasors," replacing differential equations with simple algebra. (Engineers write $j$ instead of $i$ to avoid clashing with current.)
Signal processing & the Fourier transform: Signals are decomposed into complex exponentials $e^{iω t}$ ; the FFT underlies audio compression (MP3), image formats (JPEG), and digital communication.
Quantum mechanics: The Schrödinger equation and the wavefunction $ψ$ are intrinsically complex; probabilities come from $∣ ψ ∣^{2}$ .
Control theory: System stability is judged by where the poles of a transfer function sit in the complex plane.
Fluid dynamics & aerodynamics: Two-dimensional potential flow around airfoils is modeled with complex potentials and conformal maps (the Joukowski transform).
Computer graphics & robotics: Rotations in the plane use unit complex numbers; their 3-D cousins, quaternions, animate smooth orientation.
Fractals: The Mandelbrot and Julia sets are defined by iterating $z \mapsto z^{2} + c$ in the complex plane.

Historical Development

~50 AD — Heron of Alexandria encounters $81 - 144$ in a pyramid volume and quietly drops the negative sign, sidestepping the issue.
1545 — Gerolamo Cardano publishes Ars Magna, manipulating "sophistic" square roots of negatives (e.g., $5 \pm - 15$ ) while distrusting them.
1572 — Rafael Bombelli gives the first systematic rules for arithmetic with these quantities, crucially showing they appear in real solutions of cubics (the casus irreducibilis).
1637 — René Descartes coins the dismissive term "imaginary."
1748 — Leonhard Euler establishes $e^{i θ} = cos θ + i sin θ$ and uses $i$ extensively.
1799 / 1806 — Caspar Wessel and Jean-Robert Argand independently give the geometric (plane) interpretation, making the numbers concrete.
1831 — Carl Friedrich Gauss introduces the term "complex number," firmly legitimizes them, and gives a rigorous proof of the Fundamental Theorem of Algebra.
1833 — William Rowan Hamilton defines complex numbers rigorously as ordered pairs $(a, b)$ of reals with specific addition and multiplication rules, removing the mystery of $i$ entirely.

Subtleties & Limits

Complex numbers are completely understood as an algebraic structure — yet they open onto some of the deepest unsolved questions in mathematics. The Riemann Hypothesis, perhaps the most famous open problem, concerns the location of the complex zeros of the Riemann zeta function $ζ (s)$ and asserts they all lie on the line $Re (s) = \frac{1}{2}$ ; its truth would pin down the distribution of prime numbers. More broadly, while $C$ is algebraically closed and "complete," extending the rich theory of complex analysis to several complex variables introduces phenomena with no one-variable analogue (e.g., Hartogs' extension), and the geometry of such functions remains an active research frontier.