Xét ΔABE vuông tại E(AD⊥BE) và ΔAFE vuông tại E(AD⊥BE,F∈BE) có

AE chung

^BAE=FAE(do AE là tia phân giác của góc A)

Do đó: ΔABE=ΔAFE(cạnh góc vuông, góc nhọn kề)

⇒AB=AF(hai cạnh tương ứng)

b) 

Xét tứ giác HFKD có HF//DK(do HF//BC,D∈BC) và HF=DK(gt)

nên HFKD là hình bình hành(dấu hiệu nhận biết hình bình hành)

⇒HD//KF và HD=KF(hai cạnh đối trong hình bình hành HFKD)