如图，在 $▱\mathit{ABCD}$中， $\mathit{DC}>\mathit{AD}$，四个角的平分线 $\mathit{AE}$， $\mathit{DE}$， $\mathit{BF}$， $\mathit{CF}$的交点分别是 $E$， $F$，过点 $E$， $F$分别作 $\mathit{DC}$与 $\mathit{AB}$间的垂线 $M{M}^{\text{'}}$与 $N{N}^{\text{'}}$，在 $\mathit{DC}$与 $\mathit{AB}$上的垂足分别是 $M$， $N$与 $M\text{'}$， $N\text{'}$，连接 $\mathit{EF}$．

（1）求证：四边形 $\mathit{EFNM}$是矩形；

（2）已知： $\mathit{AE}=4$， $\mathit{DE}=3$， $\mathit{DC}=9$，求 $\mathit{EF}$的长．