MC cắt BN tại K.
$\triangle MAC = \triangle BAN (c.g.c)$
$MA = AB, AC = AN, \widehat{MAC} = \widehat{NAB} = 90^o + \widehat{BAC}$
$\rightarrow MC = BN, \widehat{AMC} = \widehat{ABN} \rightarrow \widehat{MKB} = 180^o - (\widehat{MBK} + \widehat{BMK}) = 180^o - (\widehat{AMB} + \widehat{ABM}) = 90^o \rightarrow MC \perp BN$
DE, EF là đường trung bình tam giác MBC, BCN
$\rightarrow DE = \dfrac{MC}{2} = \dfrac{BN}{2} = EF$
$\rightarrow DE // MC, NB // EF, MC \perp BN \rightarrow DE \perp EF$ tại E $\rightarrow
\widehat{DEF} = 90^o$
$\rightarrow \triangle DEF$ vuông cân tại E (dpcm)