如图，正方形 $\mathit{ABCD}$边长为3，连接 $\mathit{AC}$， $\mathit{AE}$平分 $\angle \mathit{CAD}$，交 $\mathit{BC}$的延长线于点 $E$， $\mathit{FA}\perp \mathit{AE}$，交 $\mathit{CB}$延长线于点 $F$，则 $\mathit{EF}$的长为　　．