连接OA,延长EF交OA于G,
∵OC⊥AB,∴AD=1/2AB=4,AF=1/4AB=2,
在RTΔAOD中,OA=OC=5,∴OD=√(OA^2-AD^2)=3,
∴CD=OC-OD=2；
∵EF⊥AB,∴EF∥OC,
∴ΔAFG∽ΔADO,
∴FG/OD=AF/AD=1/2,∴FG=1/2OD=1.5,
过E作EH⊥OC于H,连接OE,EH=DF=2,
∴AH=√(OE^2-EH^2)=√21,
∴EF=DH=OH-OD=√21-3.