在空间四边形ABCD中,各条边与对角线长都相等,且EF为其对角线AC,BD的中点求证EF为异面直线AC,BD的公垂线