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