在矩形 $\mathit{ABCD}$中，点 $E$在 $\mathit{BC}$上， $\mathit{AE}=\mathit{AD}$， $\mathit{DF}\perp \mathit{AE}$，垂足为 $F$．

（1）求证： $\mathit{DF}=\mathit{AB}$；

（2）若 $\angle \mathit{FDC}=30°$，且 $\mathit{AB}=4$，求 $\mathit{AD}$．