* Trong ABC, ta có:

E là trung điểm của AB (gt)

F là trung điểm của BC (gt)

Nên EF là đường trung bình của ABC

⇒ EF // AC và EF = 1/2 AC (tính chất đường trung bình tam giác) (1)

* Trong DAC, ta có:

H là trung điểm của AD (gt)

G là trung điểm của DC (gt)

Nên HG là đường trung bình của DAC.

⇒ HG // AC và HG = 1/2 AC (tính chất đường trung bình tam giác) (2)

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

Suy ra tứ giác EFGH là hình bình hành (vì có một cặp cạnh đối song song và bằng nhau)

Ta lại có: BD ⊥ AC (gt)

EF // AC (chứng minh trên)

Suy ra: EF ⊥ BD

Trong ABD ta có EH là đường trung bình ⇒ EH // BD

Suy ra: EF ⊥ EH hay (FEH) = 

Vậy hình bình hành EFGH là hình chữ nhật.