如图,在三角形ABC中,AB=AC.D、E、F分别是AB、BC、CA的中点.求证:四边形ADEF是菱形