直线a经过正方形ABCD的顶点A,分别过顶点B、D作BE⊥a于点E、DF⊥a于点F,若BE=4,DF=3,求EF的长及正