Applet 1
Statement
1. Perpendicular bisector splits line AC congruent to line BC
2. Line DC is congruent to DC
3. Angles A is congruent to B
4. Triangles DAC is congruent to CBD
5. Lines AD is congruent to BD
Reasons
1. Given
2. Reflexive property
3. Vertical angles
4. AAS
5. (cpctc)