Complex Numbers and the Complex Plane

A complex number is a number of the form $z = a + bi$ where $a, b$ are real and $i^{2} = - 1$ . They form an algebraically closed field $C$ , geometrically pictured as points (or arrows) in a 2D plane. Key result: every polynomial equation has all its roots in $C$ (Fundamental Theorem of Algebra). Applies in: algebra, trigonometry, electrical engineering, signal processing, quantum mechanics, fractals. Origin: Cardano (1545), formalized by Gauss, Argand, Hamilton (1800s).

A complex number extends the real numbers by introducing the imaginary unit $i$ , defined by $i^{2} = - 1$ , allowing equations like $x^{2} + 1 = 0$ to have solutions. Each complex number $a + bi$ corresponds to a point $(a, b)$ in the complex plane, where the horizontal axis measures the real part and the vertical axis the imaginary part. Complex numbers matter because they unify algebra, geometry, and trigonometry: multiplication becomes rotation-and-scaling, and the otherwise scattered behavior of polynomials becomes perfectly regular. The surprising fact: although invented to solve "impossible" equations, complex numbers turn out to be essential for describing the real, physical world — alternating current, light waves, and the quantum behavior of electrons are all most naturally written with $i$ . Far from being "imaginary," they are an indispensable computational and conceptual tool.

The Core Insight

By adding a single new number $i$ with the property $i^{2} = - 1$ , we obtain a number system in which every polynomial factors completely and in which the algebraic operation of multiplication is the geometric operation of rotation. Two seemingly different worlds — symbolic algebra and plane geometry — become the same thing.

Formal Statement

Complex Number

A complex number is an expression

z = a + bi, a, b \in R, i^{2} = - 1.

⟳

i

is defined as a formal symbol obeying

i^{2} = - 1

;

a

and

b

are ordinary real numbers.

Here:

$a = Re (z)$ is the real part,
$b = Im (z)$ is the imaginary part (a real number — it is the coefficient of $i$ ),
$i$ is the imaginary unit.

The set of all such numbers is denoted $C$ . Two complex numbers are equal exactly when both their real and imaginary parts are equal:

a + bi = c + d i ⟺ a = c and b = d .

⟳

1

and

i

are linearly independent over

R

, so coefficients must match separately.

Arithmetic Operations

Addition and multiplication are defined by treating $i$ as a symbol and using $i^{2} = - 1$ :

(a + bi) + (c + d i) = (a + c) + (b + d) i,

⟳collect real terms and imaginary terms separately, like adding vectors.

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

⟳expand the product (FOIL), then replace

i^{2}

- 1

b d i^{2} = - b d

Conjugate, Modulus, Argument

For $z = a + bi$ :

The complex conjugate is $\overset{z}{ˉ} = a - bi$ .
The modulus (absolute value) is

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

⟳

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

The argument $θ = ar g (z)$ is the angle from the positive real axis to the line joining the origin to $z$ , with

tan θ = \frac{b}{a}, a = ∣ z ∣ cos θ, b = ∣ z ∣ sin θ .

⟳read off from the right triangle with legs

a, b

and hypotenuse

∣ z ∣

Polar and Exponential Form

Every nonzero complex number can be written in polar form and exponential form:

z = r (cos θ + i sin θ) = r e^{i θ}, r = ∣ z ∣, θ = ar g (z) .

⟳substitute

a = r cos θ

b = r sin θ

into

z = a + bi

; Euler's formula

e^{i θ} = cos θ + i sin θ

gives the second equality.

Multiplication then multiplies moduli and adds arguments:

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

⟳apply Euler's formula and the angle-addition identities for sine and cosine, or use index laws on the exponential.

De Moivre's Theorem

For any integer $n$ ,

(cos θ + i sin θ)^{n} = cos (n θ) + i sin (n θ) .

⟳repeatedly apply [8] with all moduli equal to

1

; the arguments add

n

times.

Fundamental Theorem of Algebra

Every non-constant polynomial with complex coefficients,

p (z) = c_{n} z^{n} + c_{n - 1} z^{n - 1} + \dots + c_{1} z + c_{0}, c_{n} \neq = 0,

⟳this is the general degree-

n

polynomial; the theorem asserts

n

roots counted with multiplicity.

has exactly $n$ roots in $C$ (counting multiplicity). Thus $C$ is algebraically closed.

Why It Holds / Derivation

Why Multiplication Means Rotation

We show that multiplying by a complex number rotates and scales the plane.

Write both numbers in exponential form: $z_{1} = r_{1} e^{i θ_{1}}$ , $z_{2} = r_{2} e^{i θ_{2}}$ using [7].

Form the product symbolically:

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

⟳substitute the exponential forms and group the real magnitudes

r_{1}, r_{2}

together.

Euler's formula expands each exponential. Multiplying the two and applying the cosine/sine angle-addition formulas:

