Section 1
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?
1572 • Bombelli's Algebra
1797 • Wessel's Geometric Essay
1806 • Argand's Diagram
1831 • Gauss's Complex Plane
Modern Era • Applications Everywhere
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.
Section 2
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
Key Takeaway
Section 3
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.
Section 4
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.
Distance Formula in the Complex Plane
where z₁ = a + bi and z₂ = c + di
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.
Midpoint Formula in the Complex Plane
The result is itself a 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.
Modulus (Absolute Value) of a Complex Number
Distance from the origin to the point z
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.
Key Takeaway
Section 5
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.
Section 6
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.
Finding Distance and Midpoint of z₁ = −3 + 4i and z₂ = 5 − 2i
- 1
Step 1 — Identify the real and imaginary parts
For z₁ = −3 + 4i, the real part is a = −3 and the imaginary part is b = 4. For z₂ = 5 − 2i, the real part is c = 5 and the imaginary part is d = −2. - 2
Step 2 — Compute the differences
a − c = −3 − 5 = −8 b − d = 4 − (−2) = 4 + 2 = 6 - 3
Step 3 — Apply the distance formula
d = √((−8)² + (6)²) = √(64 + 36) = √100d = 10. The distance between z₁ and z₂ is exactly 10 units. Notice how cleanly this worked out—the differences 8 and 6 form a Pythagorean triple (6-8-10), so the distance is a whole number. - 4
Step 4 — Apply the midpoint formula
Real part of M = (−3 + 5) / 2 = 2 / 2 = 1 Imaginary part of M = (4 + (−2)) / 2 = 2 / 2 = 1M = 1 + 1i - 5
Step 5 — Verify (optional sanity check)
We can verify by checking that the midpoint M = 1 + i is equidistant from both endpoints. |z₁ − M| = |(−3 + 4i) − (1 + i)| = |−4 + 3i| = √(16 + 9) = √25 = 5 |z₂ − M| = |(5 − 2i) − (1 + i)| = |4 − 3i| = √(16 + 9) = √25 = 5 Both distances equal 5, which is exactly half of the total distance 10. ✓ The midpoint checks out.
Section 7
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.
Key Takeaway
Section 8
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.
Section 9
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.
Question 1: Problem 1 — Conceptual
Show answer
Question 2: Problem 2 — Basic Calculation
Show answer
Question 3: Problem 3 — Intermediate
Show answer
Question 4: Problem 4 — Applied / Multi-Step
Show answer
Question 5: Problem 5 — Critical Thinking / Synthesis
Show answer
Summary
Lesson Summary
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.