The [b]Perpendicular Bisector Theorem[/b] says that if a point is on the perpendicular bisector of a segment, then it is equidistant from the endpoints of the segment. This theorem can be easily proved using congruent triangles. Drag point C to verify that the distances AC and BC are congruent. Can you explain the proof of this theorem using construction? Explore the construction by turning on CircleA and CircleB.