Xét Δ vuông MHB và Δ vuông MKC có:
BM=CM (do M là trung điểm của BC giả thiết)
ˆHBM=ˆKCM (do ΔABCΔABC cân đỉnh A giả thiết)
⇒ΔMHB=ΔMKC (ch-gn)
⇒HB=KC(hai cạnh tương ứng)
Mà AB=AC (do ΔABCcân đỉnh A)
⇒AB−HB=AC−KC
⇒AH=AK (đpcm)
⇒ΔAHK cân đỉnh A ⇒ˆAHK=180o−ˆA/2
ΔABC cân đỉnh A ⇒ˆABC=180o−ˆA/2
⇒ˆAHK=ˆABC(=180o−ˆA/2)
Mà chúng ở vị trí đồng vị nên ⇒HK//BC(đpcm)