1. (2017·赤壁模拟) 如图，在△ABC中，AB=AC，以AB为直径作半圆⊙O，交BC于点D，连接AD，过点D作DE⊥AC，垂足为点E，交AB的延长线于点F．

1. （1） 求证：EF是⊙0的切线．
3. （2） 如果⊙0的半径为5，sin∠ADE= ，求BF的长．