Kẻ AH ⊥ BC.
Ta có: EF // BC (gt) ⇒ AH ⊥ EF
Lại có: AE = AF (chứng minh trên)
Vậy đường cao AH là đường trung trực của EF.
Vì B là trung điểm DF và DF // AC nên đường cao kẻ từ đỉnh B của ΔABC là đường trung trực DF.
Vì C là trung điểm DE và DE // AB nên đường cao kẻ từ đỉnh C của ΔABC là đường trung trực của DE.