已知空间四边形ABCD中,E,F分别是AB,AD的中点求证:EF 平面BCD