Applet 1

Author:
proseto20
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