1. (2022·陕西模拟) 如图，AB是⊙O的直径，AC是⊙O的切线，且CA=BA.连接BC，OC.过点A作AD⊥OC于点D，延长AD交BC于点E，交⊙O于点F，连接BF.

 

1. （1） 求证：∠FAB=∠ACD；
3. （2） 若BF=4，求DE的长.