Ta có EF // AC ⇒ $\frac{DF}{AD}$ = $\frac{EF}{AC}$ (định lí Ta-let) (1)
GH // AC ⇒ $\frac{GB}{AB}$ = $\frac{GH}{AC}$ (định lí Ta-let) (2)
FG // DB ⇒ $\frac{DF}{AD}$ = $\frac{GB}{AB}$ (định lí Ta-let) (3)
Từ (1), (2) và (3) ⇒ $\frac{EF}{AC}$ = $\frac{GH}{AC}$ ⇒ EF = GH
Xét tứ giác EFGH có EF = GH, EF // GH ( //AC )
⇒ EFGH là hình bình hành