a) Có: AH là đường cao của tam giác ABC (gt) nên:
⇒ AH⊥BC tại H
Xét tam giác ABC, có:
E là trung điểm của AB (gt)
F là trung điểm của AC (gt)
⇒ EF là đường trung bình trong tam giác ABC (dhnb)
⇒ EF//BC (Tính chất đường trung bình trong tam giác)
Có: AH⊥BC tại H (cmt)
EF//BC (cmt)
⇒ EF⊥AH tại K (Quan hệ từ vuông góc đến song song)
b) Xét tam giác ABH, có:
E là trung điểm của AB (gt)
EK//BH (EF//BC)
⇒ K là trung điểm của AH (Định lý 1)