
(1)证明:如图,连接CD,
∵BC是直径,
∴∠BDC=90°,
即CD⊥AB.
∵AC=BC,
∴AD=BD.
(2)证明:连接OD,
∵∠A=∠B,∠AED=∠BDC=90°,
∴∠ADE=∠DCO.
∵OC=OD,
∴∠DCO=∠CDO.
∴∠CDO=∠ADE.
由(1)得∠ADE+∠CDE=90°,
∴∠CDO+∠CDE=90°.
即∠ODF=90°.
∴DF是⊙O的切线.
(3)解:在Rt△DOF中,
∵sin∠F=

,
∴OF=5.
∵OC=3,
∴CF=5-3=2.
由(2)得∠DEA=∠ODF=90°,
∴OD∥AC.
∴△CEF∽△ODF.
∴

.
即

.
∴DE=

.
分析:(1)连接CD,由圆周角定理易得CD⊥AB,又有AC=BC,故AD=BD.
(2)连接OD,根据三角形中角的互余关系可得∠ODF=90°,故DF是⊙O的切线.
(3)根据三角函数的定义,可得sin∠F=

,进而可得CF=5-3=2,再根据比例的关系,代入数据可得答案.
点评:本题考查切线的判定,线段等量关系的证明及线段长度的求法,要求学生掌握常见的解题方法,并能结合图形选择简单的方法解题.