Why Perpendicular Bisectors Meet at One Point

An animated proof showing that all three perpendicular bisectors of a triangle intersect at a single point — the circumcenter — which is equidistant from all vertices.

Keywords: circumcenter, perpendicular bisector, equidistant, circumcircle, triangle centers

Prerequisites: perp-bisect-proof · Difficulty: beginner

The three perpendicular bisectors of a triangle's sides all pass through a single point, the circumcenter. A perpendicular bisector passes through a side's midpoint at a angle.

Strategy: draw two of the bisectors and call their intersection . Since lies on both, it is equidistant from all three vertices, which forces it onto the third bisector and lets us draw the circumcircle.

Step 1: Draw Two Perpendicular Bisectors

We start with triangle and draw the perpendicular bisectors of two sides.

The perpendicular bisector of a segment passes through its midpoint at a angle. These two bisectors must intersect somewhere — let's call that point .

Step 2: is Equidistant from All Vertices

Since lies on the perpendicular bisector of :

Since also lies on the perpendicular bisector of :

Combining these: . Point is equidistant from all three vertices!

Step 3: Lies on the Third Bisector

We've shown that . This means is equidistant from and .

But any point equidistant from two points must lie on their perpendicular bisector!

Therefore, must lie on the perpendicular bisector of — the third perpendicular bisector passes through as well!

Step 4: The Circumcircle

Since , we can draw a circle centered at that passes through all three vertices.

This is the circumcircle — the unique circle passing through all three vertices of the triangle. And is the circumcenter.

All three perpendicular bisectors meet at the circumcenter , which is equidistant from all three vertices:

Since is the same distance from all vertices, we can draw a circle centered at that passes through , , and . This is the circumcircle, and is its center. ∎

Notes

Any point on the perpendicular bisector of a segment is equidistant from the segment's endpoints. This is the key fact that drives the entire proof.

Why? If you fold the paper along the perpendicular bisector, one endpoint lands exactly on the other, so any point on the fold line is the same distance from both.