Xét tam giác ABC:
Ta có: EB = EA, FA = FC (gt)
Nên EF // BC, EF = \(\displaystyle {1 \over 2}\) BC.
Xét tam giác BDC có
HB = HD, GD = GC (gt)
Nên HG // BC, HG = \(\displaystyle {1 \over 2}\) BC.
Do đó EF //HG, EF = HG.
Tương tự EH // FG, EH = FG
Vậy EFGH là hình bình hành.
a) EFGH là hình chữ nhật ⇔ EH ⊥ EF ⇔ AD ⊥ BC
b) EFGH là hình thoi ⇔ EH = EF ⇔ AD = BC
c) EFGH là hình vuông ⇔ AD ⊥ BC và AD = BC