题目如图,在正方形ABCDABCDABCD中,AB=4AB=4AB=4,EEE为ABABAB的中点,连接DEDEDE,将△DAE\triangle DAE△DAE绕点DDD按逆时针方向旋转90∘90^{\circ}90∘得到△DCF\triangle DCF△DCF,连接EFEFEF,则EFEFEF的长为______.知识点:勾股定理章节:图形的性质 / 三角形