Complex Numbers and the Complex Plane

⚡ Key Takeaways

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 $\mathbb{C}$ , geometrically pictured as points (or arrows) in a 2D plane. Key result: every polynomial equation has all its roots in $\mathbb{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).

💡 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.

DefinitionComplex Number

A complex number is an expression

1

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

Derivation hint: $i$ is defined as a formal symbol obeying $i^2=-1$ ; $a$ and $b$ are ordinary real numbers. Here:

$a = \operatorname{Re}(z)$ is the real part,
$b = \operatorname{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 $\mathbb{C}$ . Two complex numbers are equal exactly when both their real and imaginary parts are equal:

2

\quad a + bi = c + di \iff a = c \text{ and } b = d.

Derivation hint: $1$ and $i$ are linearly independent over $\mathbb{R}$ , so coefficients must match separately.

DefinitionArithmetic Operations

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

3

\quad (a+bi) + (c+di) = (a+c) + (b+d)i,

Derivation hint: collect real terms and imaginary terms separately, like adding vectors.

4

\quad (a+bi)(c+di) = (ac - bd) + (ad + bc)i.

Derivation hint: expand the product (FOIL), then replace $i^2$ by $-1$ : $bd\,i^2 = -bd$ .

DefinitionConjugate, Modulus, Argument

For $z = a + bi$ :

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

5

\quad |z| = \sqrt{a^2 + b^2} = \sqrt{z\bar{z}}.

Derivation hint: $z\bar z = (a+bi)(a-bi) = a^2 - (bi)^2 = a^2 + b^2$ .

The argument $\theta = \arg(z)$ is the angle from the positive real axis to the line joining the origin to $z$ , with

6

\quad \tan\theta = \frac{b}{a}, \qquad a = |z|\cos\theta, \quad b = |z|\sin\theta.

Derivation hint: read off from the right triangle with legs $a, b$ and hypotenuse $|z|$ .

TheoremPolar and Exponential Form

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

7

\quad z = r(\cos\theta + i\sin\theta) = r\,e^{i\theta}, \qquad r = |z|,\ \theta = \arg(z).

Derivation hint: substitute $a = r\cos\theta$ , $b = r\sin\theta$ into $z=a+bi$ ; Euler's formula $e^{i\theta}=\cos\theta+i\sin\theta$ gives the second equality. Multiplication then multiplies moduli and adds arguments:

8

\quad r_1 e^{i\theta_1} \cdot r_2 e^{i\theta_2} = r_1 r_2\, e^{i(\theta_1 + \theta_2)}.

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

TheoremDe Moivre's Theorem

For any integer $n$ ,

9

\quad \big(\cos\theta + i\sin\theta\big)^n = \cos(n\theta) + i\sin(n\theta).

Derivation hint: repeatedly apply [8] with all moduli equal to $1$ ; the arguments add $n$ times.

TheoremFundamental Theorem of Algebra

Every non-constant polynomial with complex coefficients,

10

\quad p(z) = c_n z^n + c_{n-1}z^{n-1} + \cdots + c_1 z + c_0, \quad c_n \neq 0,

Derivation hint: this is the general degree- $n$ polynomial; the theorem asserts $n$ roots counted with multiplicity. has exactly $n$ roots in $\mathbb{C}$ (counting multiplicity). Thus $\mathbb{C}$ is algebraically closed.

ProofWhy Multiplication Means Rotation

We show that multiplying by a complex number rotates and scales the plane. 1. Write both numbers in exponential form: $z_1 = r_1 e^{i\theta_1}$ , $z_2 = r_2 e^{i\theta_2}$ using [7]. 2. Form the product symbolically:

11

\quad z_1 z_2 = r_1 r_2 \, e^{i\theta_1} e^{i\theta_2}.

Derivation hint: substitute the exponential forms and group the real magnitudes $r_1, r_2$ together. 3. Euler's formula expands each exponential. Multiplying the two and applying the cosine/sine angle-addition formulas:

12

\quad (\cos\theta_1 + i\sin\theta_1)(\cos\theta_2 + i\sin\theta_2) = \cos(\theta_1+\theta_2) + i\sin(\theta_1+\theta_2).

Derivation hint: 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)$ . 4. Therefore $z_1 z_2 = r_1 r_2\, e^{i(\theta_1+\theta_2)}$ , establishing [8]: the new modulus is the product $r_1 r_2$ and the new argument is the sum $\theta_1 + \theta_2$ . 5. In particular, multiplying any $z$ by $e^{i\alpha}$ (modulus $1$ ) leaves $|z|$ unchanged but adds $\alpha$ to its argument — a pure rotation by $\alpha$ about the origin. $\blacksquare$

