证明：连结OC，如图，
∵DC切半圆O于点C，
∴OC⊥DC，
∵AD⊥CD，
∴OC∥AD，
∴∠OCA=∠DAC，
∵OA=OC，
∴∠OCA=∠OAC，
∴∠OAC=∠DAC，
在△ADC和△AEC中，

∠ADC＝∠AEC ∠DAC＝∠EAC AC＝AC

，
∴△ADC≌△AEC（AAS），
∴CE=CD．