三角形ABC中,AB等于AC,D是BC的中点,DE//AC,DF//AB,求证四边形AEDF是菱形