a) Xét tam giác ABD và tam giác EBD có:
+ ^ABD = ^EBD (do BD là phân giác ^B).
+ BD chung.
+ AB = BE (gt).
=> Tam giác ABD = Tam giác EBD (c - g - c).
=> DA = DE (2 cạnh tương ứng).
b) Tam giác ABD = Tam giác EBD (cmt).
=> ^BAD = ^BED (2 góc tương ứng).
Mà ^BAD = 90o (gt).
=> ^BED = 90o.