Interactive resource
Perpendicular bisector property
Geometry. Points on the perpendicular bisector are equidistant from the endpoints. Free interactive GeoGebra resource — adjust parameters in the browser.
Overview
Points on the perpendicular bisector are equidistant from the endpoints.
Explanation
Every point on the perpendicular bisector of a segment is equidistant from the endpoints.
Converse: equidistant points lie on that bisector.
Useful when constructing a circumcenter.
How to use
Drag A, B, or P on the bisector and compare PA with PB.