1. (2022八下·沂南期末) 如图，在平行四边形ABCD中，对角线AC，BD交于点O，过点A作AE⊥BC于点E，延长BC到点F，使CF＝BE，连接DF．

1. （1） 求证：四边形ADFE是矩形；
3. （2） 连接OF，若AD＝6，EC＝4，∠ABF＝60°，求OF的长度．