Xét tam giác ABC:
Ta có: EB = EA, FA = FC (gt)
Nên EF là đường trung bình của tam giác ABC
Nên EF // BC, EF = 1/2 BC.
Xét tam giác BDC có
HB = HD, GD = GC (gt)
Nên HG là đường trung bình của tam giác BDC
Nên HG // BC, HG = 1/2 BC.
Do đó EF //HG, EF = HG.
Tương tự EH // FG, EH = FG
Vậy EFGH là hình bình hành.
EFGH là hình thoi ⇔ EH = EF ⇔ AD = BC