如图，菱形ABCD的对角线AC与BD交于点O，点E、F分别在AD，CD上，AE=CF，EF交BD于点H，将△DEF沿EF折到△D′EF的位置．