Xét tam giác ABN và ACM có: AB = AC (vì tam giác ABC cân tại A); góc A chung; AN = AM (gt)
=> tam giác ABN = ACM (c - g - c)
=> góc ABN = ACM (2 góc tương ứng)
Mà có góc ABC = ACB (do tam giác ABC cân tại A)
Nên góc ABC - ABN = ACB - ACM => góc IBC = ICB => tam giác BIC cân tại I