The Equidistance Theorem (Part 2)
Given: point O is equidistant from A and B.
Prove: O is on the perpendicular bisector of segment AB.
Plan: Drag point C to a place that makes the whole figure line-symmetric, then use a reflection to establish the conclusion.