Perpendicular Bisector Theorem

If a point is on the perpendicular bisector of a segment, then it is equidistant from the endpoints of that segment.
[u]Statement[/u] [u]Reason[/u] [br]1. C is midpoint of Line AB 1. def. of perpendicular bisector[br]2. Line AC = Line CB 2. def. of midpoint[br]3. Line DC = Line DC 3. Reflexive[br]4. Angle ACD = Angle BCD 4. def. of perpendicular bisector[br]5. Line AD = Line BD 5. CPCTC[br][br][br][br][br]