a, Tam giác ABD và tam giác EBD có:
BE= BA
BD chung
góc ABD= góc EBD (vì BD phân giác)
=> Tam giác ABD= tam giác EBD (c.g.c) (1)
b,
(1)=> DA= DE và BAD= BED= 90 độ
Mặt khác ta có:
góc ABC= góc BAC - góc C= 90 độ- góc C
góc EDC= góc DEC- góc C= 90 độ- góc C
=> góc ABC= góc EDC
c,
Ta có AH vuông góc BC, DE vuông góc BC (vì góc DEC= 90 độ) nên AH//DE