Gọi M, N là trung điểm của AB và AC.
Ta có: AM = 1/2 AB (gt); AN = 1/2 AC (gt)
Mà AB = AC (gt)
⇒ AM = AN
Xét hai tam giác vuông AMI và ANI, ta có:
∠(AMI) = ∠(ANI) = 90o
AM = AN (chứng minh trên)
AI cạnh huyền chung
⇒ ΔAMI= ΔANI (cạnh huyền, cạnh góc vuông)
⇒ ∠(A1) = ∠(A2) (hai góc tương ứng)
Vậy AI là tia phân giác của ∠(BAC)