Perpendicular Bisector Theorem

If a point is on the perpendicular bisector of a segment, then it is equidistant from the endpoints of that segment.

Statement Reason 1. C is midpoint of Line AB 1. def. of perpendicular bisector 2. Line AC = Line CB 2. def. of midpoint 3. Line DC = Line DC 3. Reflexive 4. Angle ACD = Angle BCD 4. def. of perpendicular bisector 5. Line AD = Line BD 5. CPCTC