1. (2022九上·交城期末) 如图，菱形ABCD的对角线AC、BD相交于点O，过点D作DE∥AC，且DE＝AC，连接CE、OE，OE交DC于点F．

1. （1） 求证：四边形OCED是矩形；
3. （2） 若AD＝6，求OF的长．