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 vuông khi và chỉ khi EFGH là hình chữ nhật đồng thời là hình thoi

⇔ AD ⊥ BC và AD = BC