连接DO.CO
∵DF⊥BC于F
∴∠F=90°
∴∠E+∠EBF=90°
∵弧DA=弧DC
∴∠AOD=∠DOC,∠EBF=1/2∠EOC
∴∠EBF=∠AOD=∠DOC
∴∠E+∠EOD=∠E+∠EBF=90°
∴∠EDO=90°
∴OD⊥EF
∴DF为圆O的切线
连接DO.CO
∵DF⊥BC于F
∴∠F=90°
∴∠E+∠EBF=90°
∵弧DA=弧DC
∴∠AOD=∠DOC,∠EBF=1/2∠EOC
∴∠EBF=∠AOD=∠DOC
∴∠E+∠EOD=∠E+∠EBF=90°
∴∠EDO=90°
∴OD⊥EF
∴DF为圆O的切线