在△ABC中,AD是角平分线,AD的垂直平分线分别交AB,AC于点E,F,说明四边形AEDF是菱形