1. (2021九上·琼海期末) 如图，菱形ABCD的对角线交于点O，点E是菱形外一点，DE//AC，CE//BD.

1. （1） 求证：四边形DECO是矩形；
3. （2） 连接AE交BD于点F，如图，

   ①求证：△AFO≌△EFD；

   ②当∠ADB=30°，DE=4时，求AF的长度.