Here's an outline. You can supply a 2-line proof Angle ABD is congruent to angle DBC because BD bisects < ABC DB and DB are congruent Angle ADB is congruent to angle CDB because DB bisects < ADC triangle ABD is congruent to triangle CBD by ASA (angle-side-angle) Edwin