证明：∵空间四边形是ABCD，AB、AD中点分别为E、F，
∴EF是△ABD的中位线
∴EF∥BD
∵EF不包含于面BCD，BD⊂平面BCD，
∴EF∥面BCD．