因为DF切⊙O于F,所以∠OFD=90°.
所以∠OFC+∠CFD=90°.
因为OC=OF,所以∠OCF=∠OFC.
因为CO⊥AB于O,所以∠OCF+∠CEO=90°.
所以∠CFD=∠CEO=∠DEF,所以DF=DE.
因为DF是⊙O的切线,所以DF2=DB•DA.
所以DE2=DB•DA.