如图，在△ABC中，AB=AC，以AB为直径作半圆⊙0，交BC于点D，连接AD，过点D作DE⊥AC，垂足为点E，交AB的延长线于点F．

（1）求证：EF是⊙0的切线;
（2）如果⊙0的半径为9，sin∠ADE=，求AE的长．