[BD - bisectoare ⇒ ∡(ABD) ≡ ∡(DBC) (1)
a) Comparăm triunghiurile dreptunghice ABD și EBD:
∡(ABD) ≡ ∡(DBC) ⇒ ∡(ABD) ≡ ∡(DBE) (1)
[BD] - latură comună (2)
Din (1), (2) ⇒ ΔABD ≡ ΔEBD (cazul ipotenuză -unghi) ⇒
⇒ [AB] ≡ [BE] ⇒ ΔABE - isoscel (3)
[BD - bisectoarea unghiului B (4)
Din (3), (4) ⇒ [BD include înălțimea triunghiului , adică BD ⊥ AE
b) Se observă că punctul D este ortocentrul triunghiului FBC, deci BD⊥FC.
Cum BD ⊥ AE, rezultă că AE||FC.