
Áp dụng tính chất của đường trung bình cho tam giác ABD; tam giác ABC; tam giác BCD; tam giác ADC ta có:
EH//BD; EF//AC; FG//BD; GH//AC
Do đó tứ giác EFGH là hình bình hành (theo dấu hiệu nhận biết của hình bình hành) (1)
Lại áp dụng tính chất hai có các cạnh tương ứng song song thì bằng nhau ta được
(2)
Từ (1) và (2) suy ra hình bình hành EFGH là hình chữ nhật (theo dấu hiệu nhận biết của hình chữ nhật)(đpcm)