Xét ΔADB vuông tại D và ΔAEC vuông tại E, ta có:
AB = AC (giả thiết)
∠(BAC) chung
⇒ ΔADB = ΔAEC (cạnh huyền, góc nhọn)
⇒ AD = AE (hai cạnh tương ứng)
Xét ΔADK vuông tại D và ΔAEK vuông tại E có:
AD = AE (chứng minh trên)
AK cạnh chung
⇒ ΔADK = ΔAEK (cạnh huyền, cạnh góc vuông)
⇒ ∠(DAK) = ∠(EAK) (hai góc tương ứng)
Vậy AK là tia phân giác của góc BAC.