如图，四边形 $A B C D$ 是矩形，直线 $l$ 垂直平分线段 $A C$ ，垂足为点 $O$ ，直线 $l$ 分别交线段 $A D$ ， $C B$ 的延长线交于点 $E 、 F$ ．
（1）求证：四边形 $A F C E$ 是菱形；
（2）若 $\tan \angle A C B=2, B C=1$ ，则 $E F$ 的长为
（1）求证：四边形 $A F C E$ 是菱形；
（2）若 $\tan \angle A C B=2, B C=1$ ，则 $E F$ 的长为