在梯形ABCD中,AD平行于BC,EF是他的中位线,求证EF平行于AD平行于BC