感知:如图①,在正方形$ABCD$中,点$E$在对角线$AC$上（不与点$A$、$C$重合),连结$ED$,$EB$,过点$E$作$EF\bot ED$,交边$BC$于点$F$.易知$\angle EFC+\angle EDC=180^{\circ}$,进而证出$EB=EF$.

探究:如图②,点$E$在射线$CA$上（不与点$A$、$C$重合）,连结$ED$、$EB$,过点$E$作$EF\bot ED$,交$CB$的延长线于点$F$.求证:$EB=EF$

应用:如图②,若$DE=2$,$CD=1$,则四边形$EFCD$的面积为＿＿＿.