+ MN // EF => MI // EF =>
Mà
=>
=> ∆MEI cân tại M
=> ME = MI.
+ IF là đường phân giác của
IN // EF =>
=>
=> ∆ NIF cân tại N => NI = NF
+ Có MI + NI = MN; MI = ME; NI = NF
=> ME + NF = MN.
+ MN // EF => MI // EF =>
Mà
=>
=> ∆MEI cân tại M
=> ME = MI.
+ IF là đường phân giác của
IN // EF =>
=>
=> ∆ NIF cân tại N => NI = NF
+ Có MI + NI = MN; MI = ME; NI = NF
=> ME + NF = MN.