EA = EB và DA = DC nên DE là đường trung bình của tam giác ABC. Do đó DE // BC (1) và \(DE=\frac{1}{2}BC\)(2)
IB = IG và KC = KG nên IK là đường trung bình của tam giác GBC. Do đó IK // BC (3) và \(IK=\frac{1}{2}BC\)(4)
Từ (1) và (3) => DE // IK. Từ (2) và (4) => DE = IK (đpcm).