Ta có EB = EA, FB = FC (gt)

⇒ EF là đường trung bình của ΔABC

⇒EF // AC và EF = AC/2 (1)

HD = HA, GD = GC

⇒ HG là đường trung bình của ΔADC

⇒ HG // AC và HG = AC/2 (2)

Từ (1) và (2) suy ra EF // HG và EF = HG

⇒ Tứ giác EFGH là hình bình hành (*)

EA = EB, HA = HD ⇒ EH là đường trung bình của ΔABD ⇒ EH // BD.

Mà EF // AC, AC ⊥ BD

⇒ EH ⊥ EF ⇒ Ê = 90º (**)

Từ (*) và (**) suy ra EFGH là hình chữ nhật.