在梯形ABCD中,AD//BC,AB=CD,对角线AC、BD交于点O,点E、F分别在线段OA、OD上,且AE=DF,求证