You have a number of incorrect statements.
You have incorrect use of reflexive property of congruence.
The reflexive property says things are congruent to THEMSELVES!
Incorrect use of transfer property; not needed. 5 is wrong;
don't use "bisector" theorem. Triangles are isosceles by definition
if only two sides are congruent. Use ASA, not SAS.
Here is a correct proof:
1. ∠BAD ≅ ∠CAD Given
2. AD ⊥ BC Given
3. ∠BDA ≅ ∠CDA Both are right angles by 2
4. AD ≅ AD Reflexive property
5. ᐃADB ≅ ᐃABC Angle-Side-Angle
6. AB ≅ AC Corresponding parts of
congruent triangles
7. ᐃABC is isosceles Two sides are congruent.
Edwin