1. (2021·鹿城模拟) 如图，在▱ABCD中，对角线AC，BD交于点O，AE⊥BD，CF⊥BD，垂足分别为E，F.

1. （1） 求证：EO＝FO；
3. （2） 若AE＝EF＝4，求AC的长.