1. (2019·咸宁模拟) 如图，AB为半圆O的直径，AC是⊙O的一条弦，D为弧BC的中点，作DE⊥AC于点E，交AB的延长线于点F，连接DA．

1. （1） 求证：EF为半圆O的切线；
3. （2） 若DA=DF=6 ，求弧BD的长．（结果保留π）