如图,O是菱形ABCD的对角线AC、BD的交点,E、F分别是OA、OC的中点.下列结论:①S△ADE=S△EOD;②四边形BFDE也是菱形;③四边形ABCD的面积为EF×BD;④∠ADE=∠EDO;⑤△DEF是轴对称图形;其中正确的结论有( ).