Perpendicular Bisector and Equidistance

Trikona Team · v1.0

Every point on a perpendicular bisector is equidistant from its endpoints, and every point equidistant from two points lies on their perpendicular bisector.

Keywords: perpendicular bisector, equidistance, congruent triangles, SAS congruence, SSS congruence, midpoint

Prerequisites: congruent-triangles, midpoint · Difficulty: beginner

The perpendicular bisector of segment has a beautiful two-way relationship with equidistance:

Strategy: the forward direction follows from SAS congruence of and ; the converse follows from SSS congruence, which forces the two angles at to be equal right angles.

Step 1: Part 1: Setting Up the Construction

We begin with segment and construct its perpendicular bisector through midpoint . Then we pick any point on and aim to prove .

Step 2: Proving by SAS Congruence

We form triangles and , then prove they are congruent using Side-Angle-Side (SAS):

Therefore by corresponding parts of congruent triangles (CPCTC).

Step 3: Part 2: The Converse

Now we prove the reverse: if a point satisfies , then must lie on the perpendicular bisector of .

Step 4: Proving Lies on the Bisector by SSS

Let be the midpoint of . We prove using Side-Side-Side (SSS):

Since corresponding angles are equal and sum to , both must be . Thus , and since passes through midpoint , point lies on the perpendicular bisector!

We've proven that the perpendicular bisector of a segment is exactly the set of all points equidistant from its endpoints. This is why perpendicular bisectors are so useful:

This property is fundamental in geometry and has many applications in compass-and-straightedge constructions. ∎

Notes

What is a Perpendicular Bisector?

A perpendicular bisector is a special line that:

  1. Cuts a line segment exactly in half (at its midpoint)
  2. Forms a 90° angle with the segment

Try dragging point along line — notice how and always stay equal!