平面ABCD⊥平面ABEF,ABCD为正方形,ABEF为矩形,且AF=1/2AD=a,B是E、F的中点.