(cos θ_{1} + i sin θ_{1}) (cos θ_{2} + i sin θ_{2}) = cos (θ_{1} + θ_{2}) + i sin (θ_{1} + θ_{2}) .

⟳expand the left side, use

i^{2} = - 1

, then collect using

cos A cos B - sin A sin B = cos (A + B)

and

sin A cos B + cos A sin B = sin (A + B)

Therefore $z_{1} z_{2} = r_{1} r_{2} e^{i (θ_{1} + θ_{2})}$ , establishing [8]: the new modulus is the product $r_{1} r_{2}$ and the new argument is the sum $θ_{1} + θ_{2}$ .

In particular, multiplying any $z$ by $e^{i α}$ (modulus $1$ ) leaves $∣ z ∣$ unchanged but adds $α$ to its argument — a pure rotation by $α$ about the origin. $■$

De Moivre from the Multiplication Rule

Take $r_{1} = r_{2} = 1$ and $θ_{1} = θ_{2} = θ$ in [8]. Then $(cos θ + i sin θ)^{2} = cos 2 θ + i sin 2 θ$ .

Assume $(cos θ + i sin θ)^{k} = cos k θ + i sin k θ$ holds for some $k$ (induction hypothesis).

Multiply both sides by $(cos θ + i sin θ)$ and apply [8] once more:

(cos θ + i sin θ)^{k + 1} = cos ((k + 1) θ) + i sin ((k + 1) θ) .

⟳add the arguments

k θ

and

θ

using the modulus-multiply/argument-add rule.

By induction the result holds for all positive integers $n$ ; the cases $n = 0$ and $n < 0$ follow from $z^{0} = 1$ and $z^{- 1} = \overset{z}{ˉ} /∣ z ∣^{2}$ . $■$

Carl Friedrich Gauss | 1777–1855

Gauss gave the first widely accepted proof of the Fundamental Theorem of Algebra in his 1799 doctoral dissertation (and three further proofs over his life). He also popularized the geometric interpretation of $a + bi$ as a point in the plane and coined the term complex number, replacing the misleading word "imaginary." His insistence on geometric legitimacy helped transform complex numbers from a suspect computational trick into a respectable, foundational part of mathematics. Gauss's broader work on number theory, geometry, and physics repeatedly relied on the complex plane he helped legitimize.

Building Intuition

Think of a complex number as an arrow from the origin: its length is the modulus $r$ and its tilt is the argument $θ$ . Adding complex numbers is tip-to-tail vector addition. Multiplying is the magical part: to multiply $z_{1}$ by $z_{2}$ , stretch $z_{1}$ by the factor $∣ z_{2} ∣$ and rotate it by the angle $ar g (z_{2})$ .

The unit $i$ is the arrow pointing straight up, length $1$ , angle $90°$ . Multiplying by $i$ therefore rotates anything by a quarter turn. Apply it twice ( $i \cdot i = i^{2}$ ) and you have rotated by $180°$ — which sends $1$ to $- 1$ . That is exactly why $i^{2} = - 1$ : a half-turn flips the sign. The "impossible" equation $i^{2} = - 1$ is just the statement "two quarter-turns make a half-turn."

The complex plane: the point $z = 3 + 2i$ as an arrow with modulus $r$ and argument $\theta$.

Worked Examples

Multiplication and Division

Given:

z_{1} = 3 + 2 i

and

z_{2} = 1 - 4 i

. Compute

z_{1} z_{2}

and

z_{1} / z_{2}

. Product (using [4]):

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

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

Quotient: multiply top and bottom by the conjugate

\overset{z_{2}}{ˉ} = 1 + 4 i

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

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

The denominator $1 + 16 = 17$ is just $∣ z_{2} ∣^{2}$ , real as expected from $z \overset{z}{ˉ} = ∣ z ∣^{2}$ .

Roots of a Complex Number — De Moivre in Reverse

Given: Find all cube roots of

z = - 8

, i.e. solve

w^{3} = - 8

. Step 1 — polar form:

- 8 = 8 e^{iπ}

, since

∣ - 8∣ = 8

and

ar g (- 8) = π

(180°). Step 2 — general root formula. The

n

cube roots have modulus

38 = 2

and arguments

θ_{k} = \frac{π + 2 π k}{3}, k = 0, 1, 2.

⟳

w^{3} = z

means

3 ar g (w)

equals

ar g (z)

up to multiples of

2 π

; divide by

3

and add

2 π k /3

Step 3 — evaluate:

$k = 0$ : $θ = π /3 = 60°$ , $w_{0} = 2 (cos 60° + i sin 60°) = 1 + i 3$ .
$k = 1$ : $θ = π = 180°$ , $w_{1} = 2 (cos 180°) = - 2$ .
$k = 2$ : $θ = 5 π /3 = 300°$ , $w_{2} = 1 - i 3$ .

w \in {1 + i 3, - 2, 1 - i 3}

The three roots sit on a circle of radius $2$ , equally spaced $120°$ apart — a hallmark of $n$ -th roots.

Common Misconceptions

