Perpendicular Bisector Theorem
| |
| Statements | Reasoning |
| Line C is the perpendicular bisector of segment AB | Given |
| Segment AD is congruent to DB | Point D is the midpoint |
| ED is congruent to ED | Reflexive property |
| Angle EDA is congruent to Angle EBD | Line C is the perpendicular line to segment AB |
| Triangle EAD is congruent to EBD | SAS |
| Segment EA is Congruent to EB | CPCTC |