Áp dụng bđt tam giác, ta có:
AB+AI > BI = MB+MI, CI + MI > MC
=> AB + AI + CI + MI > MB + MI + MC
Mà AI + CI = AC
=> AB + AC > MB + MC [1]
Áp dụng bđt tam giác, ta cũng có:
BA + BC > MA + MC [2], CA + CB > MA + MB [3]
Từ [1][2][3] => 2 (AB+AC+CA) > MA + MB + MC
=> MA + MB + MC < AB + AC + BC (đpcm)