如图,已知在△abc中,ab=ac,四边形adef是菱形