如图，菱形ABCD的对角线AC与BD相交于点O，点E、F分别为边AB、AD的中点，连接EF、OE、OF。求证：四边形AEOF是菱形。