∵∠1=∠2,EF⊥BC,∠BAE=90°,
∴AE=EF(角平分线性质定理),
过E作EG⊥AD于G,∵AD⊥BC,EF⊥BC,
∴AD∥EF,四边形EFDG是矩形(有三个角是直角的四边形是矩形),
∴∠GAE=∠MFFN,DF=EG,
∴RTΔAEG≌RTΔFEF(AAS),
∴FM=EG,
∴FM=DF.
∵∠1=∠2,EF⊥BC,∠BAE=90°,
∴AE=EF(角平分线性质定理),
过E作EG⊥AD于G,∵AD⊥BC,EF⊥BC,
∴AD∥EF,四边形EFDG是矩形(有三个角是直角的四边形是矩形),
∴∠GAE=∠MFFN,DF=EG,
∴RTΔAEG≌RTΔFEF(AAS),
∴FM=EG,
∴FM=DF.