如图，在三角形纸片ABC中，AD平分∠BAC，将△ABC折叠，使点A与点D重合，展开后折痕分别交AB、AC于点E、F，连接DE、DF．求证：四边形AEDF是菱形．