AI Tutor
Imagine two rival pizza shops in town want to build a shared delivery hub that is exactly the same distance from both stores.
There is not just one fair spotβ€”there is an entire straight boundary line of infinite locations that work.

The Perpendicular Bisector

A midpoint divides a segment into two equal halves, and a line is perpendicular if it crosses at a 90∘90^\circ right angle.
Combining these ideas creates the perpendicular bisectorβ€”a line that cuts a segment in half at a crisp 90∘90^\circ angle.
Why does sliding point PP anywhere up or down that vertical line keep the distances to AA and BB perfectly equal?

The Perpendicular Bisector Theorem

Over 2,300 years ago, Greek mathematician Euclid recorded this property in his Elements to construct points that are equidistantβ€”meaning precisely equal in distanceβ€”from two fixed endpoints.
The Perpendicular Bisector Theorem states that if a point lies on the perpendicular bisector of a segment, then it is equidistant from the endpoints of that segment.

The Proof

To prove this, connect any point PP on the bisector to endpoints AA and BB, which splits the figure into two right triangles: β–³PMA\triangle PMA and β–³PMB\triangle PMB.