题目如图所示,直线aaa经过正方形ABCDABCDABCD的顶点AAA,分别过顶点BBB、DDD作DE⊥aDE\bot aDE⊥a于点EEE、BF⊥aBF\bot aBF⊥a于点FFF,若DE=4DE=4DE=4,BF=3BF=3BF=3,则EFEFEF的长为______.知识点:全等三角形的判定与性质章节:图形的性质 / 三角形