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

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

⇒ EF // AC và EF = AC/2.

HA = HD, HC = GD

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

⇒ HG // AC và HG = AC/2.

Do đó EF // HG, EF = HG

⇒ EFGH là hình bình hành.

a) Hình bình hành EFGH là hình chữ nhật ⇔ EH ⊥ EF

⇔ AC ⊥ BD (vì EH // BD, EF// AC)

b) Hình bình hành EFGH là hình thoi

⇔ EF = EH

⇔ AC = BD (Vì EF = AC/2, EH = BD/2)

c) EFGH là hình vuông

⇔ EFGH là hình thoi và EFGH là hình chữ nhật

⇔ AC = BD và AC ⊥ DB.