Để chứng minh tam giác BHA = tam giác AKC, ta cần chứng minh hai tam giác này có cùng một góc. Vì tam giác ABC là tam giác vuông tại A và AB = AC, ta có AB = AC. Do đó, tam giác ABC là tam giác cân tại A. Khi đường thẳng d cắt BC tại M, ta có BM = MC (do tam giác ABC là tam giác cân). Kẻ BH vuông góc với d tại H, ta có AH là đường cao của tam giác ABC. Tương tự, kẻ CK vuông góc với d tại K, ta có AK là đường cao của tam giác ABC. Vì AH và AK là hai đường cao của tam giác ABC, nên ta có AH = AK. Do đó, tam giác BHA và tam giác AKC là hai tam giác có cạnh chung AH = AK và cạnh đối BM = MC. Vì hai tam giác có cạnh chung và hai cạnh đối bằng nhau, nên theo trường hợp SBC (SAS - Side-Angle-Side), ta có tam giác BHA = tam giác AKC. Vậy, ta đã chứng minh được tam giác BHA = tam giác AKC