1. (2024八下·深圳期末) 如图， 在▱ABCD中， BC=2AB， E、F分别是BC、AD的中点， AE与BF交于点O， 连接EF、OC.

1. （1）  求证： 四边形 ABEF 是菱形；
3. （2）  若BC=8， ∠ABC=60°， 求OC的长.