(1)证明:∵BE切⊙O于点B,
∴∠ABE=∠C.
∵∠EBC=2∠C,
即∠ABE+∠ABC=2∠C.

∴∠ABC=∠C.
∴AB=AC.
(2)解:①如图,连接AO,交BC于点F
∵AB=AC,∴

;
∴AO⊥BC,且BF=FC.
∵

∴

∴

;
设AB=

m,BF=2m,
由勾股定理,得AF=

=

;
∴tan∠ABE=tan∠ABF=

.
②在△EBA和△ECB中,
∵∠E=∠E,∠EBA=∠ECB,∴△EBA∽△ECB,
∴

;
∵

,
∴EB=

EA(※);
由切割线定理,得EB
2=EA×EC=EA(EA+AC);
将(※)式代入上式,得

EA
2=EA(EA+AC);
∵EA≠0,
∴AC=

EA=

×

=4.
分析:(1)BE切⊙O于点B,根据弦切角定理得到∠ABE=∠C,把求证AB=AC的问题转化为证明∠ABC=∠C的问题.
(2)①连接AO,交BC于点F,tan∠ABE=tan∠ABF=

,转化为求AF的问题.
②在△EBA和△ECB中,∠E=∠E,∠EBA=∠ECB,得到△EBA∽△ECB,再由切割线定理,得EB
2=EA×EC=EA(EA+AC),就可以求出AC的长.
点评:本题主要考查了相似三角形的性质,对应边的比相等,以及切割线定理.