Gọi I là giao điểm của AD và BC
Vì BC là đường trung trực của AD nên theo tính chất đường trung trực ta có:
BA = BD
Tam giác BAD cân tại B có BI ⊥ AD nên BI là tia phân giác của góc ABD
Tam giác EBF có BH là tia phân giác của góc EBF và BH ⊥ EF nên tam giác EBF cân tại B.