Theorem 10

Any point on the perpendicular bisector of a line segment [AB] is equidistant from A and B.

Sorry, the GeoGebra Applet could not be started. Please make sure that Java 1.4.2 (or later) is installed and active in your browser (Click here to install Java now) Created with GeoGebra