【解析】
作$DG⊥DF$交$BC$的延长线于点$G$。
∵四边形$ABCD$是正方形,
∴$AD=CD$,$∠A=∠DCG=∠ADC=90°$,
∴$∠CDG=∠ADF=90°-∠FDC$。
在$△ DAF$和$△ DCG$中,
$\{\begin{array}{l}∠A=∠DCG\\AD=CD\\∠ADF=∠CDG\end{array} $
∴$△ DAF≌△ DCG$(ASA),
∴$AF=CG$,$DF=DG$。
∵$∠EDF=45°$,
∴$∠EDG=∠ADC - ∠EDF=90°-45°=45°$,即$∠EDG=∠EDF$。
在$△ DFE$和$△ DGE$中,
$\{\begin{array}{l}DF=DG\\∠EDF=∠EDG\\DE=DE\end{array} $
∴$△ DFE≌△ DGE$(SAS),
∴$EF=EG$。
∵$AB=6$,$E$是$BC$的中点,
∴$BE=EC=3$,设$AF=x$,则$BF=6-x$,$CG=x$,$EG=EC+CG=3+x$,故$EF=3+x$。
在$Rt△ BEF$中,由勾股定理得:$BF^2 + BE^2 = EF^2$,
即$(6-x)^2 + 3^2 = (3+x)^2$,
解得$x=2$,
∴$EF=3+2=5$。
【答案】
$\boldsymbol{5}$
【知识点】
正方形的性质;全等三角形的判定与性质;勾股定理
【点评】
本题通过构造辅助线构造全等三角形,将分散的线段进行转化,结合勾股定理建立方程求解,体现了转化思想在几何解题中的应用,是正方形与全等三角形、勾股定理综合的典型题型。