证明:连接OE.
CE=CD,则∠CED=∠CDE;
又∠CDE=∠ADO.故∠AED=∠ADO;
OE=OA,则∠OEA=∠OAD.
OC垂直OA,则∠ADO+∠OAD=90度.
所以,∠AED+∠OEA=90度(等量代换).
得CE是圆O的切线.