证明：过F做直线FG⊥AB于G.
过M做直线MH⊥BC于H.
EF交MN于O点.
∵EF⊥MN
∴∠EOM=90°
在四边形AMOE中
∠AEO+∠AMO=360°－∠A－∠EOM
∠AEO+∠AMO=180°
∠AEO+∠BEF=180°
∠BEF=∠AMO
∵AD‖BC
∴∠AMO=∠MNC
∠BEF=∠MNC
∵ABCD是正方形
∴MH=GF
△EFG≌△MNH
∴EF=MN
祝你学习天天向上,加油!