Gọi K là giao của PF với AN ta có

FE//AN và FP//AB => Tứ giác AKDE là hình bình hành (Tứ giác có các cặp cạnh đối // với nhau từng đôi một là hbh)

=> ^AEF=^AKF (góc đối của hình bh) (1)

^MAK=^AEF (góc đồng vị) (2)

^MAK=^KAF (đề bài) (3)

Từ (1) (2) (3) => ^KAF=^AKF (4)

^AKF=^EFP (góc đồng vị) (5)

^KAF=^AFE (góc so le trong) (6)

Từ (4) (5) (6) => ^AFE=^EFP => FE là tia phân giác của ^AFP