1. (2022·玉溪模拟) 如图，平行四边形ABCD的对角线 AC，BD 交于点 O，AE⊥BC于点 E，点F在BC延长线上，且CF＝BE．

1. （1） 求证：四边形 AEFD 是矩形；
3. （2） 连接 AF，若  ， BE＝1，AD＝3，求AF的长．