1. (2019·郊区模拟) 如图，四边形ABCD中，连接AC ， AC＝AD ， 以AC为直径的⊙O过点B ， 交CD于点E ， 过点E作EF⊥AD于点F ．

1. （1） 求证：EF是⊙O的切线；
3. （2） 若∠BAC＝∠DAC＝30°，BC＝2，求 的长．（结果保留π）