如图，在平行四边形ABCD中，用直尺和圆规作∠BAD的平分线交BC于点E，OA=OE.(尺规作图的痕迹已经保留在图中了)，连接EF．求证：四边形ABEF为菱形．