Historical Context & Motivation
For centuries, mathematicians resisted the idea that the square root of a negative number could have any legitimate meaning. Numbers like √(−1) were dismissed as "impossible" or "imaginary"—a derisive label coined by René Descartes in 1637 that, ironically, stuck as the official name. The breakthrough came when mathematicians realized these quantities could be given a geometric interpretation: instead of living on a single number line, complex numbers occupy an entire two-dimensional plane. Once this plane was established, the natural next question became: how do we measure distance between two complex numbers, and how do we find the point exactly halfway between them?
The central question that motivated all this work remains beautifully simple: if every complex number a + bi corresponds to a point (a, b) in a plane, can we use the same Euclidean geometry we already know to measure distances and find midpoints? The answer is a resounding yes—and this lesson shows you exactly how.
Core Principles & Definitions
Before diving into formulas, let's establish the four foundational ideas that make distance and midpoint calculations in the complex plane possible. Every concept here mirrors something you already know from the Cartesian coordinate plane—the only difference is notation.
Complex Number as a Point
Modulus as Distance from Origin
Distance via Subtraction
Midpoint via Averaging
Visual Explanation — The Complex Plane
The diagram below shows two complex numbers, z₁ = 2 + 5i and z₂ = 7 + 1i, plotted on the complex plane. The dashed line connecting them represents the distance we want to compute, and the green point marks their midpoint. Notice the right triangle formed by the horizontal and vertical differences—this is precisely the structure the distance formula leverages.
In the diagram above, the dashed gold lines form a right triangle whose legs are the differences in the real and imaginary components: Δ real = 7 − 2 = 5 and Δ imaginary = 5 − 1 = 4. The purple dashed hypotenuse is the distance d = √(5² + 4²) = √41 ≈ 6.40. The green midpoint M sits at ((2 + 7)/2, (5 + 1)/2) = (4.5, 3), which in complex form is 4.5 + 3i.
Mathematical Framework — The Formulas
The two core formulas in this lesson are direct extensions of the Euclidean distance formula and the midpoint formula from coordinate geometry. Let z₁ = a + bi and z₂ = c + di be any two complex numbers. We derive each formula from the Pythagorean theorem by treating the real part as the x-coordinate and the imaginary part as the y-coordinate.
This formula tells us to subtract the corresponding real parts (a − c) and imaginary parts (b − d), square each difference, add the squares together, and take the square root. The result is always a non-negative real number—distances are never imaginary. Algebraically, this is the same as computing z₁ − z₂ and then finding the modulus of the resulting complex number.
The midpoint formula averages the two complex numbers. You can think of it in two equivalent ways: either average the complex numbers directly (add them and divide by 2), or average the real parts and the imaginary parts separately. The midpoint M is itself a complex number that lies on the line segment connecting z₁ and z₂, equidistant from both endpoints.
The modulus is a special case of the distance formula where one of the points is the origin (0 + 0i). It gives the "size" or "magnitude" of a complex number. Note that |z₁ − z₂| is just the modulus of the difference z₁ − z₂, which ties all three formulas together into a unified framework.
Detailed Breakdown — Cases & Variations
While the distance and midpoint formulas are straightforward, several special cases and patterns are worth internalizing. The table below catalogs the situations you are most likely to encounter, along with the simplifications that arise in each case.
| Case | Setup | Distance Simplification | Midpoint Simplification |
|---|---|---|---|
| Both purely real | z₁ = a, z₂ = c | |a − c| (just real number distance) | (a + c)/2 (a real number) |
| Both purely imaginary | z₁ = bi, z₂ = di | |b − d| (distance along imaginary axis) | ((b + d)/2)i (a purely imaginary number) |
| One point is the origin | z₁ = a + bi, z₂ = 0 | |z₁| = √(a² + b²) (the modulus) | (a/2) + (b/2)i |
| Conjugate pair | z₁ = a + bi, z₂ = a − bi | 2|b| (vertical distance only) | a (a real number on the real axis) |
| Same real part | z₁ = a + bi, z₂ = a + di | |b − d| (vertical line segment) | a + ((b + d)/2)i |
| Same imaginary part | z₁ = a + bi, z₂ = c + bi | |a − c| (horizontal line segment) | ((a + c)/2) + bi |
The conjugate pair case is particularly elegant: when you find the midpoint of a complex number and its conjugate, the imaginary parts cancel and you land exactly on the real axis. This reflects the geometric fact that the real axis is the perpendicular bisector of the segment joining any conjugate pair. Meanwhile, the distance between conjugates is always twice the absolute value of the imaginary part, since the real parts are identical.
The second diagram illustrates three special cases simultaneously. The conjugate pair (3 + 2i and 3 − 2i) has distance 4 and its midpoint lies on the real axis at 3. The purely real pair (−2 and 2) has distance 4 and midpoint 0—everything collapses to the real number line. The purely imaginary pair (2i and −i) has distance 3 and midpoint 0.5i—everything stays on the imaginary axis.
Worked Example
Let's work through a complete problem that uses both formulas. Suppose we are given the complex numbers z₁ = −3 + 4i and z₂ = 5 − 2i. We need to find (a) the distance between them and (b) their midpoint.
Coordinate Geometry vs. Complex Plane — Strengths & Limitations
Since the complex plane formulas are essentially identical to their coordinate geometry counterparts, you might wonder: why bother with the complex number notation at all? The answer lies in the algebraic power that complex numbers bring to problems involving rotation, scaling, and transformation. The table below compares the two approaches side by side.
| Feature | Coordinate Geometry (ℝ²) | Complex Plane (ℂ) |
|---|---|---|
| Point representation | Ordered pair (x, y) | Single number z = x + yi |
| Distance formula | √((x₂−x₁)² + (y₂−y₁)²) | |z₁ − z₂| — identical calculation |
| Midpoint formula | ((x₁+x₂)/2, (y₁+y₂)/2) | (z₁ + z₂)/2 — same but more compact |
| Rotation by angle θ | Requires matrix multiplication | Multiply by eiθ — one operation |
| Scaling from origin | Multiply each coordinate by k | Multiply z by k — one operation |
| Algebraic closure | Not inherently algebraic | Every polynomial has roots in ℂ |
| Ease for beginners | More intuitive — familiar (x, y) pairs | Requires comfort with imaginary unit i |
For distance and midpoint calculations alone, neither notation has a decisive advantage—the arithmetic is the same. The real power of the complex plane emerges when you combine distance/midpoint operations with multiplication. Multiplying complex numbers simultaneously rotates and scales, which has no simple analog in coordinate pair notation. This is why fields like electrical engineering and signal processing universally prefer the complex number representation.
Connection to Advanced Theory
The distance and midpoint concepts you have learned here form the foundation for several advanced mathematical topics. Understanding how these ideas extend will give you a preview of what lies ahead in precalculus, complex analysis, and beyond.
| Concept in This Lesson | Advanced Extension | Where You'll See It |
|---|---|---|
| Distance |z₁ − z₂| | Metric spaces and topology — distance functions generalized to abstract sets | Real Analysis, Topology |
| Modulus |z| | Polar form: z = r(cos θ + i sin θ) = reiθ, where r = |z| | Precalculus, Complex Analysis |
| Midpoint (z₁+z₂)/2 | Weighted averages and convex combinations: tz₁ + (1−t)z₂ for 0 ≤ t ≤ 1 | Linear Algebra, Computer Graphics |
| |z − z₀| = r (circle equation) | Loci in the complex plane — circles, lines, and half-planes described by modulus inequalities | Complex Analysis, Control Theory |
| Pythagorean distance | Norm of a vector: ‖v‖ = √(v₁² + v₂² + … + vₙ²) in n dimensions | Linear Algebra, Machine Learning |
One particularly beautiful connection: the equation |z − z₀| = r describes a circle of radius r centered at z₀ in the complex plane. This is nothing but the distance formula set equal to a constant. When you encounter equations like |z − (2 + 3i)| = 5 in future coursework, you'll immediately recognize it as a circle centered at 2 + 3i with radius 5—a direct application of what you learned today.
Similarly, the polar form of a complex number z = reiθ breaks a complex number into its distance from the origin (r = |z|, the modulus) and its angle from the positive real axis (θ, the argument). Every operation in polar form—multiplication, division, exponentiation—becomes elegant precisely because the modulus captures distance information so cleanly. The foundation of all this is the simple Pythagorean calculation |z| = √(a² + b²) that you now know well.
Practice Problems
Work through these five problems in order. They start with a conceptual question and build toward multi-step and critical-thinking challenges. Try each problem on paper before revealing the answer.
Lesson Summary
In this lesson, we explored how the complex plane—a two-dimensional coordinate system where the horizontal axis represents the real part and the vertical axis represents the imaginary part—allows us to apply Euclidean geometry to complex numbers. The distance formula |z₁ − z₂| = √((a−c)² + (b−d)²) measures the straight-line separation between any two complex numbers z₁ = a + bi and z₂ = c + di, and it always produces a non-negative real number. The midpoint formula M = (z₁ + z₂)/2 finds the complex number exactly halfway between two endpoints by averaging their real and imaginary parts independently. Both formulas are direct analogs of their coordinate geometry counterparts, with the complex number notation providing a more algebraically compact representation.
We examined important special cases—conjugate pairs (whose midpoints always lie on the real axis), purely real numbers (which reduce to the number line), and purely imaginary numbers (which reduce to the imaginary axis). We saw how these tools connect to the modulus of a complex number, to the equation of a circle in the complex plane, and to the polar form that you will encounter in more advanced courses. The central insight remains elegantly simple: treating a + bi as the point (a, b) transforms complex number geometry into the familiar Euclidean geometry you already know.