1. (2022九上·铁岭月考) 如图，▱ABCD的对角线AC，BD交于点O，过点D作DE⊥BC于E，延长CB到点F，使BF＝CE，连接AF，OF．

1. （1） 求证：四边形AFED是矩形；
3. （2） 若AD＝7，BE＝2，∠ABF＝45°，试求OF的长．