如图，在△ABC中，AD是∠BAC的平分线，EF垂直平分AD交AB于E，交AC于F．

求证：四边形AEDF是菱形．