在空间四边形ABCD中,AB=BC=CD=DA=BD=AC=a,E.F为BD.AD的中点,求证:EF是BC与AD的公垂线,并求EF的长。