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.