题目如图,在四边形ABCDABCDABCD中,∠BAD=∠BCD=90∘\angle BAD=\angle BCD=90^{\circ}∠BAD=∠BCD=90∘,BC=13BC=13BC=13,AB=ADAB=ADAB=AD,延长BCBCBC到点FFF,使CF=9CF=9CF=9,点EEE是CDCDCD的延长线上一点,且∠FAE=45∘\angle FAE=45^{\circ}∠FAE=45∘,连接EFEFEF.已知DE=6DE=6DE=6,则线段EFEFEF的长为______.知识点:锐角三角函数的定义章节:图形的变化 / 锐角三角函数