已知梯形ABCD中,AD//BC,F是DC的中点,AF交BC的延长线与点E,且AB=BE,求证:BF垂直AE