Trong  ∆ ABC, ta có:

E là trung điểm của AB (gt)

D là trung điểm của AC (gt)

Nên ED là đường trung bình của  ∆ ABC

⇒ ED//BC và ED = BC/2 (tính chất đường trung bình của tam giác) (l)

* Trong ∆ GBC, ta có:

I là trung điểm của BG (gt)

K là trúng điểm của CG (gt)

Nên IK là đường trung bình của  ∆ GBC

⇒ IK // BC và IK = BC/2 (tỉnh chất đường trung bình của tam giác) (2)

Từ (l) và (2) suy ra: IK // DE, IK = DE.