1. (2022九上·兴化开学考) 已知：如图，菱形ABCD，分别延长AB，CB到点F，E，使得BF＝BA，BE＝BC，连接AE，EF，FC，CA．

1. （1） 求证：四边形AEFC为矩形；
3. （2） 连接DE交AB于点O，如果DE⊥AB，AB＝4，求DE的长．