如图，矩形ＡＢＣＤ中，Ｏ是ＡＣ与ＢＤ的交点，过点Ｏ的直线ＥＦ与ＡＢ、ＣＤ的延长线分别交于点Ｅ、Ｆ．
（1）求证：△ＢＯＥ≌△DOF；
（2）当EF与AC满足什么条件时四边形ＡＥＣＦ是菱形，并证明你的结论．