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.