如图,梯形ABCD中,AB∥DC,对角线AC,BD交于O,过O作EF∥AB