Kẻ CN _I_ AB
mà ME _I_ AB (gt)
=> CN // ME
Kẻ MP _I_ CN
mà EN _I_ CN
=> MP // EN
Xét tam giác MEN và tam giác NPM có:
EMN = PNM (2 góc so le trong, ME // NP)
MN chung
MNE = NMP (2 góc so le trong, MP // EN)
=> Tam giác MEN = Tam giác NPM (g.c.g)
ABC = PMC (2 góc đồng vị, MP // EN)
ABC = FCM (tam giác ABC cân tại A)
=> PMC = FCM
Xét tam giác PMC vuông tại P và tam giác FCM vuông tại F có:
MC chung
PMC = FCM (chứng minh trên)
=> Tam giác PMC = Tam giác FCM (cạnh huyền - góc nhọn)
=> PC = FM (2 cạnh tương ứng)
mà ME = NP (Tam giác MEN = Tam giác NPM)
=> ME + FM = NP + PC = NC
mà NC không thay đổi
=> ME + FM không thay đổi (đpcm)