1. angle ABD = angle CBD — definition of angle bisector
2. angle ADB = angle CDB — definition of angle bisector
3. segment BD = segment BD — reflexive property
4. triangle ABD = triangle CBD — ASA theorem
5. segment AD ~= segment CD — CPCTC (corresponding parts of congruent triangles are congruent )