Perpendicular bisector test

Dependencies: SSS congruence and Linear pair sums to 180° (Linear pair sums to 180°).

Statement

Let $A$ and $B$ be two distinct points in the plane. If a point $P$ is equidistant from $A$ and $B$, then $P$ lies on the Perpendicular bisector ⇔ equidistant from endpoints of segment $AB$. That is:

The "perpendicular bisector of segment $AB$" means: the line passing through the midpoint of $AB$ and perpendicular to $AB$.