a. Xét tam giác ABD và tam giác EBD có:
BA=BE(giả thiết)
góc ABD= góc EBD(vì BD là tia phân giác góc ABE)
BD chung
=>tam giác ABD=tam giác EBD(c-g-c)
=>gócBAD=gócBED= 90 độ
=>DE vuông góc với BE
vì tam giác ABD= tam giác EBD
=>AB=AE
=>tam giác ABE cân tại A
mà BD là đường phân giác
=>BD là đường trung trực của AE