Vì AE=CF và AE//CF (AB//CD do hbh ABCD) nên AECF là hbh
\(\left\{{}\begin{matrix}AE=CF\\AM=CN\\\widehat{A}=\widehat{C}\left(hbh.ABCD\right)\end{matrix}\right.\Rightarrow\Delta AME=\Delta CNF\left(c.g.c\right)\\ \Rightarrow ME=NF\left(4\right)\\ \left\{{}\begin{matrix}AE=CF\\AB=CD\end{matrix}\right.\Rightarrow AB-AE=CD-CF\Rightarrow BE=DF\left(1\right)\\ \left\{{}\begin{matrix}AM=CN\\AD=BC\end{matrix}\right.\Rightarrow AD-AM=CN-BC\Rightarrow DM=BN\left(2\right)\)
ABCD là hbh nên \(\widehat{B}=\widehat{D}\left(3\right)\)
\(\left(1\right)\left(2\right)\left(3\right)\Rightarrow\Delta DMN=\Delta BFE\left(c.g.c\right)\\ \Rightarrow MN=EF\left(5\right)\)
(4)(5) suy ra MENF là hbh