Ta có hình vẽ:
a/ Xét tam giác AKB và tam giác AKC có:
AB = AC (GT)
góc BAK = góc CAK (vì AK là phân giác góc A)
AK: cạnh chung
Vậy tam giác AKB = tam giác AKC (c.g.c)
b/ Vì tam giác AKB = tam giác AKC
nên góc AKB = góc AKC (1)
Mà góc AKB + góc AKC = 1800 ( vì kề bù ) (2)
Từ (1), (2) => AK \(\perp\)BC