设空间四边形ABCD的四条边及两条对角线AC,BD的长均为a,E,F分别为BC,AD的中点