• 1. (2017·淳安模拟) 如图，在△ABC中，AD是∠BAC的平分线，EF垂直平分AD交AB于E，交AC于F．

  求证：四边形AEDF是菱形．