在菱形ABCD中点E F分别是BC,CD的中点求证AE=AF