
分析:辅助线,连接OC与OE.根据一条弧所对的圆周角等于它所对的圆心角的一半,可知∠EOC的度数;再根据切线的性质理,圆的切线垂直于经过切点的半径,可知OC⊥AB;又EF∥AB,可知OC⊥EF,最后由三角函数和垂径定理可将EF的长求出.
解答:

解:连接OE和OC,且OC与EF的交点为M.
∵∠EDC=30°,
∴∠COE=60°.
∵AB与⊙O相切,
∴OC⊥AB,
又∵EF∥AB,
∴OC⊥EF,即△EOM为直角三角形.
在Rt△EOM中,EM=sin60°×OE=

×2=

,
∵EF=2EM,
∴EF=

.
故答案为:2

.
点评:本题主要考查切线的性质及直角三角形的勾股定理.