Xét tam giác ABD và tam giác EBD có:
- Cạnh BD chung
- Góc ABD = góc DBE (vì BD là tia phân giác của góc ABE)
- BA = BE (gt)
Do đó tam giác ABD = tam giác EBD (c.g.c)
 Từ tam giác ABD = tam giác EBD
=> Góc A = góc BED (2 góc tương ứng)
Mà góc A = 90 độ nên góc EBD = 90 độ