Xét ΔAED vuông tại E và ΔCFB vuông tại F có
AD=CB(Hai cạnh đối của hình bình hành ABCD)
\(\widehat{D}=\widehat{B}\)(Hai góc đối của hình bình hành ABCD)
Do đó: ΔAED=ΔCFB(cạnh huyền-góc nhọn)
Suy ra: AE=CF(Hai cạnh tương ứng) và ED=FB(hai cạnh tương ứng)
Ta có: ED+EC=DC(E nằm giữa D và C)
FB+FA=AB(F nằm giữa A và B)
mà AB=DC(Hai cạnh đối của hình bình hành ABCD)
và ED=FB(cmt)
nên EC=FA
Xét tứ giác ECFA có
EC=FA(cmt)
EA=CF(cmt)
Do đó: ECFA là hình bình hành(Dấu hiệu nhận biết hình bình hành)