如图,AB∥CD,AD、BC交于O点,EF过点O分别交AB、CD于E、F,且AE=DF,求证:O是BC的中点.