+ Ta có
MN//BC => BMNC là hình thang (theo định nghĩa)
Ta m giác ABC cân tại A => ^ABC = ^ACB
=> BMNC là hình thang cân
+ Xét tam giác MBI có
^MIB = ^IBC (góc so le trong) (1)
^IBC = ^IBM (BI là phân giác ^B) (2)
Từ (1) và (2) => tam giác MBI cân tại M => MI = MB (*)
+ Xét tam giác NCI chứng minh tương tự ta cũng có NI = NC (**)
Từ (*) và (**) => MI + NI = MB + NC => MN = MB + NC (dpcm)