1. angle ADC = angle ADB AD is perpendicular to BC (given) so both are 90o
2. side AD = side AD equals itself
3. angle CAD = angle BAD AD bisects angle CAB (given) so each half is equal
4. therefore triangle ADC congruent to triangle ADB angle-side-angle theorem
.