如图,AD是三角形ABC中角BAC的角平分线,AD的垂直平分线EF交AB于E,交AC于F.试说明四边形AEDF是菱形大神