(2013年四川广安9分)如图,在△ABC中,AB=AC,以AB为直径作半圆⊙0,交BC于点D,连接AD,过点D作DE⊥AC,垂足为点E,交AB的延长线于点F. (1)求证:EF是⊙0的切线.(2)如果⊙O的半径为5,sin∠ADE= ,求BF的长.