Applet 1
Statement Reason
CD is the perpendicular bisector of AB Given
D is the mid point of AB Def of perp bisector
AD is congruent to DB Def of midpoint
Angle ADC and Angle BDC are right angles def of perp bisector
CD is congruent to DC Reflexive property
Triangle ADC is congruent to triangle BDC SAS
Line AC is congruent to BC CPCTC