在梯形ABCD中,AB‖CD,AE:ED=BF:FC=AB:DC,O为AC与EF的交点,求证:向量EO=向量OF