Question 601480
<pre>
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:

{{{drawing(200,200,-1.2,1.2,-.2,2.2, triangle(-.8,0,0,2,.8,0), 
rectangle(-.1,0,0,.1), red(arc(0,2,1,-1,270,292), arc(0,2,.9,-.9,248,270)),
line(0,2,0,0),locate(-.8,0,B), locate(.8,0,C), locate(-.05,2.15,A), locate(0,0,D), locate(-.03,1,"=") )}}} 
<pre>
1. &#8736;BAD &#8773; &#8736;CAD        Given
2.   AD &#8869; BC          Given
3. &#8736;BDA &#8773; &#8736;CDA        Both are right angles by 2
4.   AD &#8773; AD          Reflexive property
5. &#5123;ADB &#8773; &#5123;ABC        Angle-Side-Angle
6.   AB &#8773; AC          Corresponding parts of
                        congruent triangles
7. &#5123;ABC is isosceles  Two sides are congruent.

Edwin</pre>