Xét ∆DEF , ta có:
2 tia phân giác góc D và góc E cắt nhau tại I ( gt )
=> I là giao điểm của 3 đường phân giác trong ∆DEF
=> FI là đường phân giác của ∆DEF
=>
Mà
Nên
Vậy ∆NFI cân tại N => NI = NF (1)
Ta có:
Nên
=> ∆MEI cân tại M => MI = ME (2)
Từ (1) và (2) và MN = MI + NI
=> MN = ME + NF