证明:
连接OD
∵OD是圆O的切线
∴OD⊥AC
易证△OCD≌△OCB(HL)
∴∠BOC=∠DOC
∵OD=OE
∴∠ODE=∠OED
∵∠BOC+∠DOC=∠ODE+∠OED
∴∠ODE=∠DOC
∴DE‖OC