In short
The complex plane (Argand diagram) identifies each complex number z = x + iy with the point (x, y). In this plane, the distance between z_1 and z_2 is |z_1 - z_2|, the midpoint of z_1 and z_2 is \frac{z_1 + z_2}{2}, and the point dividing the segment from z_1 to z_2 in the ratio m:n is \frac{mz_2 + nz_1}{m + n}. These are the same formulas you know from coordinate geometry, but written in complex number notation — shorter, cleaner, and ready for rotation and scaling.
Take three points forming a triangle: 1 + i, 4 + i, and 1 + 4i. What is the distance between the first two? What is the midpoint of the longest side? In coordinate geometry, you would pull out the distance formula and the midpoint formula -- separate tools for separate jobs. With complex numbers, both answers are just modulus and addition: the distance is |4 + i - 1 - i| = 3, and the midpoint is \frac{(4 + i) + (1 + 4i)}{2} = \frac{5 + 5i}{2}.
The complex plane turns every point into a number you can add, subtract, multiply, and divide. That means geometry problems become algebra problems -- and the formulas are shorter and cleaner than their Cartesian counterparts.
The complex plane (Argand diagram)
The complex plane has two axes:
- The real axis (horizontal): the set of all real numbers x + 0i.
- The imaginary axis (vertical): the set of all purely imaginary numbers 0 + yi.
Every complex number z = x + iy corresponds to exactly one point (x, y), and every point on the plane corresponds to exactly one complex number. The correspondence is:
The origin is 0. The number 1 is one unit to the right. The number i is one unit up. The number -1 is one unit to the left. The number -i is one unit down.
The modulus |z| = \sqrt{x^2 + y^2} is the distance from z to the origin. The conjugate \bar{z} = x - iy is the reflection of z across the real axis. These two geometric operations — distance from origin and reflection — are the building blocks for everything that follows.
Distance between two points
In coordinate geometry, the distance between (x_1, y_1) and (x_2, y_2) is \sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}.
In complex number language, the two points are z_1 = x_1 + iy_1 and z_2 = x_2 + iy_2. Their difference is:
The modulus of this difference is:
This is exactly the distance formula. So:
The distance between two complex numbers z_1 and z_2 is |z_1 - z_2|.
One formula, no coordinates to unpack. The complex number z_1 - z_2 is the vector from z_2 to z_1, and its modulus is the length of that vector.
This reformulation might look like just a notational shortcut. But it has a real advantage: the distance formula |z_1 - z_2| is algebraically manipulable in ways that \sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2} is not. You can use properties of the modulus — the triangle inequality |z_1 + z_2| \le |z_1| + |z_2|, the multiplicativity |z_1 z_2| = |z_1| |z_2| — to prove geometric results without ever expanding into coordinates.
Midpoint formula
The midpoint of the segment from z_1 to z_2 in coordinate geometry is \left(\frac{x_1 + x_2}{2}, \frac{y_1 + y_2}{2}\right).
In complex notation:
This is the average of the two complex numbers. It works because addition of complex numbers is component-wise: \frac{(x_1 + iy_1) + (x_2 + iy_2)}{2} = \frac{x_1 + x_2}{2} + i\frac{y_1 + y_2}{2}, which is exactly the coordinate midpoint.
For three points, the centroid of the triangle with vertices z_1, z_2, z_3 is:
Again, just the average. The centroid divides each median in the ratio 2:1 — this classical result follows directly from the algebra of complex numbers.
Section formula
The midpoint is the special case of a more general question: what point divides the segment from z_1 to z_2 in a given ratio?
Internal division. The point that divides the segment from z_1 to z_2 in the ratio m:n (internally) is:
External division. The point that divides the segment externally in the ratio m:n is:
These are identical to the coordinate geometry section formulas, but with complex numbers replacing coordinate pairs. The derivation is the same: the point z lies on the line through z_1 and z_2, at the appropriate fraction of the way.
Section formula (complex form)
The point dividing the segment from z_1 to z_2 internally in the ratio m:n is
The point dividing it externally in the ratio m:n is
The midpoint is the special case m = n = 1.
Why complex notation is better
At this point, you might ask: these are the same formulas as coordinate geometry, just written differently. Why bother?
The answer becomes clear when you combine distance and angle. In coordinate geometry, rotating a point by angle \theta about the origin requires a 2 \times 2 rotation matrix:
In complex notation, the same rotation is:
One multiplication replaces a matrix equation. Scaling by a factor r and rotating by \theta simultaneously is z' = rz \cdot e^{i\theta}. Reflecting across the real axis is z' = \bar{z}. These operations compose by ordinary arithmetic — no matrices, no trigonometric expansions.
This is the real reason geometry with complex numbers exists as a separate topic. The basic formulas (distance, midpoint, section) are just coordinate geometry in disguise. The deeper results (rotation, collinearity conditions, circle equations) use the multiplicative structure of complex numbers and have no clean coordinate-geometry equivalent.
Interactive: distance and midpoint explorer
Drag the red point on the plane below. The readouts show the position of the point and its distance from the fixed point 2 + i, as well as the midpoint of the segment joining them. Watch how the midpoint tracks halfway between the two points as you move.
Worked examples
Example 1: Find the distance between $z_1 = 3 + 4i$ and $z_2 = -1 + i$, and the point dividing the segment in ratio $3:1$
A computation using the distance and section formulas in complex notation.
Step 1. Compute the difference.
Why: the difference z_1 - z_2 is the displacement vector from z_2 to z_1. Its components are 4 (rightward) and 3 (upward).
Step 2. Find the distance.
Why: this is the familiar 3-4-5 right triangle. The distance between the two points is exactly 5.
Step 3. Find the point dividing the segment internally in ratio 3:1.
Why: the section formula with m = 3, n = 1 gives the point three-quarters of the way from z_1 to z_2. The result \frac{7}{4}i is purely imaginary — it sits on the imaginary axis.
Step 4. Verify: check that |P - z_1| : |P - z_2| = 3 : 1.
Ratio: \frac{15/4}{5/4} = 3. So |P - z_1| : |P - z_2| = 3 : 1. \checkmark
Why: the ratio of distances confirms the section formula is correct. The point P is three times as far from z_1 as from z_2.
Result: Distance = 5. The dividing point is P = \frac{7}{4}i.
The fact that P lands on the imaginary axis is not a coincidence you could easily spot from the coordinates alone. In complex notation, P = \frac{7}{4}i immediately tells you the real part is zero — the point is purely imaginary.
Example 2: Show that the three points $z_1 = 2$, $z_2 = -1 + i\sqrt{3}$, $z_3 = -1 - i\sqrt{3}$ form an equilateral triangle
A geometric proof using only the distance formula in complex notation.
Why these points? They are the three cube roots of 8: 2, 2\omega, 2\omega^2 where \omega = e^{2\pi i/3}. These sit on a circle of radius 2 at angles 0°, 120°, 240°.
Step 1. Compute all three side lengths.
Why: all three sides have length 2\sqrt{3}. The three distances are equal because the cube roots of 8 are equally spaced on a circle of radius 2 — the angles between consecutive roots are all 120°, forcing an equilateral triangle.
Step 3. Confirm the centroid lies at the origin.
Why: the sum of the cube roots of 8 is 0 (the sum of nth roots of any number is 0 for n \ge 2, since the roots of unity sum to zero). The centroid at the origin confirms the triangle is centred there.
Step 4. Verify: the circumradius should equal 2 (the modulus of each vertex).
All vertices are at distance 2 from the centroid (origin), so the circumradius is 2. For an equilateral triangle with side s = 2\sqrt{3}, the circumradius is \frac{s}{\sqrt{3}} = \frac{2\sqrt{3}}{\sqrt{3}} = 2. \checkmark
Why: the circumradius formula for an equilateral triangle is R = s/\sqrt{3}, and it matches the modulus of the vertices.
Result: The three cube roots of 8 — namely 2, -1+i\sqrt{3}, -1-i\sqrt{3} — form an equilateral triangle with side length 2\sqrt{3}, centroid at the origin, and circumradius 2.
This example demonstrates the strategy: to prove a triangle is equilateral, compute the three pairwise distances |z_1 - z_2|, |z_2 - z_3|, |z_3 - z_1| and check they are equal. No angle computations, no slopes, no perpendicular bisectors — just three modulus calculations.
Common confusions
-
"The complex plane is different from the Cartesian plane." The underlying set of points is the same — \mathbb{R}^2. The difference is in what operations are available. On the Cartesian plane, you have addition (vector addition) and scalar multiplication. On the complex plane, you also have multiplication and division of points. The complex plane is richer.
-
"Distance is z_1 - z_2." Distance is |z_1 - z_2|, not z_1 - z_2. The difference z_1 - z_2 is a complex number (a vector); its modulus is the distance (a non-negative real number). Forgetting the modulus bars is a common source of errors.
-
"The midpoint formula uses z_1 \cdot z_2." The midpoint is \frac{z_1 + z_2}{2}, using addition, not multiplication. Multiplication of complex numbers has geometric meaning (rotation and scaling), but it does not give the midpoint.
-
"The section formula for external division has the same denominator." Internal division uses m + n in the denominator; external division uses m - n. Mixing these up changes the answer entirely. When m = n, the external formula is undefined (denominator zero) — the "dividing point" is at infinity, consistent with two equal segments having no finite external division point.
-
"Complex geometry replaces coordinate geometry." It complements it. Complex notation excels at rotation, reflection, and problems involving circles and regular polygons. Coordinate geometry is still better for problems involving specific lines, slopes, and intercepts. Use whichever tool fits the problem.
Going deeper
If you can compute distances, midpoints, and section formula results using complex numbers, and you understand why the complex plane upgrades coordinate geometry with multiplication, you have the core. The following ideas show where this leads.
Collinearity and concyclicity
Three points z_1, z_2, z_3 are collinear (lie on a single line) if and only if the ratio \frac{z_3 - z_1}{z_2 - z_1} is a real number. This is because a real ratio means the displacement from z_1 to z_3 is a real multiple of the displacement from z_1 to z_2 — same direction, just scaled.
Four points z_1, z_2, z_3, z_4 are concyclic (lie on a single circle) if and only if the cross-ratio \frac{(z_1 - z_3)(z_2 - z_4)}{(z_1 - z_4)(z_2 - z_3)} is real. These conditions have no comparably clean form in coordinate geometry.
Rotation about an arbitrary point
To rotate a point z by angle \theta about a fixed point c (not the origin):
Subtract c to move the centre of rotation to the origin, rotate by multiplying by e^{i\theta}, then add c back. This three-step pattern — translate, transform, translate back — is the standard technique for handling rotations about non-origin centres.
The triangle inequality on the complex plane
The inequality |z_1 + z_2| \le |z_1| + |z_2| has a direct geometric interpretation: the length of one side of a triangle is at most the sum of the other two sides. Equality holds when z_1 and z_2 point in the same direction (i.e., z_2/z_1 is a positive real number). This connects the algebraic property of the modulus to one of the oldest results in geometry.
Where this leads next
- Geometry with Complex Numbers — Lines — equations of lines in complex form, including the elegant \bar{a}z + a\bar{z} + b = 0 representation.
- Geometry with Complex Numbers — Circles — circle equations in the form |z - c| = r and their algebraic expansion.
- Complex Numbers — Introduction — the arithmetic of complex numbers that underlies all the geometry.
- Modulus of Complex Number — the distance function |z| and its properties, which power the distance formula.
- Coordinate Geometry — Basics — the Cartesian approach to the same problems, for comparison and contrast.