∎

ProofDe Moivre from the Multiplication Rule

1. Take $r_1 = r_2 = 1$ and $\theta_1 = \theta_2 = \theta$ in [8]. Then $(\cos\theta + i\sin\theta)^2 = \cos 2\theta + i\sin 2\theta$ . 2. Assume $(\cos\theta + i\sin\theta)^k = \cos k\theta + i\sin k\theta$ holds for some $k$ (induction hypothesis). 3. Multiply both sides by $(\cos\theta + i\sin\theta)$ and apply [8] once more:

13

\quad (\cos\theta + i\sin\theta)^{k+1} = \cos((k+1)\theta) + i\sin((k+1)\theta).

Derivation hint: add the arguments $k\theta$ and $\theta$ using the modulus-multiply/argument-add rule. 4. 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} = \bar z/|z|^2$ . $\blacksquare$

∎

mathematician · 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.

🧠 Intuition

Think of a complex number as an arrow from the origin: its length is the modulus $r$ and its tilt is the argument $\theta$ . 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 $\arg(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."

Figure

The complex plane: the point

z = 3 + 2i

as an arrow with modulus

r

and argument

\theta

.

ExampleMultiplication and Division

Given: $z_1 = 3 + 2i$ and $z_2 = 1 - 4i$ . Compute $z_1 z_2$ and $z_1 / z_2$ .

Product (using [4]):

z_1 z_2 = (3)(1) - (2)(-4) + \big[(3)(-4) + (2)(1)\big]i = (3 + 8) + (-12 + 2)i.

\boxed{z_1 z_2 = 11 - 10i}

Quotient: multiply top and bottom by the conjugate $\bar{z_2} = 1 + 4i$ :

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

\boxed{\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\bar z = |z|^2$ .

ExampleRoots 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\pi}$ , since $|-8| = 8$ and $\arg(-8) = \pi$ (180°).

Step 2 — general root formula. The $n$ cube roots have modulus $\sqrt[3]{8} = 2$ and arguments

14

\quad \theta_k = \frac{\pi + 2\pi k}{3}, \qquad k = 0, 1, 2.

Derivation hint: $w^3=z$ means $3\arg(w)$ equals $\arg(z)$ up to multiples of $2\pi$ ; divide by $3$ and add $2\pi k/3$ .

Step 3 — evaluate:

$k=0$ : $\theta = \pi/3 = 60°$ , $\ w_0 = 2(\cos 60° + i\sin 60°) = 1 + i\sqrt{3}$ .
$k=1$ : $\theta = \pi = 180°$ , $\ w_1 = 2(\cos 180°) = -2$ .
$k=2$ : $\theta = 5\pi/3 = 300°$ , $\ w_2 = 1 - i\sqrt{3}$ .

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

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

⚠️ Common mistake

" $i = \sqrt{-1}$ " is sloppy. The square-root sign is only unambiguous for non-negative reals. The defining property is $i^2 = -1$ . Treating $\sqrt{-1}$ like an ordinary radical leads to errors (see counterexample).
The imaginary part is a real number. In $z = a + bi$ , $\operatorname{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 $\sqrt{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$ .
$\arg(z)$ is multivalued. Adding $2\pi$ gives the same point; the principal value is usually taken in $(-\pi, \pi]$ .

CounterexampleThe

\sqrt{-1}\cdot\sqrt{-1}

Trap

Treating $\sqrt{\phantom{x}}$ carelessly gives a false chain:

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

The faulty step is $\sqrt{a}\sqrt{b} = \sqrt{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.

connection

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\theta} = \cos\theta + i\sin\theta$ 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 $\mathbb{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.

🔬 Where this appears

⏳ History

- 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

\sqrt{-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\theta} = \cos\theta + i\sin\theta

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.

open-problem

Complex numbers are complete as a number system in a strong sense: $\mathbb{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 $\mathbb{R}, \mathbb{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.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also