如图,已知在△ABC中,AD是角平分线,AD的垂直平分线分别交AB、AC于点E、F.试说明:四边形AEDF是菱形.