I và K lần lượt là trung điểm của các cạnh AB và BC ⇒ IK là đường trung bình của ∆ABC nên IK // AC ⊂ (AFC) ⇒ IK // (AFC)

hình hộp ABCD.EFGH nên các mặt của hình hộp là hình bình hành.

Suy ra: EF// CD(cùng // GH) và EF = CD ( cùng = GH)

EFCD là hình bình hành

⇒ ED // CF

Nên ED // (AFC)

⇒ ba vecto AF→, IK→ , ED→ đồng phẳng (vì giá của chúng song song với một mặt phẳng)