Vì AM là tia phân giác của ∠(BAC) nên MH = MK (tính chất tia phân giác)
Xét hai tam giác MHB và MKC, ta có:
∠(MHB) = ∠(MKC) = 90º
MH = MK (chứng minh trên)
MB = MC (gt)
Suy ra: ΔMHB = ΔMKC (cạnh huyền, cạnh góc vuông)
Suy ra: ∠B = ∠C (hai góc tương ứng)
Vậy tam giác ABC cân tại A.