The perpendicular bisector of a segmentABis a linelsuch thatlintersectsABat its midpoint andlis perpendicular toAB. Prove the following theorem:

Pointwise Characterization of Perpendicular Bisector.A pointPlies on the perpendicular bisector ofABif and only ifPA=PB.