如图，在正方形$\mathit{ABCD}$中，点$E$是$\mathit{BC}$上的一点，点$F$是$\mathit{CD}$延长线上的一点，且$\mathit{BE}=\mathit{DF}$，连结$\mathit{AE}$、$\mathit{AF}$、$\mathit{EF}$．

（1）求证：$\mathit{\Delta ABE}\cong \mathit{\Delta ADF}$；

（2）若$\mathit{AE}=5$，请求出$\mathit{EF}$的长．