1. (2022八下·怀化期末) 如图，在矩形ABCD中，过对角线AC的中点O作垂线EF交边BC，AD分别为点E，F，连接AE，CF.

 

1. （1） 求证：四边形AECF是菱形；
3. （2） 若AD＝8，AB＝4，求CF的长.