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:
- Forward: every point on the bisector is equidistant from and .
- Converse: every point equidistant from and lies on the bisector.
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):
- (M is the midpoint)
- (L is perpendicular)
- (common side)
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):
- (given)
- (M is the midpoint)
- (common side)
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:
- Finding equidistant points: Any point on the perpendicular bisector works!
- Finding centers: The circumcenter of a triangle (center of its circumscribed circle) lies on all three perpendicular bisectors
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:
- Cuts a line segment exactly in half (at its midpoint)
- Forms a 90° angle with the segment
Try dragging point along line — notice how and always stay equal!