1. (2024八下·深圳期中) 如图，在菱形ABCD中对角线AC、BD交于点O，过点A作AE⊥BC于点E，延长BC到点F，使 得CF=BE，连接DF。

1. （1） 求证：四边形AEFD是矩形：
3. （2） 连接OF，若AD=5，EC=2，求OF的长。