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.