" $i = - 1$ " is sloppy. The square-root sign is only unambiguous for non-negative reals. The defining property is $i^{2} = - 1$ . Treating $- 1$ like an ordinary radical leads to errors (see counterexample).
The imaginary part is a real number. In $z = a + bi$ , $Im (z) = b$ , not $bi$ . It is a coordinate, not an imaginary quantity.
$∣ z ∣$ is not " $z$ without the sign." It is the geometric distance $a^{2} + b^{2}$ .
Complex numbers are not ordered. Inequalities like $z_{1} < z_{2}$ are meaningless for non-real $z$ ; you cannot say $i > 0$ or $i < 0$ .
$ar g (z)$ is multivalued. Adding $2 π$ gives the same point; the principal value is usually taken in $(- π, π]$ .

The $\sqrt{-1}\cdot\sqrt{-1}$ Trap

Treating $x$ carelessly gives a false chain:

- 1 = i^{2} = - 1 \cdot - 1 = ? (- 1) (- 1) = 1 = 1.

The faulty step is

a b = ab

, which fails when

a

and

b

are both negative. The rule is valid for non-negative reals only. This is precisely why

i

is defined by

i^{2} = - 1

rather than by a radical symbol.

Connections

The complex plane ties together many strands of mathematics. Vectors in the Plane share the additive structure: complex addition is vector addition, but complex numbers add a multiplication that vectors lack. Trigonometry underlies polar form, and multiplication of complex numbers gives slick proofs of the angle-addition identities. Euler's Formula $e^{i θ} = cos θ + i sin θ$ is the bridge between the exponential and trigonometric worlds and is the engine behind [8] and [9]. Polynomials and Their Roots become fully understandable only over $C$ , via the Fundamental Theorem of Algebra. At a higher level, complex numbers are the gateway to Complex Analysis, the study of differentiable functions of a complex variable.

Real-World Applications

Electrical engineering (AC circuits). Voltages and currents in alternating-current circuits are represented as phasors — complex numbers — turning differential equations into algebra. Engineers write $j$ for $i$ to avoid clashing with current.
Signal processing. The Fourier transform decomposes signals into complex exponentials $e^{iω t}$ ; audio compression (MP3) and image formats (JPEG) rely on this.
Quantum mechanics. The wavefunction $ψ$ is complex-valued; probabilities are $∣ ψ ∣^{2}$ . The Schrödinger equation contains an explicit $i$ — complex numbers are not optional here.
Control theory. Stability of aircraft, robots, and chemical plants is judged by where the poles of a transfer function sit in the complex plane (left half-plane = stable).
Fluid dynamics and aerodynamics. Two-dimensional ideal flow around wings is modeled with complex potential functions and conformal maps.
Fractals and computer graphics. The Mandelbrot and Julia sets are defined by iterating $z \mapsto z^{2} + c$ in the complex plane.
Electromagnetics and optics. Wave propagation, impedance, and refractive index are expressed compactly with complex amplitudes.

Historical Development

1545 — Gerolamo Cardano, in Ars Magna, encounters square roots of negatives while solving cubic equations and reluctantly manipulates them as a formal device.
1572 — Rafael Bombelli sets out consistent rules for arithmetic with $- 1$ , recognizing they are needed even to find real roots of cubics (the casus irreducibilis).
1637 — René Descartes coins the dismissive term "imaginary."
1748 — Leonhard Euler discovers $e^{i θ} = cos θ + i sin θ$ and introduces the symbol $i$ .
1797–1806 — Caspar Wessel (1797) and Jean-Robert Argand (1806) independently give the geometric picture of complex numbers as points in a plane (the Argand diagram).
1799 — Carl Friedrich Gauss proves the Fundamental Theorem of Algebra in his dissertation.
1831 — Gauss popularizes the term complex number and the planar interpretation, lending the subject full respectability.
1833–1837 — William Rowan Hamilton defines complex numbers rigorously as ordered pairs $(a, b)$ of reals with formal addition and multiplication, removing the mysticism of $i$ entirely.
1843 — Hamilton extends the idea to quaternions, a four-dimensional generalization, while trying to multiply triples in 3D.

Subtleties & Limits

Complex numbers are complete as a number system in a strong sense: $C$ is algebraically closed, so no further "imaginary" units are needed to solve polynomial equations. But generalizing the rich structure to higher dimensions costs something. The quaternions (4D) abandon commutativity ( $ab \neq = ba$ ), and the octonions (8D) further abandon associativity. Hurwitz's theorem (1898) shows that $R, C$ , quaternions, and octonions are the only normed division algebras — there is no well-behaved "complex numbers in 3D." A live area connecting to research is the behavior of iterated complex maps: although the Mandelbrot set is easy to define, deep questions about the structure of its boundary and the dynamics of complex polynomials remain active in modern mathematics. The deceptively simple $i^{2} = - 1$ thus opens onto both a perfectly closed algebra and an endlessly intricate geometry.