a) Xét tam giác ABD vuông tại A và tam giác EBD vuông tại E, ta có:

`\hat(ABD)=\hat(EBD)` (BD là tia phân giác góc ABC)

BD là cạnh chung.

`=>\triangleABD=\triangleEBD` (cạnh huyền-góc nhọn).

b) Ta có: `\triangleABD=\triangleEBD` nên:

`BA=BE`, `DA=DE` (2 cạnh tương ứng).

=> BD là đường trung trực của đoạn AE.

=> BD vuông góc với AE.