- Vì ta nối DB thì sẽ có HE và GF là đường tb của tam giác ADB và DCB => GF//HE vì cùng // với DB và bằng 1/2 DB (1)
- Nối AC thì sẽ có HG và EF là đường tb của tam giác DCA và BAC => EF//HG vì cùng //AC và bằng 1/2 AC (2)
Từ (1) và (2) => tứ giác HEFG là HBH (có các cặp cạnh // và bằng nhau từng đôi một)
=>Hình đó là hình bình hành