Explanation:
Line CD is the perpendicular bisector of segment AB
D. Given
Point D is the midpoint of segment AB
B. Definition of Perpendicular Bisector
Segment AD is congruent to segment BD
E. Definition of Midpoint
Angle ADC and angle BDC are right angles.
F. Definition of Perpendicular Bisector concerning right angles
Angle ADS is congruent to angle BDC
A. All right angles are congruent
Segment CD is congruent to segment CD
G. Reflexive property
Triangle ACD is congruent to triangle BCD
H. Side-Angle-Side Congruence (SAS)
Segment AC is congruent to segment BC
C. Corresponding parts of Congruent Triangles are Congruent (CPCTC)