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)