• 1. (2020八上·张掖期末) 如图所示，直线a经过正方形ABCD的顶点A，分别过正方形的顶点B、D作BF⊥a于点F，DE⊥a于点E，若DE＝5，BF＝8则EF的长为.