
解:(1)证明:在Rt△ABC中,∵CD是斜边中线,
∴CD=AD,
∴∠A=∠OCE.
又∵OE=OC,
∴∠OCE=∠OEC,
∴∠A=∠OEC,
又∵EF⊥AB于F,
∴∠A+∠FEA=90°,
∴∠OEC+∠FEA=90°,
∴∠OEF=180-(∠OEC+∠FEA)=90°,
∴OE⊥EF,
∴EF是圆O的切线;
(2)∵△AEF∽△ABC,
∴

=

,
即

=

,
设EF=x,则AE=

x.
∵OE⊥FE,FE⊥AB,
∴OE‖AD,
∴

=

=

,
即

=

∴OE=5-

x.
过点O作OG⊥AB,则四边形OEFG为矩形.
①当EF=OE时,圆O与AB相切,
x=5-

x,
解得:x=

,
②当EF<OE时,AB与圆O相交,
x<5-

x,
解得:x<

,
则0<x<

;
③当EF>OE时,AB与圆O相离,
x>5-

x,
解得:x>

,
故5≥x>

.
分析:(1)根据直角三角形斜边的中线等于斜边的一半,可得CD=AD,由等边对等角,得到∠A=∠OCE,还可证明∠A=∠OEC,由EF⊥AB,可得∠OEF=90°,从而得出EF是⊙O的切线.
(2)由△AEF∽△ABC,则

=

,设EF=x,则AE=

x,由OE⊥FE,FE⊥AB,可得出OE‖AD,即

=

=

,则求得OE,我们作圆心O到AB的垂线段,不难发现O到AB的距离=EF(矩形的对边相等),所以现在我们只需要判断EF和半径的大小关系就行了.①当EF=OE时,圆O与AB相切,②当EF<OE时,AB与圆O相交,③当EF>OE时,AB与圆O相离.
点评:此题考查了切线的判定和性质、直角三角形斜边的中线、勾股定理、直线和圆的位置关系,注意分类思想的使用.