Gọi ID là trung trực của AB

IE là trung trực của AC

(chưa thêm trên hình bn tự bổ sung vào)

Xét tam giác ABE và tam giác ACD có:

A: góc chung

AB = AC (tam giác ABC cân)

góc D = góc E = 900 (vì ID;IE là đường trung trực của AB;AC)

=> tam giác ABE = tam giác ACD

=> BI = CI (2 cạnh tương ứng)

Xét tam giác ABI và tam giác ACI có:

AB = AC (tam giác ABC cân)

AI: chung

BI = CI (chứng minh trên)

=> tam giác ABI = tam giac ACI (c.c.c)

=> góc BAI = góc CAI (2 góc tương ứng)

Vậy AI là phân giác góc A

-> Ta có: đpcm.