Vì E, F, G, H lần lượt là trung điểm các cạnh AB,BC,CD,DA nên EF, FG, GH, HE lần lượt là đường trung bình của tam giác ABC, BCD, ADC, ADB nên
EF//HG (cùng song song với AC)
HE//FG (cùng song song với BD)
Suy ra tứ giác EFGH là hình bình hành
Mà A C ⊥ B D (gt) ⇒ E F ⊥ F G
Suy ra EFGH là hình chữ nhật
Do đó S E F G H = H E . E F mà E F = 1 2 A C ; H E = 1 2 B D (tính chất đường trung bình)