Solution
For this case we have the followinf:
Triangle ABD is isoceles with base BD, AC perpendicular BD Definition of isosceles triangle
AB congruent to AD: Given
< 1 and < 2 are right triangles definition of perpendicular
AC congruent to AC Reflexive
Triangle ABC and ADC are right triangles Definition of right triangle
Triangle ABC congruent to triangle ADC HL
< BAC = < DAC CPCTC