已知EF是梯形ABCD的中位线,且AD//BC,用向量法证明梯形的中位线定理