∆ABC có: E là trung điểm AB, D là trung điểm AC nên ED là đường trung bình của ∆ABC. Suy ra ED // BC và ED = 12BC. (1)

∆GBC có: I là trung điểm GC, K là trung điểm GB nên IK là đường trung bình của ∆GBC. Suy ra IK // BC và IK = 12BC. (2)

Từ (1) và (2) suy ra ED // IK và ED = IK nên tứ giác EDKI là hình bình hành.