This applet helps students readily discover one conditional of the Perpendicular Bisector Theorem: "If a point lies on the perpendicular bisector of a segment, then that point is equidistant from the endpoints of that segment." Discovery activity questions are contained within the applet itself. The converse of this theorem is also true (see "Perpendicular Bisector Theorem (Part 1)").